Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data

Abstract. 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.

• Type: Conference
• Year: 2009
• Where: ECSQARU
• Authors: Ofer Arieli, Anna Zamansky
• Keywords: Artificial Intelligence, Distance-based Considerations, ECSQARU 2009, Modular Framework, Non-deterministic Semantic Structures