belief-revision-is-comprehensive-and-minimal
IN derived (depth 3)
The system handles all forms of belief revision through two complementary minimal mechanisms: the outlist primitive provides a single reversible defeat mechanism for challenges, kill-switches, and supersession, while dependency-directed backtracking resolves detected contradictions by retracting the least-entrenched premise with minimal disruption.
Summary
The system covers every kind of belief change using just two simple tools. When something needs to be defeated or overridden, a single reversible mechanism handles it regardless of the pattern. When a contradiction is found, the system fixes it by removing the weakest supporting assumption, changing as little as possible. Together these two pieces handle everything without redundant or specialized machinery.
Justifications
SL — depth-3 — defeat (proactive, via outlist) and contradiction resolution (reactive, via backtracking) are orthogonal subsystems that together cover all belief revision scenarios
Antecedents (all must be IN):
- non-monotonic-system-is-single-reversible-primitive — The entire non-monotonic reasoning system — challenges, kill-switches, supersession, and dialectics — is built on a single primitive (outlist) that is inherently reversible, with no dedicated machinery for any defeat pattern.
- contradiction-resolution-is-minimal-disruption — The nogood resolution system minimizes network disruption through layered heuristics: the primary path traces justification chains back to premises and selects the least-entrenched for retraction, the fallback uses dependent count when no traceable chain exists, and all contradictions are unconditionally recorded regardless of resolution outcome.
Dependents
These beliefs depend on this one:
- agent-beliefs-undergo-full-revision — Agent-imported beliefs participate in the full revision system: the self-contained agent subsystem provides isolated lifecycle management and reversible defeat, while the comprehensive revision system ensures agent beliefs are subject to the same outlist defeat and contradiction resolution as locally-created beliefs — no revision exception exists for external provenance.
- belief-revision-covers-all-cases-uniformly — The belief revision system handles normal beliefs and all edge cases (premises from absent justifications, asymmetric missing-node semantics, vacuously valid empty antecedents) through the same minimal mechanisms (outlist defeat and dependency-directed backtracking) — no edge case requires special-case logic.
- dialectics-complete-the-revision-system — The system handles both automated belief revision (outlist defeat for proactive retraction, dependency-directed backtracking for reactive contradiction resolution) and interactive dialectics (challenge/defend for human-driven contestation) — both operating atomically through the same outlist primitive with transparent, uniform evaluation semantics.
- reasoning-and-revision-form-complete-architecture — The system provides a complete reasoning-and-revision architecture: the deterministic reversible engine reliably computes truth states in the forward direction, while the comprehensive minimal revision system handles all forms of belief change (outlist defeat, contradiction resolution, dialectical challenge) in the corrective direction — together covering the full lifecycle of belief management.
- revision-has-complete-semantics-with-controlled-irreversibility — The belief revision system is simultaneously comprehensive and minimal, with complete negative semantics exhibiting a controlled asymmetry: all defeat mechanisms (challenge, kill-switch, supersession) are truth-value reversible, but the identity transformation during challenge (premise-to-justified) is permanent — the system can undo the effects of any defeat but cannot restore a node's original unjustified status.
- semantics-and-revision-share-minimal-foundations — Both truth maintenance semantics and belief revision achieve comprehensive coverage through the same minimal primitives — the outlist primitive simultaneously enables emergent truth evaluation (disjunction over conjunction with absence semantics) and all non-monotonic revision mechanisms (defeat, backtracking, dialectics), confirming minimality as a cross-cutting architectural principle rather than a property of any single subsystem.