Normative Repair Operator

The foundational constraint that a repair operator must alter the original normative set as little as possible to restore consistency. This is often operationalized by minimizing the number of rules removed or the semantic distance of modifications. Alchourrón, Gärdenfors, and Makinson (AGM) formalized this for belief revision, a concept directly adapted for normative repair. The operator seeks a maximal consistent subset (MCS) or applies a Hamming distance metric to measure the cost of change.

Instead of deleting a rule, a sophisticated operator introduces a defeasible exception clause to a general rule, directly implementing the lex specialis principle. For example, a general obligation 'Vehicles must stay off the plaza' is weakened to 'Vehicles must stay off the plaza, except emergency vehicles.' This preserves the general rule's applicability while resolving the specific conflict, a process central to non-monotonic logic.

When weakening is insufficient, the operator resolves conflicts by consulting a normative hierarchy graph. It algorithmically applies meta-rules:

• Lex Superior: The rule from the higher authority (e.g., federal over state) survives.
• Lex Posterior: The more recently enacted rule takes precedence.
• Lex Specialis: The more specific rule overrides the general one. The operator traverses this graph to determine which rule to suspend or abrogate.

The operator must classify the type of conflict based on a normative collision matrix to apply the correct resolution pathway. Key conflict types include:

• Obligation vs. Prohibition: A direct collision (e.g., 'must file by Friday' vs. 'must not file electronically'). Resolution often defaults to the prohibition or invokes a higher-order preference.
• Contrary-to-Duty Obligation: The operator identifies a secondary obligation triggered by the violation of a primary one, modeling realistic compliance scenarios.

After a repair operation (weakening, removal, or suspension), the operator must perform a normative entailment check on the modified rule set. This formal verification ensures that no new, latent contradictions were introduced by the repair itself. The process confirms that the new rule base is logically sound and that all rule applicability conditions are coherent, guaranteeing a stable, conflict-free state for downstream reasoning.

The operator distinguishes between temporary and permanent conflict resolution:

• Rule Suspension: The conflicting rule is deactivated for a specific context or time frame (e.g., a wartime exception to a peacetime regulation) but remains part of the system.
• Norm Abrogation: The rule is definitively and permanently removed from the normative system, typically reflecting a legislative repeal. The choice between these operations is a key parameter of the repair strategy.