David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Artificial Intelligence and Law 16 (1):53-71 (2008)
A single global authority is not sufficient to regulate heterogenous agents in multiagent systems based on distributed architectures, due to idiosyncratic local situations and to the need to regulate new issues as soon as they arise. On the one hand institutions should be structured as normative systems with a hierarchy of authorities able to cope with the dynamics of local situations, but on the other hand higher authorities should be able to delimit the autonomy of lower authorities to issue valid norms. In this paper, we study the interplay of obligations and strong permissions in the context of hierarchies of authorities using input/output logic, because its explicit norm base facilitates reasoning about norm base maintenance, and it covers a variety of conditional obligations and permissions. We combine the logic with constraints, priorities and hierarchies of authorities. In this setting, we observe that Makinson and van der Torre’s notion of prohibition immunity for permissions is no longer sufficient, and we introduce a new notion of permission as exception and a new distinction between static and dynamic norms. We show how strong permissions can dynamically change an institution by adding exceptions to obligations, provide an explicit representation of what is permitted to the subjects of the normative system and allow higher level authorities to limit the power of lower level authorities to change the normative system.
|Keywords||Normative systems Institutions Permissions|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
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.
John Pollock (1987). Defeasible Reasoning. Cognitive Science 11 (4):481-518.
H. Prakken & G. Sartor (1996). A Dialectical Model of Assessing Conflicting Arguments in Legal Reasoning. Artificial Intelligence and Law 4 (3-4):331-368.
David Makinson & Leendert van der Torre (2000). Input/Output Logics. Journal of Philosophical Logic 29 (4):383-408.
Citations of this work BETA
Johan Benthem, Davide Grossi & Fenrong Liu (2014). Priority Structures in Deontic Logic. Theoria 80 (2):116-152.
Xavier Parent (2011). Moral Particularism in the Light of Deontic Logic. Artificial Intelligence and Law 19 (2-3):75-98.
Phan Minh Dung & Giovanni Sartor (2011). The Modular Logic of Private International Law. Artificial Intelligence and Law 19 (2-3):233-261.
Similar books and articles
Guido Boella & Leendert van der Torre (2007). The Ontological Properties of Social Roles in Multi-Agent Systems: Definitional Dependence, Powers and Roles Playing Roles. [REVIEW] Artificial Intelligence and Law 15 (3):201-221.
Jaroslav Peregrin (ed.) (2003). Meaning: The Dynamic Turn. Elsevier Science.
G. H. von Wright (1983). Norms of Higher Order. Studia Logica 42 (2-3):119 - 127.
Pavlos Eleftheriadis (forthcoming). Citizenship and Obligation. In Julie Dickson & Pavlos Eleftheriadis (eds.), Philosophical Foundations of European Union Law. Oxford University Press
Henrique Lopes Cardoso & Eugénio Oliveira (2008). Electronic Institutions for B2b: Dynamic Normative Environments. [REVIEW] Artificial Intelligence and Law 16 (1):107 - 128.
Matthew Smith (2009). Legal Truths and Falsities. Ratio Juris 22 (1):95-109.
Bernd Krehoff (2008). Legitimate Political Authority and Sovereignty: Why States Cannot Be the Whole Story. Res Publica 14 (4):283-297.
Pablo E. Navarro (1993). Promulgation and Derogation of Legal Rules. Law and Philosophy 12 (4):385 - 394.
David Makinson & Leendert van der Torre (2003). Permission From an Input/Output Perspective. Journal of Philosophical Logic 32 (4):391-416.
Added to index2009-01-28
Total downloads19 ( #193,876 of 1,796,164 )
Recent downloads (6 months)7 ( #117,415 of 1,796,164 )
How can I increase my downloads?