A Default Logic Patch for Default Logic

This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-logic knowledge parts of the sources are contradictory, as default theories trivialize in this case. To overcome this problem, it is shown that replacing each formula belonging to Minimally Unsatisfiable Subformulas by a corresponding supernormal default allows appealing features. Moreover, it is investigated how these additional defaults interact with the initial defaults of the theory. Interestingly, this approach allows us to handle the problem of default theories containing inconsistent standard-logic knowledge, using the default logic framework itself.

• Type: Conference
• Year: 2009
• Where: ECSQARU
• Authors: Philippe Besnard, Éric Grégoire, Sébastien Ramon
• Keywords: Artificial Intelligence, Corresponding Supernormal Default, Default Logic, Default Theories, ECSQARU 2009