2026-07-20T11:02:26Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1645 2024-03-06T11:08:16Z ddc:004 open_access

GOAL Agents Instantiate Intention Logic Hindriks, Koen van der Hoek, Wiebe Agents programs constructs logics operational semantics model-theoretic semantics 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Koen Hindriks and Wiebe van der Hoek 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08361.7 urn:nbn:de:0030-drops-16458 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.7 eng https://creativecommons.org/licenses/by/4.0/legalcode