Agents via mixed-mode computation in linear logic: A proposal

Harland, J and Winikoff, M 2001, 'Agents via mixed-mode computation in linear logic: A proposal', in CLIMA'01: Computational Logic in Multi-Agent Systems, Paphos, Cyprus, 26 November - 1 December 2001.


Document type: Conference Paper
Collection: Conference Papers

Title Agents via mixed-mode computation in linear logic: A proposal
Author(s) Harland, J
Winikoff, M
Year 2001
Conference name Workshop on Computational Logic in Multi-Agent Systems
Conference location Paphos, Cyprus
Conference dates 26 November - 1 December 2001
Proceedings title CLIMA'01: Computational Logic in Multi-Agent Systems
Publisher University of Cyprus
Place of publication Cyprus
Abstract Agent systems based on the Belief, Desire and Intention model of Rao and Georgeff have been used for a number of successful applications. However, it is often difficult to learn how to apply such systems, due to the complexity of both the semantics of the system and the computational model. In addition, there is a gap between the semantics and the concepts that are presented to the programmer. In this paper we address these issues by re-casting the foundations of such systems into a logic programming framework. In particular we show how the integration of backward- and forward-chaining techniques for linear logic provides a natural starting point for this investigation. We discuss how the integrated system provides for the interaction between the proactive and reactive parts of the system, and we discuss several aspects of this interaction. In particular, one perhaps surprising outcome is that goals and plans may be thought of as declarative and procedural aspects of the same concept. We also discuss some possibilities for further work in this direction.
Subjects Computational Logic and Formal Languages
Copyright notice © University of Cyprus
Versions
Version Filter Type
Access Statistics: 118 Abstract Views  -  Detailed Statistics
Created: Mon, 26 Oct 2009, 08:18:26 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us