widtio-intersection-maximal-consistent-subsets
IN premise — summaries/2026/08/24/wiki-Belief_revision-chunk-2.md
Created 2026-08-24T17:11:06+00:00
The WIDTIO revision operator computes its result as {P} ∪ (intersection of all maximal P-consistent subsets of K), retaining only formulae present in every maximal consistent subset
Summary
When the system revises its knowledge with a new claim, it keeps that claim plus only whatever was true in every single one of the largest conflict-free chunks of the old knowledge, discarding anything that survived in some but not all of those chunks. The practical effect is a maximally cautious update: a piece of old knowledge is retained only if it is unanimously consistent with the new information across all the biggest coherent subsets, making the result extremely stable but potentially lossy.