TY - GEN
T1 - Non-deterministic distance semantics for handling incomplete and inconsistent data
AU - Arieli, Ofer
AU - Zamansky, Anna
PY - 2009
Y1 - 2009
N2 - 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 non-deterministic 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.
AB - 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 non-deterministic 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.
UR - http://www.scopus.com/inward/record.url?scp=69049105560&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-02906-6_68
DO - 10.1007/978-3-642-02906-6_68
M3 - Conference contribution
AN - SCOPUS:69049105560
SN - 3642029051
SN - 9783642029059
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 793
EP - 804
BT - Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 10th European Conference, ECSQARU 2009, Proceedings
T2 - 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009
Y2 - 1 July 2009 through 3 July 2009
ER -