caa a22 4500 445838167 CHVBK 20180317145336.0 cr unu---uuuuu 170323e20110801xx s 000 0 eng 10.1007/s11023-011-9243-1 doi (NATIONALLICENCE)springer-10.1007/s11023-011-9243-1 NO Revision and NO Contraction [Elektronische Daten] [Gregory Wheeler, Marco Alberti] 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. Springer Science+Business Media B.V., 2011 Norms nationallicence Modal logic nationallicence Revision nationallicence Contraction nationallicence Wheeler Gregory CENTRIA—Artificial Intelligence Center, Department of Computer Science, Universidade Nova de Lisboa, FCT/UNL, 2829-516, Caparica, Portugal aut Alberti Marco CENTRIA—Artificial Intelligence Center, Department of Computer Science, Universidade Nova de Lisboa, FCT/UNL, 2829-516, Caparica, Portugal aut Minds and Machines Springer Netherlands 21/3(2011-08-01), 411-430 0924-6495 21:3<411 2011 21 11023 https://doi.org/10.1007/s11023-011-9243-1 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11023-011-9243-1 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Wheeler Gregory CENTRIA—Artificial Intelligence Center, Department of Computer Science, Universidade Nova de Lisboa, FCT/UNL, 2829-516, Caparica, Portugal aut NATIONALLICENCE 700 1- Alberti Marco CENTRIA—Artificial Intelligence Center, Department of Computer Science, Universidade Nova de Lisboa, FCT/UNL, 2829-516, Caparica, Portugal aut NATIONALLICENCE 773 0- Minds and Machines Springer Netherlands 21/3(2011-08-01), 411-430 0924-6495 21:3<411 2011 21 11023 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer