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
AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
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)
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
Suspending and resuming tasks in BDI agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
A practical agent programming language
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Modularity and compositionality in Jason
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Hi-index | 0.00 |
We consider interactions between atomic intentions and plan failures in the Jason BDI-based agent programming language. Atomic intentions allow the agent developer to control the execution of intentions in situations where a sequence of actions must be executed 'atomically' in order to ensure the success of a plan. However, while atomic intentions in Jason enforce mutual exclusion, they are not atomic operations in the sense understood in conventional programming or in databases, and failure of an atomic plan can leave the agent's belief and plan bases in an inconsistent state. In this paper we present a new approach to atomic intentions which provides a transactional 'all-or-nothing' semantics, and describe its implementation in a new version of Jason, Jason+. We argue that Jason+ offers a more predictable semantics for atomic plans in the face of plan failure and can reduce the load on the agent developer by automating simple cases of failure handing, leading to the development of more robust agent programs.