ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
A Tableaux System for Deontic Action Logic
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Methods, Models and Tools for Fault Tolerance
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
| Hi-index | 0.00 |
This article contains a theory of normative defeasible reasoning based on the modal deontic logic 3-D. The concept of “relative weight” between competing norms is defined, and 3-D is used to formalize two types of legal reasoning (“subsumptive” and “means/end”). A general overview is given of a PROLOG program, 3dpr, that implements the 3-D based theory of normative reasoning.