Inconsistency-tolerance in knowledge-based systems by dissimilarities

Ofer Arieli, Anna Zamansky

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.

Original languageEnglish
Title of host publicationFoundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Proceedings
Number of pages17
StatePublished - 2012
Externally publishedYes
Event7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012 - Kiel, Germany
Duration: 5 Mar 20129 Mar 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7153 LNCS


Conference7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Inconsistency-tolerance in knowledge-based systems by dissimilarities'. Together they form a unique fingerprint.

Cite this