Normative framework for normative system change (bibtex)
by Guido Boella, Gabriella Pigozzi, Leendert van der Torre
Abstract:
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.
Reference:
Normative framework for normative system change (Guido Boella, Gabriella Pigozzi, Leendert van der Torre), In The 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1 (Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, eds.), IFAAMAS, 2009.
Bibtex Entry:
@InProceedings{Boella2009h,
  Title                    = {Normative framework for normative system change},
  Author                   = {Guido Boella and Gabriella Pigozzi and Leendert van der Torre},
  Booktitle                = {The 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1},
  Year                     = {2009},
  Editor                   = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Sim{\~a}o Sichman},
  Pages                    = {169-176},
  Publisher                = {IFAAMAS},

  Abstract                 = {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.},
  Affiliation              = {icr},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/03-aamas09a.pdf},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://doi.acm.org/10.1145/1558013.1558036},
  ISBN                     = {978-0-9817381-6-1},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/03-aamas09a.pdf}
}
Powered by bibtexbrowser