2012 | OriginalPaper | Buchkapitel
Modeling Local Belief Revision in a Dynamic Reasoning System
verfasst von : Daniel G. Schwartz, Stanislav Ustymenko
Erschienen in: Advances in Artificial Intelligence
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The well-known AGM framework provides an intuitively plausible model of nonmonotonic belief revision, but it has the drawback that it is not computational. A computational variant has been proposed by Hansson, and subsequently Hansson and Wassermann have identified a notion of local belief change and discussed how this can modeled in an adaptation of Hansson framework. Briefly, the belief set is compartmentalized in such a way that consistency may be preserved in one compartment, while inconsistency may be entertained in another compartment without the entire belief system degenerating to the trivial case where all propositions are believed. An alternative to the AGM framework is the Dynamic Reasoning System (DRS), which models reasoning explicitly as a temporal activity. The objective in this paper is to show how the phenomenon of local belief change studied by Hansson and Wassermann can be modeled in the DRS framework.