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)

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. (Contact us about this Publication)
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: Faculties > Sciences > School of Computing
Depositing User: Ozgur Kafali
Date Deposited: 02 Feb 2018 14:48 UTC
Last Modified: 24 Jul 2019 10:14 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/65861 (The current URI for this page, for reference purposes)
  • Depositors only (login required):