A Default Logic Patch for Default Logic

International audienceThis 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

Corriger la Logique des Défauts par la Logique des Défauts

National audienceCe papier se situe dans le contexte de la fusion de sources d'information représentées à l'aide de la logique des défauts. Plus précisément, celui-ci se focalise sur la résolution du problème apparaissant quand les connaissances classiques des sources sont contradictoires, ayant pour effet de rendre triviale la théorie avec défauts résultante. Pour outre-passer ce problème, il est montré que, remplacer chaque formule appartenant aux sous-ensembles minimaux inconsistants (MUSes) de la réunion des connaissances classiques des sources par une règle de défaut super-normale correspondante, présente un comportement intéressant. De plus, il est examiné comment ces règles de défaut supplémentaires interagissent avec les règles de défaut initiales de la théorie. Chose intéressante, cette approche nous permet de manier le problème de théories avec défauts contenant des connaissances classiques contradictoires, en utilisant le cadre de la logique des défauts lui-même

Redundancy in Logic III: Non-Mononotonic Reasoning

Results about the redundancy of circumscriptive and default theories are presented. In particular, the complexity of establishing whether a given theory is redundant is establihsed.Comment: minor correction

More on Representation Theory for Default Logic

AbstractIn this paper, we investigate the representability of a family of theories as the set of extensions of a default theory. First, we present both new necessary conditions and sufficient ones for the representability by means of general default theories, which improves on similar results known before. Second, we show that one always obtains representable families by eliminating countably many theories from a representable family. Finally, we construct two examples of denumerable, representable families; one is not supercompactly nonincluding, and the other consists of mutually inconsistent theories but fails to be represented by a normal default theory