Preferential theory revision

Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means of preferences on the possible abductive extensions to the theory. And, in particular, how to prefer among plausible abductive explanations justifying observations.

• Type: Journal
• Year: 2007
• Where: JAPLL
• Authors: Pierangelo Dell'Acqua, Luís Moniz Pereira
• Keywords: JAPLL 2007, Logic Program Approach, Plausible Abductive Explanations, Possible Abductive Extensions