Explanations, belief revision and defeasible reasoning

We present different constructions for non-prioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept of explanation in a deductive way. Second, we define multiple revision operators with respect to sets of sentences (representing explanations), giving representation theorems. Finally, we relate the formulated operators with argumentative systems and default reasoning frameworks.

• Type: Journal
• Year: 2002
• Where: AI
• Authors: Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo Ricardo Simari
• Keywords: AI 2002, Artificial Intelligence, Belief Changes, Multiple Revision Operators, Non-prioritized Belief Revision