A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structures and distance-based considerations. The combination of these two principles leads to a variety of entailment relations that can be used for reasoning about nondeterministic phenomena and are inconsistency-tolerant. We investigate the basic properties of these entailments and demonstrate their usefulness in the context of model-based diagnostic systems.doi:10.1007/978-3-642-02906-6_68 fatcat:zimvb63lffdvxbxnou5cf3rv4a