Algebras for Agent Norm-Regulation

An abstract architecture for idealized multi-agent systems whose behaviour is regulated by normative systems is developed and discussed. Agent choices are determined partially by the preference ordering of possible states and partially by normative considerations: The agent chooses that act which leads to the best outcome of all permissible actions. If an action is non-permissible depends on if the result of performing that action leads to a state satisfying a condition which is forbidden, according to the norms regulating the multi-agent system. This idea is formalized by defining set-theoretic predicates characterizing multi-agent systems. The definition of the predicate uses decision theory, the Kanger–Lindahl theory of normative positions, and an algebraic representation of normative systems.

[1]  Jan Odelstad,et al.  Normative systems represented by boolean quasi-orderings , 2000 .

[2]  Frank Dignum,et al.  Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[3]  Christen Krogh,et al.  The Rights of Agents , 1995, ATAL.

[4]  Marek Sergot,et al.  On the characterization of law and computer systems: the normative systems perspective , 1994 .

[5]  Alberto RibesAbstract,et al.  Multi agent systems , 2019, Proceedings of the 2005 International Conference on Active Media Technology, 2005. (AMT 2005)..

[6]  Magnus Boman,et al.  Multi-Agent Systems, Time Geography, and Microsimulations , 2004 .

[7]  David Makinson.  On the formal representation of rights relations , 1986, J. Philos. Log..

[8]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[9]  Marek Sergot,et al.  A computational theory of normative positions , 2001, ACM Trans. Comput. Log..

[10]  Sven Ove Hansson,et al.  Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993 , 1994, Bull. IGPL.

[11]  Y. Shoham.  Introduction to Multi-Agent Systems , 2002 .

[12]  Torben Spaak,et al.  Norms that Confer Competence , 2003 .

[13]  Jan Odelstad,et al.  An Algebraic Analysis of Normative Systems , 2000 .

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

[15]  Jan Odelstad,et al.  Normative positions within an algebraic approach to normative systems , 2004, J. Appl. Log..

[16]  Jan Odelstad,et al.  The role of connections as minimal norms in normative systems , 2002 .

[17]  C. M. Place,et al.  An Introduction to Dynamical Systems , 1990 .

[18]  Christen Krogh,et al.  Hohfeld in cyberspace and other applications of normative reasoning in agent technology , 1999, Artificial Intelligence and Law.

[19]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[20]  B A Huberman,et al.  Evolutionary games and computer simulations. , 1993, Proceedings of the National Academy of Sciences of the United States of America.

[21]  Jan Odelstad.  An Abstract Architecture for Norm-Regulated Agents , 2003 .

[22]  John L. Bell,et al.  Models and Ultraproducts: An Introduction. , 1969 .

[23]  Magnus Boman,et al.  Norms in artificial decision making , 1999, Artificial Intelligence and Law.

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

[25]  R. Atkinson,et al.  Position and change : a study in law and logic , 1979 .

[26]  Jan Odelstad,et al.  Intermediate Concepts as Couplings of Conceptual Structures , 1999 .

[27]  Ingmar Pörn,et al.  POSITION AND CHANGE: A Study in Law and Logic , 1978 .

[28]  S. Lindström,et al.  New Foundations for Ethical Theory , 2001 .

[29]  Lars Lindahl,et al.  Stig Kanger’s Theory Of Rights , 2001 .

[30]  Håkan L. S. Younes,et al.  Artificial Decision Making Under Uncertainty in Intelligent Buildings , 1999, UAI.

[31]  Ghita Holmström-Hintikka,et al.  Rights and Parliamentarism , 2001 .