Graduate studies at Western
Minds and Machines 21 (3):411-430 (2011)
|Abstract||One goal of normative multi-agent system theory is to formulate principles for normative system change that maintain the rule-like structure of norms and preserve links between norms and individual agent obligations. A central question raised by this problem is whether there is a framework for norm change that is at once specific enough to capture this rule-like behavior of norms, yet general enough to support a full battery of norm and obligation change operators. In this paper we propose an answer to this question by developing a bimodal logic for norms and obligations called NO. A key to our approach is that norms are treated as propositional formulas, and we provide some independent reasons for adopting this stance. Then we define norm change operations for a wide class of modal systems, including the class of NO systems, by constructing a class of modal revision operators that satisfy all the AGM postulates for revision, and constructing a class of modal contraction operators that satisfy all the AGM postulates for contraction. More generally, our approach yields an easily extendable framework within which to work out principles for a theory of normative system change|
|Keywords||Norms Modal logic Revision Contraction|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Mark Jago (2006). Resource-Bounded Belief Revision and Contraction. In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer.
Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema (2000). Infobase Change: A First Approximation. [REVIEW] Journal of Logic, Language and Information 9 (3):353-377.
David Makinson (1985). How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change. Synthese 62 (3):347 - 363.
David Makinson (1986). How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change. Synthese 68 (1):185 - 186.
Ivan José Varzinczak (2010). On Action Theory Change. Journal of Artificial Intelligence Research 37 (1):189-246.
Abhaya C. Nayak (1994). Foundational Belief Change. Journal of Philosophical Logic 23 (5):495 - 533.
Gregory Wheeler, AGM Belief Revision in Monotone Modal Logics. LPAR 2010 Short Paper Proceedings.
Natasha Alechina, Mark Jago & Brian Logan (2008). Preference-Based Belief Revision for Rule-Based Agents. Synthese 165 (2):159-177.
Sven Ove Hansson (2012). Global and Iterated Contraction and Revision: An Exploration of Uniform and Semi-Uniform Approaches. [REVIEW] Journal of Philosophical Logic 41 (1):143-172.
Neil Tennant (2006). New Foundations for a Relational Theory of Theory-Revision. Journal of Philosophical Logic 35 (5):489 - 528.
Dongmo Zhang & Norman Foo (2001). Infinitary Belief Revision. Journal of Philosophical Logic 30 (6):525-570.
Hans Rott & Maurice Pagnucco (1999). Severe Withdrawal (and Recovery). Journal of Philosophical Logic 28 (5):501-547.
Sebastian Enqvist (2009). Interrogative Belief Revision in Modal Logic. Journal of Philosophical Logic 38 (5):527 - 548.
Carlos E. Alchourrón, Peter Gärdenfors & David Makinson (1985). On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50 (2):510-530.
Lars Lindahl & Jan Odelstad (2003). Normative Systems and Their Revision: An Algebraic Approach. [REVIEW] Artificial Intelligence and Law 11 (2-3):81-104.
Added to index2011-03-14
Total downloads16 ( #81,785 of 739,304 )
Recent downloads (6 months)1 ( #61,243 of 739,304 )
How can I increase my downloads?