Skip to main content

Exception diagnosis in multiagent contract executions

Kafalı, Özgur, Torroni, Paolo (2012) Exception diagnosis in multiagent contract executions. Annals of Mathematics and Artificial Intelligence, 64 (1). pp. 73-107. ISSN 1573-7470. (doi:10.1007/s10472-012-9282-1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:65861)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL:
https://doi.org/10.1007/s10472-012-9282-1

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.

Item Type: Article
DOI/Identification number: 10.1007/s10472-012-9282-1
Uncontrolled keywords: Commitments, Exception diagnosis, Alignment, Event calculus
Subjects: Q Science > Q Science (General) > Q335 Artificial intelligence
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Ozgur Kafali
Date Deposited: 02 Feb 2018 14:48 UTC
Last Modified: 16 Nov 2021 10:25 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/65861 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.