Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data

Authors:
Ofer Arieli;Anna Zamansky
Affiliations:
School of Computer Science, The Academic College of Tel-Aviv, Israel;School of Computer Science, Tel-Aviv University, Israel
Venue:
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2009

Citing 6
Cited 1

Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
On the semantics of theory change: arbitration between old and new information

PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Non-deterministic Multiple-valued Structures

Journal of Logic and Computation
Distance-based paraconsistent logics

International Journal of Approximate Reasoning
Reasoning with Uncertainty by Nmatrix---Metric Semantics

WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Some simplified forms of reasoning with distance-based entailments

Canadian AI'08 Proceedings of the Canadian Society for computational studies of intelligence, 21st conference on Advances in artificial intelligence

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

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

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