Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Conditional logics of normality: a modal approach
Artificial Intelligence
Reasoning about knowledge
Applications of deontic logic in computer science: a concise overview
Deontic logic in computer science
Philosophical foundations of deontic logic and the logic of defeasible conditionals
Deontic logic in computer science
Defeasible deontic reasoning: a logic programming model
Deontic logic in computer science
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Deontic logic with defeasible detachment
Deontic logic with defeasible detachment
The temporal analysis of Chisholm's paradox
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
The logic of reusable propositional output with the fulfillment constraint
Labelled deduction
Parameters for Utilitarian Desires in a Qualitative Decision Theory
Applied Intelligence
Hyperrational Conditionals - Monotonic Reasoning About Nested Default Conditionals
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge
Rights, Duties and Commitments between Agents
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Cancelling and overshadowing two types of defeasibility in defeasible deontic logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
An update semantics for defeasible obligations
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
Parameters for Utilitarian Desires in a Qualitative Decision Theory
Applied Intelligence
Autonomous Agents and Multi-Agent Systems
Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Motivational Attitudes of Agents: On Desires, Obligations, and Norms
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Review of "Agency and deontic logic by John Horty" Oxford university press 2001
Artificial Intelligence and Law
An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties
Fundamenta Informaticae - Deontic Logic in Computer Science
Institutions with a hierarchy of authorities in distributed dynamic environments
Artificial Intelligence and Law
Need to Know: Questions and the Paradox of Epistemic Obligation
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
On the Strong Completeness of Åqvist's Dyadic Deontic Logic G
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Introducing Grades in Deontic Logics
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Dialogue games that agents play within a society
Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Measurement-theoretic foundation of preference-based dyadic deontic logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Deontic redundancy: a fundamental challenge for deontic logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Argument-Based negotiation in a social context
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Permissions and uncontrollable propositions in DSDL3: non-monotonicity and algorithms
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Obligations and prohibitions in Talmudic deontic logic
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Temporal deontic logic for the generalised chisholm set of contrary to duty obligations
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties
Fundamenta Informaticae - Deontic Logic in Computer Science
Hi-index | 0.00 |
In this paper we introduce Prohairetic Deontic Logic (PDL), a preference‐based dyadic deontic logic. In our preference‐based interpretation of obligations “&agr; should be (done) if &bgr; is (done)” is true if (1) no ¬&agr; ∧ &bgr; state is as preferable as an &agr; ∧ &bgr; state and (2) the preferred &bgr; states are &agr; states. We show that this representation solves different problems of deontic logic. The first part of the definition is used to formalize contrary‐to‐duty reasoning, which, for example, occurs in Chisholm’s and Forrester’s notorious deontic paradoxes. The second part is used to make deontic dilemmas inconsistent.