On the Semantics of Conditional Commitment
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 , a framework for modeling communicating agents based on the situation calculus.
Unable to display preview. Download preview PDF.