Intention is choice with commitment
Artificial Intelligence
Operational behaviour for executing, suspending, and aborting goals in BDI agent systems
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Intention change via local assignments
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
A model of intention with (un)conditional commitments
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
An operational semantics for the goal life-cycle in BDI agents
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
We propose a formal semantics of intention and plan dynamics based on the notion of local assignment. The function of a local assignment is to change the truth value of a given proposition at a specific time point along a history. We combine a static modal logic including a temporal modality and modal operators for mental attitudes belief and choice, with three kinds of dynamic modalities and corresponding three kinds of local assignments operating on agent's beliefs, on agent's choices and on the physical world. An agent's intention is defined in our approach as the agent's choice to perform a given action at a certain time point in the future and two operations called intention generation and intention reconsideration are defined as specific kinds of local assignments on choices. In Section 1 we introduce a static logic of time, action, and mental attitudes. In Section 2 we add the dynamic notion of local assignment to the logic of Section 1. In Section 3, we focus on two specific kinds of local assignment on choice which allow to model the processes of intention and plan generation and reconsideration.