Intention is choice with commitment
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
Modal tableaux with propagation rules and structural rules
Fundamenta Informaticae
Specifying Communicative Multi-Agent Systems (Invited Paper)
Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
The frame problem and knowledge-producing actions
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A formal framework for agent interaction semantics
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
ECASL: a model of rational agency for communicating agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the semantics of conditional commitment
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On the Semantics of Conditional Commitment
Agent Communication II
Towards Agent-Oriented Relevant Information
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Complex open-system design by quasi-agents: process-oriented modeling in agent-based systems
ACM SIGSOFT Software Engineering Notes
MAMA: An architecture for interactive musical agents
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
The semantics of potential intentions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering Applications of Artificial Intelligence
Towards a model of musical interaction and communication
Artificial Intelligence
The face of emotions: a logical formalization of expressive speech acts
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
A model of rational agency for communicating agents
AC'04 Proceedings of the 2004 international conference on Agent Communication
A framework of cooperative agents with implicit support for ontologies
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Hi-index | 0.00 |
We give a new logic of intention where (contrarily to Cohen&Levesque's approach) intention is a primitive modal operator having a non-normal possible worlds semantics. We then highlight the relation between intention and belief by a set of axioms. In our logic we formulate principles of cooperation allowing an agent to infer new intentions from his beliefs about other agents' intentions. Finally, building on results of linguistic pragmatics, we show that our cooperation principles allow to infer the effects of a yes-no question "Does A hold?" from that of an associated assertive "I have the intention to know whether A". In the same manner requests can be inferred, which form another important subclass of directives. It is the aim of this work to obtain a minimal logic that can be mechanized in a simple way.