Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data [chapter]

Ofer Arieli, Anna Zamansky
2009 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