Intention is choice with commitment
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
Credits and debits on the Internet
Readings in agents
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
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
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Knowledge, action, and the frame problem
Artificial Intelligence
A Logical Model for Commitment and Argument Network for Agent Communication
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
ECASL: a model of rational agency for communicating agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Specifying and verifying multiagent systems using the cognitive agents specification language (casl)
Specifying and verifying multiagent systems using the cognitive agents specification language (casl)
ARTIMIS: natural dialogue meets rational agency
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Priority-Based Message Scheduling for the Multi-agent System in Ubiquitous Environment
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
Reasoning intra-dependency in commitments for robust scheduling
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Semantical considerations on dialectical and practical commitments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Formalizing communication protocols for multiagent systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A New Semantics of Social Commitments Using Branching Space-Time Logic
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
A logical analysis of commitment dynamics
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Verifiable semantic model for agent interactions using social commitments
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
A survey of flexible agent interaction approaches
Multiagent and Grid Systems
Hi-index | 0.00 |
In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We present a solution to these problems. We also formalize two types of communicative actions that can be used by an agent to request another agent to achieve a goal or perform an action provided that some condition becomes true. Our account is set within ECASL [9], a framework for modeling communicating agents based on the situation calculus.