Deontic Default Theory

In deontic default theory, obligations are not absolute truths but default rules that hold in the absence of defeating conditions. A prima facie obligation O(A) is represented as a default rule: if the prerequisite is true and the obligation is consistent with what is known, conclude the obligation. This directly models how legal duties are generally binding but can be defeated by exceptions.

• Default rule form: Prerequisite : Justification / Conclusion
• The justification checks for consistency with known facts
• A contrary-to-duty scenario defeats the default by introducing inconsistent information

Deontic default logic inherits the non-monotonic property from Reiter's default logic: adding new premises can invalidate previously derived obligations. This is essential for legal reasoning where discovering a more specific statute or a higher-court ruling retroactively alters what is obligatory.

• Extensions grow or shrink as facts are added
• A conclusion O(φ) may hold in one extension but not another
• Enables belief revision without full system rebuild
• Contrasts with monotonic classical logic where conclusions are permanent

The theory extends standard default logic by embedding deontic modalities—obligation (O), permission (P), and prohibition (F)—directly into the default structure. Each modality carries distinct consistency rules: an obligation cannot coexist with a prohibition on the same act, while permissions create exceptions to prohibitions.

• O(φ) defaults are defeated by F(φ) assertions
• P(φ) acts as a blocker preventing the derivation of F(φ)
• Modal conflicts trigger extension branching
• Interdefinability: F(φ) ≡ O(¬φ) and P(φ) ≡ ¬O(¬φ)

A deontic default theory generates one or more extensions—maximal, consistent sets of beliefs closed under the default rules. When normative conflicts exist, multiple extensions emerge, each representing a coherent resolution path. A skeptical reasoner accepts only what holds in all extensions; a credulous reasoner picks one.

• Each extension is a conflict-free normative subset
• Multiple extensions signal unresolved normative collisions
• Extension selection may require external preference orderings
• Corresponds to the Maximal Consistent Subset approach in conflict resolution

To resolve conflicts deterministically, deontic default logic often incorporates priority orderings among defaults. A default representing a lex specialis rule is assigned higher priority than a general rule, ensuring the specific obligation defeats the general one when both apply. This formalizes the Lex Specialis Derogat Legi Generali principle.

• Priority is a partial or total order on default rules
• Higher-priority defaults are applied first during extension construction
• Encodes rule preference ordering directly in the logic
• Enables deterministic conflict resolution without external arbitration

A defining strength of deontic default logic is its ability to model contrary-to-duty obligations—what an agent must do after violating a primary duty. Standard deontic logic suffers from paradoxes here (Chisholm's Paradox), but default logic handles this naturally: the violation adds a fact that triggers a secondary default obligation.

• Primary default: O(pay_on_time)
• Violation fact: ¬pay_on_time
• Secondary default triggers: O(pay_with_penalty)
• No logical contradiction arises because defaults operate sequentially

A mode of logical inference where a conclusion can be retracted in the face of new, contradictory evidence or superior rules. This is the foundational non-monotonic mechanism that allows Deontic Default Theory to model prima facie obligations that are binding until defeated.

• Enables retraction of conclusions without contradiction
• Core to modeling legal exceptions and overrides
• Distinguishes strict rules from default rules

A deontic logic construct specifying what an agent is obligated to do after violating a primary obligation. This is a key challenge in modeling realistic legal and contractual compliance scenarios, often called the 'Chisholm Paradox'.

• Addresses secondary obligations triggered by breach
• Critical for modeling penalty clauses and remediation
• Tests the expressive adequacy of deontic formalisms

A formal logic system where the addition of new premises can invalidate previously valid conclusions. Deontic Default Theory extends this framework with deontic modalities to handle normative reasoning specifically.

• Adding facts can shrink the set of valid conclusions
• Models the open-ended nature of legal discovery
• Contrasts with classical monotonic logics

A directed acyclic graph representing the precedence relationships between legal rules based on authority, specificity, and temporality. This structure is used to traverse and resolve conflicts algorithmically within a default theory framework.

• Encodes lex superior, lex specialis, and lex posterior
• Enables deterministic conflict traversal
• Visualizes the priority landscape of a rule base

A computational method for resolving normative conflicts by identifying the largest subset of non-contradictory rules from an inconsistent rule base. This provides a conflict-free reasoning context when full consistency is impossible.

• Generates coherent rule subsets from contradictions
• Used as a repair mechanism for inconsistent corpora
• Often guided by rule preference orderings

The systematic mechanism by which a general rule is suspended or overridden by a more specific exception, directly implementing the lex specialis principle in a computational framework. This is the primary application of default rules in deontic theory.

• Carves out exceptions without deleting the general rule
• Maintains the integrity of the normative system
• Relies on specificity-based priority ordering