Intention is choice with commitment
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
A critical examination of the Cohen-Levesque theory of intentions
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Modeling rational agents with a BDI-architecture
Readings in agents
Formal methods in DAI: logic-based representation and reasoning
Multiagent systems
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Jason Smiles: Incremental BDI MAS Learning
MICAI '07 Proceedings of the 2007 Sixth Mexican International Conference on Artificial Intelligence, Special Session
Learning in BDI multi-agent systems
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Introducing a novel model of belief-desire-intention agent for urban land use planning
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
This work is about the commitment strategies used by rational agents programmed in AgentSpeak(L) and the relationship between single-minded commitment and intentional learning. Although agent oriented languages were proposed to reduce the gap between theory and practice of Multi-Agent Systems, it has been difficult to prove BDI properties of the agents programmed in such languages. For this reason, we introduce some ideas to reason temporally about the intentional state of rational agents in order to prove what kind of commitment strategy is used by AgentSpeak(L) agents, based on the operational semantics of the programming language. This enables us to prove that any agent programmed in this language follows by default a limited form of single-minded commitment. Then we analyze how intentional learning can enhance this commitment strategy allowing preemptive abandon of intentions.