Guidance and Law Policies in Multiagent Systems

Abstract : Policies have traditionally been a way to specify properties of a system. In this paper, we show how policies can be applied to Organization-based Multiagent Systems Engineering (O-MaSE) [6], specifically, in the OMACS meta-model. In OMACS, policies may constrain assignments of agents to roles, the structure of the goal model for the organization, or how an agent may play a particular role. We also show how traditional policies can be characterized as law policies. Law policies must always be followed by a system. Because of this inflexibility, law policies may constrain a multiagent system too much. In order to preserve flexibility of the system, while still being able to guide the system into preferring certain behaviors, we introduce the concept of guidance policies. These so-called guidance policies need not always be followed. When the system cannot continue with the guidance policies, they may be suspended. We show how this can increase performance while not decreasing flexibility of the system to adapt. Guidance policies are formally defined and, since multiple guidance policies can introduce conflicts, a strategy for resolving conflicts is given.

[1]  Brett Benyo,et al.  Representation and reasoning for DAML-based policy and domain services in KAoS and nomads , 2003, AAMAS '03.

[2]  Scott A. DeLoach,et al.  Engineering Organization-Based Multiagent Systems , 2005, SELMAS.

[3]  Yanhong A. Liu,et al.  Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods , 2000, CAV.

[4]  Joël Ouaknine,et al.  State/Event-Based Software Model Checking , 2004, IFM.

[5]  Franco Zambonelli,et al.  Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[6]  Timothy W. Finin,et al.  A Policy Based Approach to Security for the Semantic Web , 2003, SEMWEB.

[7]  Lujo Bauer,et al.  Edit automata: enforcement mechanisms for run-time security policies , 2005, International Journal of Information Security.

[8]  Scott A. DeLoach,et al.  Integrating Ontologies into Multiagent Systems Engineering , 2002, AOIS@AAMAS.

[9]  Sarit Kraus,et al.  Security in multiagent systems by policy randomization , 2006, AAMAS '06.

[10]  J. R. Büchi On a Decision Method in Restricted Second Order Arithmetic , 1990 .

[11]  George S. Avrunin,et al.  PROPEL: an approach supporting property elucidation , 2002, ICSE '02.

[12]  R. Sterritt,et al.  Towards Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems Using an AOSE Methodology , 2006, Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06).

[13]  Leon J. Osterweil,et al.  Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation , 1990, IEEE Trans. Software Eng..

[14]  Scott A. DeLoach,et al.  An Organizational Model and Dynamic Goal Model for Autonomous, Adaptive Systems , 2006 .

[15]  S. Sieber On a decision method in restricted second-order arithmetic , 1960 .

[16]  Stephan Merz,et al.  Model Checking , 2000 .

[17]  Scott A. DeLoach,et al.  Using Design Metrics for Predicting System Flexibility , 2006, FASE.

[18]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[19]  Scott A. DeLoach Modeling Organizational Rules in the Multi-agent Systems Engineering Methodology , 2002, Canadian Conference on AI.

[20]  Moshe Tennenholtz,et al.  On Social Laws for Artificial Agent Societies: Off-Line Design , 1995, Artif. Intell..

[21]  Michael Luck,et al.  Software Engineering for Multi-Agent Systems IV , 2005, Lecture Notes in Computer Science.

[22]  Scott A. DeLoach,et al.  An Investigation of Reorganization Algorithms , 2006, IC-AI.

[23]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.