Sciweavers

Share
ECSQARU
2009
Springer

A Default Logic Patch for Default Logic

10 years 2 months ago
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.
Philippe Besnard, Éric Grégoire, S&e
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ECSQARU
Authors Philippe Besnard, Éric Grégoire, Sébastien Ramon
Comments (0)
books