[en] Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evaluate and classify normative system change methods is the so-called AGM framework of theory change, which has originally been developed as a framework to describe and classify both belief and normative system change. However, it has been used for belief change only, since the beliefs or norms are represented as propositional formulas. We therefore propose, as a normative framework for normative system change, to replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of norms, and to add several principles from the input/output logic framework. In this new framework, we show that some of the AGM properties cannot be expressed, and other properties are consistent only for some logics, but not for others.
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2010-094
Auteur, co-auteur :
BOELLA, Guido ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
PIGOZZI, Gabriella ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
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 :
Normative framework for normative system change
Date de publication/diffusion :
2009
Nom de la manifestation :
The 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1
C. E. Alchourron and E. Bulygin. The expressive conception of norms. In R. Hilpinen, editor, New Studies in Deontic Logic, pages 95-124. Reidel, 1981.
C. E. Alchourron, P. Gardenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log., 50(2):510-530, 1985.
C. E. Alchourron and D. Makinson. On the logic of theory change: Contraction functions and their associated revision functions. Theoria, 48:14-37, 1982.
G. Boella and L. van der Torre. Institutions with a hierarchy of authorities in distributed dynamic environments. Artificial Intelligence and Law Journal, 16(1):53-71, 2008.
G. Boella and L. van der Torre. Introduction to normative multiagent systems. Computation and Mathematical Organizational Theory, 12(2-3):71-79, 2006.
J. Broersen and L. van der Torre. Reasoning about norms, obligations, time and agents. In Proc. of PRIMA 2007, LNCS, 2008.
G. Govematori and P. Di Giusto. Modifying is better than deleting: A new approach to base revision. In E. Lamma and P. Mello, editors, AI*IA 99, pages 145-154. Pitagora, 1999.
G. Govematori and A. Rotolo. Changing legal systems: Abrogation and annulment part I: Revision of defeasible theories. In Proc. Of DEON 2008, LNCS, pages 3-18, 2008.
J. Hansen, G. Pigozzi and L. van der Torre. Ten philosophical problems in deontic logic. In G. Boella, L. van der Torre, and H. Verhagen, editors, Normative Multi-Agent Systems Dagstuhl Seminar Proc. 07122, 2007.
http://icr.uni.lu/normchange07/.
D. Makinson and L. van der Torre. Input-output logics. Journal of Philosophical Logic, 29:383-408, 2000.
D. Makinson and L. van der Torre. Constraints for input-output logics. Journal of Philosophical Logic, 30(2): 155-185, 2001.
D. Makinson and L. van der Torre. Permissions from an input-output perspective. Journal of Philosophical Logic, 32(4):391-416, 2003.
J. Maranhao. Refinement. A tool to deal with inconsistencies. In Proc. of the 8th ICAIL, pages 52-59, 2001.
O. Pacheco and J. Carmo. A role based model for the normative specification of organized collective agency and agents interaction. In Proc. of AAMAS 2003, pages 145-184.
W. W. Vasconcelos, M. J. Kollingbaum, and T. J. Norman. Resolving conflict and inconsistency in norm-regulated virtual organizations. In Proc. of AAMAS 2007, pages 632-639, 2007.
