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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khan, S.M., Lespérance, Y. (2006). On the Semantics of Conditional Commitment. In: Dignum, F.P.M., van Eijk, R.M., Flores, R. (eds) Agent Communication II. AC AC 2006 2005. Lecture Notes in Computer Science(), vol 3859. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68143-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-68143-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68142-7
Online ISBN: 978-3-540-68143-4
eBook Packages: Computer ScienceComputer Science (R0)