Normative Conflict Detection

The foundational capability to extract and classify normative modalities from unstructured legal text. The system must accurately identify whether a given action is obligated, permitted, or prohibited for a specific actor.

• Identifies modal operators: 'shall,' 'must,' 'may,' 'shall not,' 'may not'
• Resolves scope ambiguity (e.g., 'no person shall' vs. 'no vehicle shall')
• Handles nested deontic statements within complex conditional structures
• Example: Parsing 'The Administrator shall approve applications, but shall not approve applications filed after the deadline' yields both an obligation and a prohibition on the same action under different temporal conditions

The process of normalizing all textual references to legal actors into canonical entities to determine if a conflict genuinely exists between the same parties. Without this, the system generates false positives by conflating different duty-bearers.

• Resolves anaphora: 'it,' 'such person,' 'the aforementioned entity'
• Normalizes role-based references: 'the Administrator,' 'the Secretary,' 'the Agency'
• Distinguishes between classes of actors: 'any person,' 'a licensee,' 'a common carrier'
• Example: A prohibition on 'the licensee' and an obligation on 'the applicant' are not in conflict if these refer to different legal roles, even if the same individual occupies both at different stages

The mechanism for determining whether two contradictory deontic statements actually apply during the same time interval. Conflicts are often illusory when one rule has been repealed, suspended, or has not yet taken effect.

• Models effective dates, sunset clauses, and transitional provisions
• Detects implicit temporal displacement (a specific rule overriding a general one for a defined period)
• Handles retroactivity and prospective-only application clauses
• Example: A statute prohibiting an action from January 2024 and a regulation permitting it from June 2024 do not create a true conflict if the regulation explicitly supersedes the statute for its effective period

The computational encoding of legal authority hierarchies to determine which rule prevails when a genuine conflict is detected. The system must model lex superior derogat legi inferiori (higher law overrides lower law).

• Models constitutional > statutory > regulatory > sub-regulatory hierarchy
• Accounts for jurisdiction-specific supremacy rules (federal vs. state)
• Handles explicit preemption clauses and savings clauses
• Example: A federal regulation permitting an activity and a state statute prohibiting it requires the system to evaluate the relevant preemption doctrine before flagging a resolvable conflict

The logical engine that compares the factual predicates triggering each deontic rule to determine if they can be simultaneously satisfied. Two rules with mutually exclusive conditions cannot create a true normative conflict.

• Extracts IF-THEN conditional structures from statutory text
• Models exceptions, exemptions, and carve-outs as negated predicates
• Evaluates predicate satisfiability using constraint logic
• Example: 'If X, then Y is prohibited' and 'If not-X, then Y is permitted' are not in conflict—they form a complete, non-contradictory regulatory scheme where the condition X determines the deontic status of Y

The systematic categorization of detected conflicts into formal types to guide downstream resolution strategies. Not all contradictions are equal; the system distinguishes between contrary and contradictory opposition.

• Obligation-Prohibition Conflict: Action X is both obligatory and prohibited for actor A (strongest conflict)
• Obligation-Permission to Omit Conflict: Action X is obligatory, but actor A is also permitted not to perform X
• Permission-Prohibition Conflict: Action X is permitted and also prohibited (logical contradiction)
• Contrary-to-Duty Conflict: A primary obligation and a secondary obligation triggered by violating the primary obligation appear contradictory if not properly scoped

A branch of modal logic that formalizes normative concepts—obligation, permission, and prohibition—using operators like O(p) and P(p). It provides the foundational calculus for representing legal rules in a machine-readable format.

• Enables formal verification of normative consistency
• Standard Deontic Logic (SDL) models obligation as 'it ought to be that'
• Key paradoxes (e.g., Chisholm's Paradox, Contrary-to-Duty) drive advanced modeling

A directed knowledge graph where nodes represent legal actors and edges represent mandatory duties imposed by law. Each edge encodes the specific action an actor is obligated to perform.

• Enables traversal of duty chains across statutes
• Supports conflict detection when a single actor has contradictory outgoing edges
• Used in compliance engines to verify fulfillment of all mandatory duties

A directed knowledge graph representing actions that are legally forbidden. Nodes are actors, and edges are prohibited actions. A normative conflict arises when an action appears as both an obligation edge and a prohibition edge for the same actor.

• Directly encodes 'shall not' and 'must not' statutory language
• Intersection with obligation graphs reveals deontic contradictions
• Critical for automated regulatory compliance checking

A set of judicially created interpretive rules that guide courts in resolving ambiguities in statutory text. These heuristics are essential for computational models to prioritize one interpretation over another when a conflict is detected.

• Ejusdem Generis: General terms following specific ones are limited to the same class
• Expressio Unius: The expression of one thing excludes others
• Rule of Lenity: Ambiguity in penal statutes is resolved in favor of the defendant

The computational structuring of legal authority by precedence, modeling the relationships between constitutions, statutes, and administrative regulations. This hierarchy is essential for resolving conflicts: a higher authority overrides a lower one.

• Lex superior derogat legi inferiori (higher law prevails)
• Enables automated conflict resolution based on authority rank
• Models federal preemption and state-federal conflicts

The formal computational modeling of statutory exceptions, exemptions, and carve-outs that override a general legal rule. An apparent normative conflict may be resolved when one statement is identified as an exception to the other.

• Models 'notwithstanding' and 'except as provided in' clauses
• Prevents false-positive conflict detection
• Essential for accurate regulatory compliance checking in complex statutes like the Internal Revenue Code