Reasoning about Exceptions to Contracts

  • Authors:
  • Özgür Kafali;Francesca Toni;Paolo Torroni

  • Affiliations:
  • Department of Computer Engineering - Boğaziçi University, Bebek, Istanbul, Turkey;Department of Computing - Imperial College London, London, UK;DEIS - University of Bologna, V.le Risorgimento, Bologna, Italy

  • Venue:
  • CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show an application of Assumption-Based Argumentation for reasoning about and handling exceptions in multiagent contracts. We show that this solution enjoys interesting properties regarding the ABA semantics of results obtained and the determinism of diagnostic answers. As a case study, we present the workings of the framework on a delivery process from e-commerce.