Prioritized dynamic retraction function on non-monotonic information updates
Giuseppe Primiero · Ghent University Academic Bibliography (Ghent University) · 2009
In this paper a model for updates on prioritized belief sets and retractions thereof is introduced, using the standard format of Adaptive Logics. The core of the update retraction procedure is represented by abnormal expressions derivable in the language: they express updates with information that contradict previously derived contents. The adaptive strategy aims at restricting the validity of these formulas by focusing at each decreasing degree on the update which is the most rational to retract in order to restore consistency as soon as possible.