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 -