GOAL agents instantiate intention logic

Koen Hindriks*, Wiebe Van Der Hoek

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


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.

Original languageEnglish
Title of host publicationLogics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings
Number of pages13
Publication statusPublished - 2 Dec 2008
Externally publishedYes
Event11th European Conference on Logics in Artificial Intelligence, JELIA 2008 - Dresden, Germany
Duration: 28 Sept 20081 Oct 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5293 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference11th European Conference on Logics in Artificial Intelligence, JELIA 2008


Dive into the research topics of 'GOAL agents instantiate intention logic'. Together they form a unique fingerprint.

Cite this