TY - GEN
T1 - Inconsistency-tolerance in knowledge-based systems by dissimilarities
AU - Arieli, Ofer
AU - Zamansky, Anna
PY - 2012
Y1 - 2012
N2 - Distance-based reasoning is a well-known approach for defining non-monotonic and paraconsistent formalisms, which so far has been mainly used in the context of standard two-valued semantics. In this paper, we extend this approach to arbitrary denotational semantics by considering dissimilarities, a generalization of distances. Dissimilarity-based reasoning is then applied for handling inconsistency in knowledge-based systems using various non-classical logics. This includes logics defined by multi-valued semantics, non-deterministic semantics, and possible-worlds (Kripke-style) semantics. In particular, we show that our approach allows to define a variety of inconsistency-tolerant entailment relations, and that it extends many well-studied forms of reasoning in the context of belief revision and database integration.
AB - Distance-based reasoning is a well-known approach for defining non-monotonic and paraconsistent formalisms, which so far has been mainly used in the context of standard two-valued semantics. In this paper, we extend this approach to arbitrary denotational semantics by considering dissimilarities, a generalization of distances. Dissimilarity-based reasoning is then applied for handling inconsistency in knowledge-based systems using various non-classical logics. This includes logics defined by multi-valued semantics, non-deterministic semantics, and possible-worlds (Kripke-style) semantics. In particular, we show that our approach allows to define a variety of inconsistency-tolerant entailment relations, and that it extends many well-studied forms of reasoning in the context of belief revision and database integration.
UR - http://www.scopus.com/inward/record.url?scp=84858032408&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-28472-4_3
DO - 10.1007/978-3-642-28472-4_3
M3 - Conference contribution
AN - SCOPUS:84858032408
SN - 9783642284717
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 34
EP - 50
BT - Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Proceedings
T2 - 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012
Y2 - 5 March 2012 through 9 March 2012
ER -