design of normative multiagent systems composed of both constitutive and regulative norms
Résumé :
[en] 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.
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2009-115
Auteur, co-auteur :
Boella, Guido
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Constitutive Norms in the Design of Normative Multiagent Systems
Date de publication/diffusion :
2006
Nom de la manifestation :
Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI)
Date de la manifestation :
2006
Titre de l'ouvrage principal :
Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI)
Jones, A., Carmo, J.: Deontic logic and contrary-to-duties. In Gabbay, D., Guenthner, F., eds.: Handbook of Philosophical Logic. Kluwer (2001) 203-279
Boella, G., van der Torre, L.: Permissions and obligations in hierarchical normative systems. In: Procs. of ICAIL'03, New York (NJ), ACM Press (2003) 109-118
Artosi, A., Rotolo, A., Vida, S.: On the logical nature of count-as conditionals. In: Procs. of LEA 2004 Workshop. (2004)
Grossi, D., Dignum, F., Meyer, J.J.: Contextual taxonomies. In: LNCS n. 3487: Procs. of CLIMA'04 Workshop, Berlin, Springer Verlag (2004) 33-51
Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of IGPL 3 (1996) 427-443
Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: Procs, of 10th International Conference on the Principles of Knowledge Representation and Reasoning KR'04, Menlo Park (ÇA), AAAI Press (2004) 255-265
Boella, G., van der Torre, L.: A game theoretic approach to contracts in multiagent systems. IEEE Transactions on Systems, Man and Cybernetics - Part C 36(1) (2006)
Boella, G., van der Torre, L.: Security policies for sharing knowledge in virtual communities. IEEE Transactions on Systems, Man and Cybernetics - Part A (2006)
Gmytrasiewicz, P.J., Durfee, E.H.: Formalization of recursive modeling. In: Procs. of ICMAS'95, Cambridge (MA), AAAI/MIT Press (1995) 125-132
Boella, G., van der Torre, L.: From the theory of mind to the construction of social reality. In: Procs. of CogSci'05, Mahwah (NJ), Lawrence Erlbaum (2005) 298-303
Castelfranchi, C.: Engineering social order. In: LNCS n. 1972: Procs. of ESAW'00, Berlin, Springer Verlag (2000) 1-18
Searle, J.: Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press, Cambridge (UK) (1969)
Boella, G., van der Torre, L.: Obligations as social constructs. In: LNAI n. 2829: AI*IA 2003 - Advances in Artificial Intelligence, Berlin, Springer Verlag (2003) 27-38
Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29 (2000) 383-408
Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic 30(2) (2001) 155-185
Boella, G., van der Torre, L.: Rational norm creation: Attributing mental attitudes, to normative systems, part 2. In: Procs. of ICAIL'03, New York (NJ), ACM Press (2003) 81-82
Hansson, B.: An analysis of some deontic logics. Nôus 3 (1969) 373-398
Searle, J.: The Construction of Social Reality. The Free Press, New York (1995)
Hindriks, F.: The constitutive rule revisited. In: Procs. of 3rd Conference on Collective Intentionality, Rotterdam (2002)
Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4) (2002) 428-447
Lang, J., van der Torre, L., Weydert, E.: Utilitarian desires. Autonomous Agents and Multiagent Systems 5(3) (2002) 329-363
Anderson, A.: The logic of norms. Logic et analyse 2 (1958)
Hart, H.: The Concept of Law. Clarendon Press, Oxford (1961)
Gelati, J., Govematori, G., Rotolo, N., Sartor, G.: Declarative power, representation, and mandate. A formal analysis. In: Procs. of JURIX 02, Amsterdam, IDS press (2002) 41-52
Castelfranchi, C., Tummolini, L.: The cognitive and behavioral mediation of institutions: Towards an account of institutional actions. In: Procs. of 4th Conference on Collective Intentionality. (2004)
Grossi, D., Dignum, F., Meyer, J.: Contextual terminologies. In this volume.
Grossi, D., Meyer, J., Dignum, F.: Modal logic investigations in the modal logic investigations in the semantics of counts semantics of counts-as as. In: Procs. of ICAIL'05, New York (NJ), ACM Press (2005) 1-9
