Constitutive Norms in the Design of Normative Multiagent Systems

In this paper, we consider the design of normative multiagent systems composed of both constitutive and regulative norms. We analyze the properties of constitutive norms, in particular their lack of reflexivity, and the trade-off between constitutive and regulative norms in the design of normative systems. As methodology we use the metaphor of describing social entities as agents and of attributing them mental attitudes. In this agent metaphor, regulative norms expressing obligations and permissions are modelled as goals of social entities, and constitutive norms expressing “counts-as” relations are their beliefs.

[1]  Leon van der Torre,et al.  Utilitarian Desires , 2002, Autonomous Agents and Multi-Agent Systems.

[2]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[3]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[4]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[5]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[6]  Guido Boella,et al.  Obligations as Social Constructs , 2003, AI*IA.

[7]  Guido Boella,et al.  Rational norm creation: attributing mental attitudes to normative systems, part 2 , 2003, ICAIL.

[8]  B. Hansson.  An analysis of some deontic logics , 1969 .

[9]  J. van Leeuwen,et al.  Engineering Societies in the Agents World II , 2001, Lecture Notes in Computer Science.

[10]  Frank Dignum,et al.  Contextual Taxonomies , 2004, CLIMA.

[11]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[12]  Cristiano Castelfranchi,et al.  Engineering Social Order , 2000, ESAW.

[13]  Guido Governatori,et al.  Declarative power, representation, and mandate: A formal analysis , 2002 .

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

[15]  Guido Boella,et al.  Security policies for sharing knowledge in virtual communities , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[16]  Frank Dignum,et al.  Contextual Terminologies , 2005, CLIMA.

[17]  Antonino Rotolo,et al.  On the Logical Nature of Count-as Conditionals , 2004 .

[18]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

[19]  Frank Dignum,et al.  Modal logic investigations in the semantics of counts-as , 2005, ICAIL '05.

[20]  Guido Boella,et al.  From the Theory of Mind to the Construction of Social Reality , 2005 .

[21]  John-Jules Ch. Meyer,et al.  Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as. , 2005 .

[22]  Guido Boella,et al.  A game theoretic approach to contracts in multiagent systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[23]  J. Kemp,et al.  The Concept of Law , 1962 .

[24]  Franco Turini,et al.  AI*IA 2003: Advances in Artificial Intelligence , 2003, Lecture Notes in Computer Science.

[25]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[26]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[27]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[28]  Cristiano Castelfranchi,et al.  The cognitive and behavioral mediation of institutions: Towards an account of institutional actions , 2006, Cognitive Systems Research.