2012 | OriginalPaper | Buchkapitel
Selective Revision by Deductive Argumentation
verfasst von : Patrick Krümpelmann, Matthias Thimm, Marcelo A. Falappa, Alejandro J. García, Gabriele Kern-Isberner, Guillermo R. Simari
Erschienen in: Theorie and Applications of Formal Argumentation
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
success
postulate of classic belief revision theory demands that after revising some beliefs with by information the new information is believed. However, this form of
prioritized
belief revision is not apt under many circumstances. Research in
non-prioritized
belief revision investigates forms of belief revision where
success
is not a desirable property. Herein,
selective revision
uses a two step approach, first applying a transformation function to decide if and which part of the new information shall be accepted, and second, incorporating the result using a prioritized revision operator. In this paper, we implement a transformation function by employing deductive argumentation to assess the value of new information. Hereby we obtain a non-prioritized revision operator that only accepts new information if believing in the information is justifiable with respect to the beliefs. By making use of previous results on selective revision we prove that our revision operator satisfies several desirable properties. We illustrate the use of the revision operator by means of examples and compare it with related work.