Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Preferred answer sets for extended logic programs
Artificial Intelligence
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Prioritized Autoepistemic Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Deontic logics for prioritized imperatives
Artificial Intelligence and Law
On the Existence of Answer Sets in Normal Extended Logic Programs
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Moral particularism and deontic logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Moral particularism in the light of deontic logic
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Hi-index | 0.00 |
The sentences of deontic logic may be understood as describing what an agent ought to do when faced with a given set of norms. If these norms come into conflict, the best the agent can be expected to do is to follow a maximal subset of the norms. Intuitively, a priority ordering of the norms can be helpful in determining the relevant sets and resolve conflicts, but a formal resolution mechanism has been difficult to provide. In particular, reasoning about prioritized conditional imperatives is overshadowed by problems such as the `order puzzle' that are not satisfactorily resolved by existing approaches. The paper provides a new proposal as to how these problems may be overcome.