A framework for reasoning under uncertainty based on non-deterministic distance semantics

Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deterministic semantic structures and distance-based considerations. This combination leads to a variety of entailment relations that can be used for reasoning about non-deterministic phenomena and are inconsistencytolerant. We investigate the basic properties of these entailments, as well as some of their computational aspects, and demonstrate their usefulness in the context of model-based diagnostic systems.

• Type: Journal
• Year: 2011
• Where: IJAR
• Authors: Ofer Arieli, Anna Zamansky
• Keywords: IJAR 2011, Model-based Diagnostic Systems, Non-deterministic Phenomena, Non-deterministic Semantic Structures