Reading agendas between the lines, an exercise

Abstract This work presents elements for an alternative operationalization of monitoring and diagnosis of multi-agent systems, developed in the context of compliance checking. In contrast to traditional accounts of model-based diagnosis, and most proposals concerning non-compliance, our method does not consider any commitment towards the individual unit of agency. Identity is considered to be mostly an attribute to assign responsibility, and not as the only referent to a source of intentionality. The proposed method requires as input a set of prototypical agent-roles known to be relevant for the domain, and an observation, i.e. evidence collected by a monitor agent. We elaborate on a concrete example concerning tax frauds in real-estate transactions.

[1]  Paolo Torroni,et al.  Exception diagnosis in multiagent contract executions , 2012, Annals of Mathematics and Artificial Intelligence.

[2]  M. Pipattanasomporn,et al.  Multi-agent systems in a distributed smart grid: Design and implementation , 2009, 2009 IEEE/PES Power Systems Conference and Exposition.

[3]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[4]  Luca Chittaro,et al.  Hierarchical model-based diagnosis based on structural abstraction , 2004, Artif. Intell..

[5]  Igor Mozetic,et al.  Hierarchical Model-Based Diagnosis , 1991, Int. J. Man Mach. Stud..

[6]  Guido Governatori Business Process Compliance: An Abstract Normative Framework , 2013, it Inf. Technol..

[7]  Tom M. van Engers,et al.  On the Interactional Meaning of Fundamental Legal Concepts , 2014, JURIX.

[8]  Luigi Portinale,et al.  Using Compiled Knowledge to Guide and Focus Abductive Diagnosis , 1996, IEEE Trans. Knowl. Data Eng..

[9]  Meir Kalech Diagnosis of coordination failures: a matrix-based approach , 2010, Autonomous Agents and Multi-Agent Systems.

[10]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[11]  Wil M. P. van der Aalst,et al.  Single-Entry Single-Exit decomposed conformance checking , 2014, Inf. Syst..

[12]  Tom M. van Engers,et al.  Legal Knowledge Conveyed by Narratives: Towards a Representational Model , 2014, CMN.

[13]  Pietro Torasso,et al.  A spectrum of logical definitions of model‐based diagnosis 1 , 1991, Comput. Intell..

[14]  Tom M. van Engers,et al.  Commitments, Expectations, Affordances and Susceptibilities: Towards Positional Agent Programming , 2015, PRIMA.

[15]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[16]  Eric Horvitz,et al.  An Approximate Nonmyopic Computation for Value of Information , 1993, IEEE Trans. Pattern Anal. Mach. Intell..

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

[18]  C. E. SHANNON,et al.  A mathematical theory of communication , 1948, MOCO.

[19]  Alexander Artikis,et al.  An Event Calculus for Event Recognition , 2015, IEEE Transactions on Knowledge and Data Engineering.

[20]  Tom M. van Engers,et al.  From Inter-agent to Intra-agent Representations - Mapping Social Scenarios to Agent-role Descriptions , 2014, ICAART.

[21]  Frank Dignum,et al.  Enacting and Deacting Roles in Agent Programming , 2004, AOSE.

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

[23]  Tom M. van Engers,et al.  Diagnosis of Multi-Agent Systems and Its Application to Public Administration , 2011, BIS.

[24]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

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

[26]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[27]  E. Hutchins Enaction, imagination, and insight , 2007 .

[28]  Tom M. van Engers,et al.  An agent-based legal knowledge acquisition methodology for agile public administration , 2011, ICAIL.

[29]  Nico Roos,et al.  A protocol for multi-agent diagnosis with spatially distributed knowledge , 2003, AAMAS '03.

[30]  Philip T. Cox,et al.  Causes for Events: Their Computation and Applications , 1986, CADE.

[31]  Pietro Torasso,et al.  A Theory of Diagnosis for Incomplete Causal Models , 1989, IJCAI.

[32]  Yao-Hua Tan,et al.  Compliance Checking of Organizational Interactions , 2014, ACM Trans. Manag. Inf. Syst..

[33]  Silja Renooij,et al.  Legal Knowledge and Information Systems. JURIX 2014: The Twenty-seventh Annual Conference , 2014 .

[34]  Meir Kalech,et al.  Hierarchical Diagnosis in Strong Fault Models , 2014 .

[35]  Fariba Sadri,et al.  Logic-Based Approaches to Intention Recognition , 2011 .

[36]  T. Engers,et al.  Implementing Explanation-Based Argumentation using Answer Set Programming , 2014 .

[37]  Chris Preist,et al.  Consistency-based and abductive diagnoses as generalised stable models , 1994, Annals of Mathematics and Artificial Intelligence.

[38]  B. Chandrasekaran,et al.  Deep versus Compiled Knowledge Approaches to Diagnostic Problem-Solving , 1982, Int. J. Man Mach. Stud..