Advertisement

On the Semantics of Conditional Commitment

  • Shakil M. Khan
  • Yves Lespérance
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3859)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Shakil M. Khan
    • 1
  • Yves Lespérance
    • 1
  1. 1.Dept. of Computer Science and EngineeringYork UniversityTorontoCanada

Personalised recommendations