A logic-based calculus of events
New Generation Computing
Intention is choice with commitment
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Modal logic
Dynamic Logic
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
BDI Models and Systems: Bridging the Gap
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Agent Programming with Declarative Goals
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
On Multi-agent Systems Specification via Deontic Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Towards model checking interpreted systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Our Quest for the Holy Grail of Agent Verification
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
GOAL Agents Instantiate Intention Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
Declarative Agent Languages and Technologies VI
Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
| Hi-index | 0.00 |
Various theories of cognitive or rational agents that use formal logic to define such agents have been proposed in the literature. Similarly, a range of more computationally oriented frameworks have been proposed for engineering rational agents. It remains interesting to explore the relation between these logical theories and existing computational agent frameworks that are used to program agents. First of all, by establishing a formal relation between agent logics and computational agent frameworks, agent logics may become a practical tool for reasoning about computational agents. Secondly, a formal relation may provide new insights into the kinds of agents that can be built using a particular computational agent framework. It may in particular highlight some of the assumptions built into logical as well as computational approaches. In this paper, we explore the relation between Intention Logic and the agent programming language Goal. This is a natural choice because Intention Logic and Goal use the same set of basic concepts to define agents, namely declarative beliefs and goals. We discuss various assumptions and identify some subtle differences between the two systems. We show that agent programs written in Goal can be formally related to specifications written in a fragment of Intention Logic. It follows that a weakened version of Intention Logic can be used to prove properties of Goal agents. In this sense, such agents can be said to instantiate Intention Logic.