Inconsistency-tolerance in knowledge-based systems by dissimilarities

Ofer Arieli, Anna Zamansky

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

Abstract

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
Pages34-50
Number of pages17
DOIs
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
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012
Country/TerritoryGermany
CityKiel
Period5/03/129/03/12

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

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

Cite this