A model of intention with (un)conditional commitments

Authors:
Dongmo Zhang
Affiliations:
Intelligent Systems Laboratory, University of Western Sydney, Australia
Venue:
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Year:
2012

Citing 7
Cited 0

Intention is choice with commitment

Artificial Intelligence
A critical examination of the Cohen-Levesque theory of intentions

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Formalising abilities and opportunities of agents

Fundamenta Informaticae
A logical approach to the dynamics of commitments

Artificial Intelligence
Dynamic Logic

Dynamic Logic
On combinations of propositional dynamic logic and doxastic modal logics

Journal of Logic, Language and Information
A Logical Model of Intention and Plan Dynamics

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a model of intention with conditional/ unconditional commitments based on Cohen and Levesque's (C&L's for short) framework of intention. We first examine C&L's framework with a well-known philosophical puzzle, the Toxin Puzzle, and point out its insufficiency in modelling conditional and unconditional commitments. We then propose a model theory of a specific modal logic with modalities representing the typical mental attributes as well as action feasibility and realisibility. Instead of defining intention as a persistent goal, we define an intention as a conditional/unconditional commitment made for achieving a goal that is believed to be achievable. Finally we check our framework with the Toxin Puzzle and show our solution to the puzzle.