Minimizing both dropped formulas and concepts in knowledge fusion
Éric Grégoire · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2006
In this paper, a new family of approaches to fuse inconsistent knowledge sources is introduced in a standard logical setting. They combine two preference criteria to arbitrate between conflicting information: the minimization of falsified formulas and the minimization of the number of the different atoms that are involved in those formulas. Although these criteria exhibit a syntactical flavor, the approaches are semantically-defined.