A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP

In functional specification and multi-agents systems context, norms are essential to frame the behavior of agents in order to satisfy the objective of their organizations. These norms can be formulated with deontic logic. We opted for the MOISE+ normative organizational model for structural, functional and deontic modeling. We have shown that this model is not adequate for detecting normative conflicts and risks to be unable to detect them for complex multi-agent systems. In this context, we proposed a transformation towards the DisCSP (distributed constraints satisfaction problems) as an alternative to resolve normative conflicts. We have chosen the SDL normative language in order to express the norms in a formal way so that they will be exploited by the DisCSPs. These made it possible to check the consistency of normative multi-agents systems (NMAS) to satisfy the objectives of their organizations.

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

[2]  Alessio Lomuscio,et al.  MCMAS: an open-source model checker for the verification of multi-agent systems , 2017, International Journal on Software Tools for Technology Transfer.

[3]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[4]  Vicent J. Botti,et al.  ROMAS Methodology , 2014, Handbook on Agent-Oriented Design Processes.

[5]  Olivier Boissier,et al.  A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems , 2002, SBIA.

[6]  Satoshi Tojo,et al.  Discordance Detection in Regional Ordinance: Ontology-based Validation , 2006, JURIX.

[7]  Sylvain Piechowiak,et al.  Multi-agent Reasoning Based on Distributed CSP Using Sessions: DBS , 2009, PAAMS.

[8]  Abder Koukam,et al.  Use of formal languages to consolidate a Holonic MAS methodology: a specification approach for analysing Problem and Agency domains , 2013, J. Simulation.

[9]  Dov M. Gabbay,et al.  Deontic Logic in Computer Science , 2008, DEON 2008.

[10]  Guido Boella,et al.  Introduction to normative multiagent systems , 2006, Comput. Math. Organ. Theory.

[11]  Jacques Ferber,et al.  Les Systèmes multi-agents: vers une intelligence collective , 1995 .

[12]  Makoto Yokoo,et al.  Distributed Constraint Satisfaction , 2000, Springer Series on Agent Technology.

[13]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[14]  Olivier Boissier,et al.  Multi-Agent Oriented Programming , 2011 .

[15]  Benjamin Gâteau.  Using a Normative Organisational Model to Specify and Manage an Institution for Multi-agent Systems , 2006, EUMAS.

[16]  Mohamed Garoui,et al.  Formal Verification of Safety Properties for Multi-Agents System in Dynamic Environment: Application to a Platoon System , 2014 .

[17]  Yves Deville,et al.  A Distributed Arc-Consistency Algorithm , 1995, Sci. Comput. Program..

[18]  Peter Kulchyski.  and , 2015 .

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

[20]  Vincent Hilaire.  Vers une approche de specification, de prototypage et de verification de systemes multi-agents , 2000 .

[21]  Pierre Monier,et al.  DBS multi-variables pour des problèmes de coordination multi-agents , 2012 .