Commitments among agents

Commitments are a powerful representation for modeling multiagent interactions. Previous approaches have considered the semantics of commitments and how to check compliance with them. However, these approaches do not capture some of the subtleties that arise in real-life applications such as e-comme...

Full description

Saved in:
Bibliographic Details
Published inIEEE internet computing Vol. 7; no. 4; pp. 90 - 93
Main Authors Mallya, A.U., Huhns, M.N.
Format Journal Article
LanguageEnglish
Published Los Alamitos IEEE 01.07.2003
IEEE Computer Society
Subjects
Ambiguity
Computation
Contracts
Credit cards
Internet
Logic
Mathematical models
Representations
Semantics
Software agents
Temporal logic
Terminology
Time factors
Web services
Online AccessGet full text

Cover

More Information
Summary:Commitments are a powerful representation for modeling multiagent interactions. Previous approaches have considered the semantics of commitments and how to check compliance with them. However, these approaches do not capture some of the subtleties that arise in real-life applications such as e-commerce, in which contracts and institutions have implicit temporal references. In this column, we describe a rich representation for the temporal content of commitments that lets us capture realistic contracts and avoid ambiguities. Consequently, this approach lets us reason about whether, and at what point, a commitment is satisfied or breached, and whether it is or ever becomes unenforceable.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:1089-7801
1941-0131
DOI:10.1109/MIC.2003.1215666