Theoretical Computer Science
Linear objects: logical processes with built-in inheritance
Logic programming
Generating plans in linear logic I: actions as proofs
Theoretical Computer Science
Generating plans in linear logic: II. A geometry of conjunctive actions
Theoretical Computer Science
Computational aspects of linear logic
Computational aspects of linear logic
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
Agent theories, architectures, and languages: a survey
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
The method of hypersequents in the proof theory of propositional non-classical logics
Logic: from foundations to applications
Applications of intelligent agents
Agent technology
Rational software agents: from theory to practice
Agent technology
Efficient implementation of a linear logic programming language
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual conference on Autonomous Agents
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Linear logic programming with an ordered context
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
An agent-based approach for building complex software systems
Communications of the ACM
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
The aditi deductive database system
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Programming in Lygon: An Overview
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Simplifying the Development of Intelligent Agents
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Agent Capabilities: Extending BDI Theory
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Ordered linear logic and applications
Ordered linear logic and applications
Plans, Actions and Dialogues Using Linear Logic
Journal of Logic, Language and Information
Annals of Mathematics and Artificial Intelligence
Agent deliberation via forward and backward chaining in linear logic
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Hi-index | 0.00 |
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 the language design issues for such a system, and particularly the way in which the potential choices for rule evaluation in a forward-chaining manner is crucial to the behaviour of the system.