A Norm Compliance Approach for Open and Goal-Directed Intelligent Systems

The increasing development of autonomous intelligent systems, such as smart vehicles, smart homes, and social robots, poses new challenges to face. Among them, ensuring that such systems behave lawfully is one of the crucial topics to be addressed for improving their employment in real contexts of daily life. In this work, we present an approach for norm compliance in the context of open and goal-directed intelligent systems working in dynamic normative environments where goals, services, and norms may change. Such an approach complements a goal-directed system modifying its goals and the way to achieve them for taking norms into accounts, thus influencing the practical reasoning process that goal-oriented systems implement for figuring out what to do. The conformity to norms is established at the goal level rather than at the action level. The effect of a norm that acts at the goal level spreads out at the lower level of actions, thus also improving system flexibility. Recovery mechanisms are provided to face exceptional situations that could be caused by normative changes. A case study in the field of the business organizations is presented for demonstrating the strengths of the proposed solution.

[1]  Shichao Zhang,et al.  An norm-driven state machine model for CSCW systems , 2006, Expert Syst. Appl..

[2]  Mehdi Dastani,et al.  A Programming Language for Normative Multi-Agent Systems , 2009, Handbook of Research on Multi-Agent Systems.

[3]  Frank Dignum,et al.  Autonomous agents with norms , 1999, Artificial Intelligence and Law.

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

[5]  Wamberto Weber Vasconcelos,et al.  Norm Consistency in Electronic Institutions , 2004, SBIA.

[6]  Hector-Neri Castañeda,et al.  Review: Carlos E. Alchourron, Logic of Norms and Logic of Normative Propositions , 1972 .

[7]  Mehdi Dastani,et al.  Programming norm-aware agents , 2012, AAMAS.

[8]  Natalia Criado.  Reasoning about norms within uncertain environments , 2011, AAMAS.

[9]  Marek J. Sergot,et al.  Action and Agency in Norm-Governed Multi-agent Systems , 2008, ESAW.

[10]  Hendrik Prakken.  On how AI & Law can help autonomous systems obey the law: a position paper , 2016 .

[11]  Antoni Olivé Ramon,et al.  EU-Rent car rentals specification , 2003 .

[12]  Michael Wooldridge,et al.  On the Logic of Normative Systems , 2007, IJCAI.

[13]  Massimo Cossentino,et al.  Modeling Business Rules Compliance for Goal-Oriented Business Processes , 2017, EOMAS@CAiSE.

[14]  Wamberto Weber Vasconcelos,et al.  Resolving conflict and inconsistency in norm-regulated virtual organizations , 2007, AAMAS '07.

[15]  Mehdi Dastani,et al.  Reasoning about Dynamic Normative Systems , 2014, JELIA.

[16]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[17]  Pablo Noriega,et al.  Distributed norm management for multi-agent systems , 2012, Expert Syst. Appl..

[18]  Mehdi Dastani,et al.  Programming norm change , 2012, J. Appl. Non Class. Logics.

[19]  Michael Luck,et al.  Norm-based behaviour modification in BDI agents , 2009, AAMAS.

[20]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[21]  Roel Wieringa,et al.  Applications of deontic logic in computer science: a concise overview , 1994 .

[22]  Daniel Moldt,et al.  Goal Representation for BDI Agent Systems , 2004, PROMAS.

[23]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[24]  Martin J. Kollingbaum,et al.  A Contract Management Framework for Supervised Interaction , 2002 .