The Many Sides of Logic

TitlePrioritized Dynamic Retraction Function on Non-monotonic Information Updates
Publication TypeBook Chapter (with title)
Year of Publication2009
AuthorsPrimiero, G
Secondary AuthorsCarnielli, WA, Coniglio, ME, D'Ottaviano, IMLoffred
Book TitleThe Many Sides of Logic
Pages443-463
PublisherCollege Publications
CityLondon
Abstract

In this paper a model for updates on 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 con- tradicting 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 re- store consistency as soon as possible. This work is related to the standard operations of retraction and withdrawal from the AGM-paradigm and the eects of dynamic operations such as public announcement in Dynamic Epistemic Logic.

Citation Keyprimieroprioritized