Defeasible Deontic Reasoning

Authors:
L. Thorne Mccarty
Affiliations:
Computer Science Department, Rutgers University, New Brunswick, New Jersey 08903
Venue:
Fundamenta Informaticae
Year:
1994

Citing 19
Cited 0

Bureaucracies as deontic systems

ACM Transactions on Information Systems (TOIS)
A logical framework for default reasoning

Artificial Intelligence
An approach to default reasoning based on a first-order conditional logic: revised report

Artificial Intelligence
Clausal intuitionistic logic I. Fixed-point semantics

Journal of Logic Programming
Clausal intuitionistic logic II. Tableau proof procedures

Journal of Logic Programming
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
EPS II: estate planning with prototypes

ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
A language for legal Discourse I. basic features

ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
The structure of norm conditions and nonmonotonic reasoning in law

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
A tool in modelling disagreement in law: preferring the most specific argument

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
An intuitionistic interpretation of finite and infinite failure

Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Conditional logics for default reasoning and belief revision

Conditional logics for default reasoning and belief revision
Deontic Logic, Computational Linguistics and Legal Information Systems

Deontic Logic, Computational Linguistics and Legal Information Systems
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
On interacting defaults

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Permissions and obligations

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
On the comparison of theories: preferring the most specific explanation

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper combines a system of deontic logic with a system for default reasoning to analyze a notorious philosophical problem: Chisholm's Paradox. The basic approach is to write deontic rules with explicit exceptions, but we also consider the extent to which a set of implicit exceptions can be derived from the underlying deontic semantics.