GOAL agents instantiate intention logic

Koen Hindriks; Wiebe Van Der Hoek

doi:10.1007/978-3-540-87803-2_20

GOAL agents instantiate intention logic

Koen Hindriks^*, Wiebe Van Der Hoek

^*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

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.

Original language	English
Title of host publication	Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings
Pages	232-244
Number of pages	13
DOIs	https://doi.org/10.1007/978-3-540-87803-2_20
Publication status	Published - 2 Dec 2008
Externally published	Yes
Event	11th European Conference on Logics in Artificial Intelligence, JELIA 2008 - Dresden, Germany Duration: 28 Sep 2008 → 1 Oct 2008

Publication series

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

Conference

Conference	11th European Conference on Logics in Artificial Intelligence, JELIA 2008
Country	Germany
City	Dresden
Period	28/09/08 → 1/10/08

Access to Document

10.1007/978-3-540-87803-2_20

Cite this

Hindriks, K., & Van Der Hoek, W. (2008). GOAL agents instantiate intention logic. In Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings (pp. 232-244). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5293 LNAI). https://doi.org/10.1007/978-3-540-87803-2_20

@inproceedings{5b40d2df368447e5a075562a802981ca,

title = "GOAL agents instantiate intention logic",

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.",

author = "Koen Hindriks and {Van Der Hoek}, Wiebe",

year = "2008",

month = dec,

day = "2",

doi = "10.1007/978-3-540-87803-2_20",

language = "English",

isbn = "3540878025",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "232--244",

booktitle = "Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings",

note = "11th European Conference on Logics in Artificial Intelligence, JELIA 2008 ; Conference date: 28-09-2008 Through 01-10-2008",

}

Hindriks, K & Van Der Hoek, W 2008, GOAL agents instantiate intention logic. in Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5293 LNAI, pp. 232-244, 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, Dresden, Germany, 28/09/08. https://doi.org/10.1007/978-3-540-87803-2_20

GOAL agents instantiate intention logic. / Hindriks, Koen; Van Der Hoek, Wiebe.

Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings. 2008. p. 232-244 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5293 LNAI).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - GOAL agents instantiate intention logic

AU - Hindriks, Koen

AU - Van Der Hoek, Wiebe

PY - 2008/12/2

Y1 - 2008/12/2

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=56849122722&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=56849122722&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-87803-2_20

DO - 10.1007/978-3-540-87803-2_20

M3 - Conference contribution

AN - SCOPUS:56849122722

SN - 3540878025

SN - 9783540878025

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 232

EP - 244

BT - Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings

T2 - 11th European Conference on Logics in Artificial Intelligence, JELIA 2008

Y2 - 28 September 2008 through 1 October 2008

ER -

GOAL agents instantiate intention logic

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this