Paper Info
Title
Formalizing commitments using action languages
Abstract
This paper investigates the use of high-level action languages for representing and reasoning about commitments in multi-agent domains. We introduce the language Lmt, an extension of the language L, with new features motivated by the problem of representing and reasoning about commitments. The paper demonstrates how features and properties of commitments can be described in this action language. We show how Lmt can handle both simple commitment actions as well as complex commitment protocols. Furthermore, the semantics of Lmt provides a uniform solution to different problems in reasoning about commitments such as the problem of (i) verifying whether an agent fails (or succeeds) to deliver on its commitments; (ii) identifying pending commitments; and (iii) suggesting ways to satisfy pending commitments.
Year
DOI
Venue
2011
10.1007/978-3-642-29113-5_6
DALT
Keywords
Field
DocType
complex commitment protocol,high-level action language,action language,uniform solution,language l,language lmt,new feature,different problem,formalizing commitment,multi-agent domain,simple commitment action
Programming language,Action language,Computer science,Natural language processing,Artificial intelligence,Transition function,Semantics
Conference
Citations 
PageRank 
References 
6
0.50
15
Authors
3
Name
Order
Citations
PageRank
Tran Cao Son11795169.42
Enrico Pontelli21901181.26
Chiaki Sakama3102090.70