A logic-based calculus of events
New Generation Computing
Intention is choice with commitment
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
Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming
Reasoning about intended actions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
Activity recognition with intended actions
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
CR-MODELS: an inference engine for CR-Prolog
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Theories of intentions in the framework of situation calculus
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
| Hi-index | 0.00 |
In this paper we further develop the formal theory of intentions suggested by C. Baral and M. Gelfond in 2005. In this work the authors formalized the behavior of an agent intending to execute a sequence of actions. The resulting axioms for intentions written in Knowledge Representation language Answer Set Prolog allowed to easily express such properties of intentions as persistence and non-procrastination. This paper expands this work to allow reasoning with intentions in the presence of unexpected observations, and intentions to achieve goals. The theory is formulated in the extension of Answer Set Prolog, called CR-Prolog.