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 an...

Full description

Saved in:
Bibliographic Details
Published inAgent Communication II pp. 45 - 60
Main Authors Khan, Shakil M., Lespérance, Yves
Format Book Chapter Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2006
Springer
SeriesLecture Notes in Computer Science
Subjects
Applied sciences
Artificial intelligence
Computer science; control theory; systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Software
Communication process
Multiagent system
Semantics
Artificial intelligence
Modeling
Discrete time
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:3540681426
9783540681427
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-540-68143-4_4