NO Revision and NO Contraction

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)
DOI 10.1007/s11023-011-9243-1
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 25,651
Through your library
References found in this work BETA
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Two Modellings for Theory Change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.

View all 17 references / Add more references

Citations of this work BETA
Modelling Phenomena and Dynamic Logic of Phenomena.Boris Kovalerchuk, Leonid Perlovsky & Gregory Wheeler - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):53-82.

Add more citations

Similar books and articles
Resource-Bounded Belief Revision and Contraction.Mark Jago - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 141--154.
On Action Theory Change.Ivan José Varzinczak - 2010 - Journal of Artificial Intelligence Research 37 (1):189-246.
Foundational Belief Change.Abhaya C. Nayak - 1994 - Journal of Philosophical Logic 23 (5):495 - 533.
AGM Belief Revision in Monotone Modal Logics.Gregory Wheeler - 2010 - LPAR 2010 Short Paper Proceedings.
Infinitary Belief Revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Severe Withdrawal (and Recovery).Hans Rott & Maurice Pagnucco - 1999 - Journal of Philosophical Logic 28 (5):501-547.

Monthly downloads

Added to index

2011-03-14

Total downloads

40 ( #123,536 of 2,143,475 )

Recent downloads (6 months)

1 ( #386,634 of 2,143,475 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums