On the Semantics of Conditional Commitment

Authors:
Shakil M. Khan;Yves Lespérance
Affiliations:
Dept. of Computer Science and Engineering, York University, Toronto, Canada M3J 1P3;Dept. of Computer Science and Engineering, York University, Toronto, Canada M3J 1P3
Venue:
Agent Communication II
Year:
2006

Citing 17
Cited 0

Intention is choice with commitment

Artificial Intelligence
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

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
A logic of intention with cooperation principles and with assertive speech acts as communication primitives

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
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application

ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Commitment Machines

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)
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver

IEEE Transactions on Computers
ARTIMIS: natural dialogue meets rational agency

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 [8], a framework for modeling communicating agents based on the situation calculus.