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.

• Type: Conference
• Year: 2006
• Where: ACOM
• Authors: Shakil M. Khan, Yves Lespérance
• Keywords: ACOM 2006, Communicative Actions, Computational Linguistics, Conditional Commitments, Current Formalizations