Sciweavers

Share
ACOM
2006
Springer

On the Semantics of Conditional Commitment

12 years 7 months ago
On the Semantics of Conditional Commitment
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 [7], a framework for modeling communicating agents based on the situation calculus.
Shakil M. Khan, Yves Lespérance
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Where ACOM
Authors Shakil M. Khan, Yves Lespérance
Comments (0)
books