GOAL Agents Instantiate Intention Logic

Authors:
Koen Hindriks;Wiebe Hoek
Affiliations:
Delft University of Technology, The Netherlands;University of Liverpool, UK
Venue:
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Year:
2008

Citing 7
Cited 1

Intention is choice with commitment

Artificial Intelligence
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Modal logic

Modal logic
Dynamic Logic

Dynamic Logic
Planning for temporally extended goals

Annals of Mathematics and Artificial Intelligence
Agent Programming with Declarative Goals

ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
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

Logic Programs, Norms and Action

Quantified Score

Hi-index	0.00

Visualization

Abstract

It is commonly believed there is a big gap between agent logics and computational agent frameworks. In this paper, we show that this gap is not as big as believed by showing that GOAL agents instantiate Intention Logic of Cohen and Levesque. That is, we show that GOAL agent programs can be formally related to Intention Logic. We do so by proving that the GOAL Verification Logic can be embedded into Intention Logic. It follows that (a fragment of) Intention Logic can be used to prove properties of GOAL agents. The work reported is an important step towards the application of standard tools from modal logic for e.g. model checking agent programs. Our results also prove useful for extending the expressiveness of the GOAL agent language. This is illustrated by incorporating temporally extended goals into GOAL agents.