Intention is choice with commitment
Artificial Intelligence
Cooperating agents: a unified theory of communication and social structure
Distributed artificial intelligence: vol. 2
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Intelligent Agents: The Key Concepts
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Intention and Rationality for PRS-Like Agents
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Agent Specification Using Multi-context Systems
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
A preference-based theory of intention
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
A logical framework for prioritized goal change
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
An integrated possibilistic framework for goal generation in cognitive agents
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Belief-Goal Relationships in Possibilistic Goal Generation
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Representing long-term and interest BDI goals
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
A possibilistic approach to goal generation in cognitive agents
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part II
Deliberation and its role in the formation of intentions
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
A multi-subset possible world semantics for intention operator of agent
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
A concurrent agent model based on twin-subset semantic
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
An analysis of three puzzles in the logic of intention
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Interrelations between the BDI primitives: Towards heterogeneous agents
Cognitive Systems Research
Formalising Abilities and Opportunities of Agents
Fundamenta Informaticae
| Hi-index | 0.00 |
In this paper, we examine the relationships between beliefs, goals, and intentions. In particular, we consider the formalization of the Asymmetry Thesis as proposed by Bratman [1987]. We argue that the semantic characterization of this principle determines if the resulting logic is capable of handling other important problems, such as the side-effect problem of beliefgoal-intention interaction. While Cohen and Levesque's [1990] formalization faithfully models some aspects of the asymmetry thesis, it does not solve all the side-effect problems; on the other hand the formalization provided by Rao and Georgeff [1991] solves all the side-effect problems, but only models a weak form of the asymmetry thesis. In this paper, we combine the intuition behind both these approaches and provide a semantic account of the asymmetry thesis, in both linear-time and branching-time logics, for solving many of these problems.