Reasoning about Exceptions to Contracts

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.

[1]  Federico Chesani,et al.  What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior , 2010, CLIMA.

[2]  Phan Minh Dung,et al.  Assumption-Based Argumentation , 2009, Argumentation in Artificial Intelligence.

[3]  Victor R. Lesser,et al.  Using self-diagnosis to adapt organizational structures , 2001, AGENTS '01.

[4]  Paolo Mancarella,et al.  Computational Logic Foundations of KGP Agents , 2008, J. Artif. Intell. Res..

[5]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[6]  Meir Kalech,et al.  On the Design of Social Diagnosis Algorithms for Multi-Agent Teams , 2003, IJCAI.

[7]  Paolo Torroni,et al.  Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers , 2008, LADS.

[8]  Gianfranco Lamperti,et al.  Diagnosis of Discrete-Event Systems , 2003 .

[9]  Dean Allemang,et al.  The Computational Complexity of Abduction , 1991, Artif. Intell..

[10]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

[11]  Peter Struss,et al.  IDD: Integrating Diagnosis in the Design of automotive systems , 2002, ECAI.

[12]  Munindar P. Singh.  Agent Communication Languages: Rethinking the Principles , 1998, Computer.

[13]  Munindar P. Singh.  An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.

[14]  Francesca Toni,et al.  Computing Arguments and Attacks in Assumption-Based Argumentation , 2007, IEEE Intelligent Systems.

[15]  Paolo Torroni,et al.  Collaborative diagnosis of exceptions to contracts: Extended Abstract , 2011 .

[16]  Trevor J. M. Bench-Capon,et al.  On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks , 2013, CLIMA.

[17]  D. Walton,et al.  Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .

[18]  Gianfranco Lamperti,et al.  EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems , 2004, Applied Intelligence.

[19]  Nico Roos,et al.  Models and methods for plan diagnosis , 2009, Autonomous Agents and Multi-Agent Systems.

[20]  Paolo Mancarella,et al.  Computing ideal sceptical argumentation , 2007, Artif. Intell..

[21]  Milind Tambe,et al.  Robust Agent Teams via Socially-Attentive Monitoring , 2000, J. Artif. Intell. Res..

[22]  Mark Klein,et al.  An exception-handling architecture for open electronic marketplaces of contract net software agents , 2000, EC '00.

[23]  Paola Mello,et al.  Social Commitments in Time: Satisfied or Compensated , 2009, DALT.

[24]  Phan Minh Dung,et al.  Dialectic proof procedures for assumption-based, admissible argumentation , 2006, Artif. Intell..

[25]  Paolo Torroni,et al.  Collaborative diagnosis of exceptions to contracts , 2011, AAMAS.

[26]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[27]  Pietro Torasso,et al.  Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis , 1991, AI*IA.

[28]  Y. Pencole,et al.  Incremental decentralized diagnosis approach for the supervision of a telecommunication network , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[29]  Nico Roos,et al.  Diagnosis of single and multi-agent plans , 2005, AAMAS '05.

[30]  Edoardo Ardizzone,et al.  Trends in Artificial Intelligence , 1991 .

[31]  Giovanni Soda,et al.  ECAI 2002: 15th European conference on artificial intelligence , 2002 .

[32]  Pietro Torasso,et al.  On-line monitoring and diagnosis of a team of service robots: A model-based approach , 2006, AI Commun..

[33]  Peter J. F. Lucas,et al.  Analysis of Notions of Diagnosis , 1998, Artif. Intell..

[34]  Meir Kalech,et al.  Towards Model-Based Diagnosis of Coordination Failures , 2005, AAAI.

[35]  Pinar Yolum,et al.  Detecting Exceptions in Commitment Protocols: Discovering Hidden States , 2009, MALLOW.

[36]  Sarvapali D. Ramchurn,et al.  Argumentation-based negotiation , 2003, The Knowledge Engineering Review.

[37]  Luca Console,et al.  Model-based Diagnosis in the Real World: Lessons Learned and Challenges Remaining , 1999, IJCAI.