Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Exception diagnosis in multiagent contract executions

Exception diagnosis in multiagent contract executions We propose a diagnosis procedure that agents can use to explain exceptions to contract executions. Contracts are expressed by social commitments associated with temporal constraints. The procedure reasons from the relations among such commitments, and returns one amongst different possible mismatches that may have caused an exception. In particular, we consider two possibilities: misalignment, when two agents have two different views of the same commitment, and misbehavior, when there is no misalignment, but a debtor agent fails to oblige. We also provide a realignment policy that can be applied in case of a misalignment. Our formalization uses a reactive form of Event Calculus. We illustrate the workings of our approach by discussing a delivery process from e-commerce as a case study. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Mathematics and Artificial Intelligence Springer Journals

Exception diagnosis in multiagent contract executions

Loading next page...
 
/lp/springer-journals/exception-diagnosis-in-multiagent-contract-executions-JcvUlr6X0d

References (17)

Publisher
Springer Journals
Copyright
Copyright © 2012 by Springer Science+Business Media B.V.
Subject
Computer Science; Statistical Physics, Dynamical Systems and Complexity; Computer Science, general; Artificial Intelligence (incl. Robotics); Mathematics, general
ISSN
1012-2443
eISSN
1573-7470
DOI
10.1007/s10472-012-9282-1
Publisher site
See Article on Publisher Site

Abstract

We propose a diagnosis procedure that agents can use to explain exceptions to contract executions. Contracts are expressed by social commitments associated with temporal constraints. The procedure reasons from the relations among such commitments, and returns one amongst different possible mismatches that may have caused an exception. In particular, we consider two possibilities: misalignment, when two agents have two different views of the same commitment, and misbehavior, when there is no misalignment, but a debtor agent fails to oblige. We also provide a realignment policy that can be applied in case of a misalignment. Our formalization uses a reactive form of Event Calculus. We illustrate the workings of our approach by discussing a delivery process from e-commerce as a case study.

Journal

Annals of Mathematics and Artificial IntelligenceSpringer Journals

Published: Mar 8, 2012

There are no references for this article.