Access the full text.
Sign up today, get DeepDyve free for 14 days.
F. Dignum (1999)
Autonomous agents with normsArtificial Intelligence and Law, 7
(1986)
Permissive Norms and Normative Systems Automated Analysis of Legal Texts
G Boella, L Lesmo (2002)
A game theoretic approach to normsCogn Sci Quart, 2
N. Bobbio (1958)
Teoria della norma giuridica
GH Wright (1963)
Norm and action. A logical inquiry
Riccardo Guastini (1998)
Teoria e dogmatica delle fonti
Bart Verheij (2001)
Legal decision making as dialectical theory construction with argumentation schemes
A. Montefiore (1964)
NORM AND ACTIONPhilosophical Books, 5
C. Alchourrón, P. Gärdenfors, D. Makinson (1985)
On the logic of theory change: Partial meet contraction and revision functionsJournal of Symbolic Logic, 50
J. Rödig, E. Altmann, Eberhard Baden, H. Kindermann, Richard Motsch, Gerda Thieler-Mevissen (1976)
Studien zu einer Theorie der Gesetzgebung
M. Esteva, W. Vasconcelos, C. Sierra, J. Rodríguez-Aguilar (2004)
Norm Consistency in Electronic Institutions
CE Alchourron, D Makinson (1981)
New studies in deontic logic
R. Hilpinen (1981)
New studies in deontic logic : norms, actions, and the foundations of ethics
D. Lewis (1999)
Papers in Ethics and Social Philosophy: A problem about permission
Leendert Torre, Yao-Hua Tan (1999)
Contrary‐to‐duty reasoning with preference‐based dyadic obligationsAnnals of Mathematics and Artificial Intelligence, 27
J. Carmo, Andrew Jones (2002)
Deontic Logic and Contrary-to-Duties
D. Makinson, Leendert Torre (2003)
Permission from an Input/Output PerspectiveJournal of Philosophical Logic, 32
D. Makinson, Leendert Torre (2001)
Constraints for Input/Output LogicsJournal of Philosophical Logic, 30
E. Saarinen, R. Hilpinen, I. Niiniluoto (1979)
Essays in Honour of Jaakko Hintikka
(1980)
Enciclopedia Einaudi
C Alchourron, P Gärdenfors, D Makinson (1985)
On the logic of theory changeJ Symbol Logic, 50
JL Pollock (1987)
Defeasible reasoningCogn Sci, 11
Verhagen: to appear, 'Introduction to normative multiagent systems'. Computation and Mathematical Organizational Theory, special issue on normative multiagent systems
F. López, M. Luck, M. d'Inverno (2002)
Constraining autonomy through norms
T. Mazzarese (1991)
Deontic Logic as Logic of Legal Norms: Two Main Sources of ProblemsRatio Juris, 4
R. Conte, C. Castelfranchi, F. Dignum (1998)
Autonomous Norm Acceptance
E. Whitley (1999)
The Construction of Social RealityInformation Technology & People, 12
M. Esteva, J. Rodríguez-Aguilar, C. Sierra (2004)
Verifying Norm Consistency in Electronic Institutions
C. Alchourrón, D. Makinson (1981)
Hierarchies of Regulations and their Logic
M. Esteva, J. Padget, C. Sierra (2001)
Formalizing a Language for Institutions and Norms
André Fuhrmann, M. Morreau (1991)
The Logic of Theory Change, 465
H. Prakken, G. Sartor (1996)
A dialectical model of assessing conflicting arguments in legal reasoningArtificial Intelligence and Law, 4
T. Mazzarese (2000)
Permesso forte e permesso debole: note a margine *
H. Prakken (1997)
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
B. Hansson (1969)
An analysis of some deontic logics
Lambèr Royakkers, F. Dignum (1997)
The logic of enactment (abstract)
H. Prakken (1997)
Logical Tools for Modelling Legal Argument
G. Brewka, Thomas Eiter (2000)
Prioritizing Default Logic
Leendert Torre (2004)
Contextual Deontic Logic: Normative Agents, Violations and IndependenceAnnals of Mathematics and Artificial Intelligence, 37
E. Bulygin (1976)
Logische Fragen der Gesetzgebungstechnik
F. Garijo, M. Boman (1999)
MultiAgent System Engineering, 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '99, Valencia, Spain, June 30 - July 2, 1999, Proceedings, 1647
G. Boella, Leendert Torre (2008)
Substantive and procedural norms in normative multiagent systemsJ. Appl. Log., 6
G. Boella, Leendert Torre (2007)
Norm Negotiation in Multiagent SystemsInt. J. Cooperative Inf. Syst., 16
Lambèr Royakkers, F. Dignum (1997)
The logic of enactment
D. Makinson, Leendert Torre (2000)
Input/Output LogicsJournal of Philosophical Logic, 29
J. Pollock (2008)
Reasoning: Defeasible Reasoning
V. Dignum, Javier Vázquez-Salceda, F. Dignum (2004)
A model of almost everything: norms, structure and ontologies in agent organizationsProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004.
E Bulygin (1986)
Automated analysis of legal texts
H. Verhagen (1999)
On the Learning of Norms
Y. Shoham, Moshe Tennenholtz (1995)
On Social Laws for Artificial Agent Societies: Off-Line DesignArtif. Intell., 73
G. Boella, Leendert Torre (2006)
A game theoretic approach to contracts in multiagent systemsIEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), 36
Stefan Brass (1991)
Deduction with Supernormal Defaults
J. Broersen, M. Dastani, J. Hulstijn, Leendert Torre (2002)
Goal generation in the BOID architecture, 2
P. Agre, S. Rosenschein (1996)
On social laws for artificial agent societies: off-line design
G. Boella, Leendert Torre (2006)
Security policies for sharing knowledge in virtual communitiesIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 36
G. Boella, Leendert Torre, H. Verhagen (2006)
Introduction to normative multiagent systemsComputational & Mathematical Organization Theory, 12
GH Wright (1951)
Deontic logicMind, 60
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.
Artificial Intelligence and Law – Springer Journals
Published: Oct 3, 2007
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.