Programming norm change

Journal of Applied Non-Classical Logics 22 (1-2):151-180 (2012)
  Copy   BIBTEX


To adequately deal with unpredictable and dynamic environments, normative frameworks typically deployed in mechanisms for modifying the norms at runtime are crucial. We present the syntax and operational semantics of programming constructs to facilitate runtime norm modification, allowing a programmer to specify when and how the norms may be changed by external agents or by the normative mechanism. The norms take on the form of conditional obligations and prohibitions, instantiating obligations and prohibitions. We present rule-based constructs for runtime modification of the norms and their instances, and a mechanism for automatically updating the instances when their underlying norms change. Moreover, we investigate a mechanism for avoiding norm conflicts.



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The truth Norm of belief.Conor Mchugh - 2012 - Pacific Philosophical Quarterly 93 (1):8-30.
NO Revision and NO Contraction.Gregory Wheeler & Marco Alberti - 2011 - Minds and Machines 21 (3):411-430.
Intellectual Flourishing as the Fundamental Epistemic Norm.Berit Brogaard - 2014 - In Clayton Littlejohn & John Turri (eds.), Epistemic Norms: New Essays on Action, Belief, and Assertion. Oxford University Press. pp. 11-31.
Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.
Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.
Programming Languages as Technical Artifacts.Raymond Turner - 2014 - Philosophy and Technology 27 (3):377-397.


Added to PP

24 (#639,942)

6 months
8 (#342,364)

Historical graph of downloads
How can I increase my downloads?