License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.08361.7
URN: urn:nbn:de:0030-drops-16458
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1645/
Go to the corresponding Portal

Hindriks, Koen ; van der Hoek, Wiebe

GOAL Agents Instantiate Intention Logic

pdf-format:
08361.HindriksKoen.Paper.1645.pdf (0.1 MB)

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.

BibTeX - Entry

@InProceedings{hindriks_et_al:DagSemProc.08361.7,
  author =	{Hindriks, Koen and van der Hoek, Wiebe},
  title =	{{GOAL Agents Instantiate Intention Logic}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2008/1645},
  URN =		{urn:nbn:de:0030-drops-16458},
  doi =		{10.4230/DagSemProc.08361.7},
  annote =	{Keywords: Agents, programs, constructs, logics, operational semantics, model-theoretic semantics}
}

Keywords: Agents, programs, constructs, logics, operational semantics, model-theoretic semantics
Collection: 08361 - Programming Multi-Agent Systems
Issue Date: 2008
Date of publication: 04.11.2008

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI