Non-deterministic distance semantics for handling incomplete and inconsistent data

Ofer Arieli, Anna Zamansky

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

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.

Original languageEnglish
Title of host publicationSymbolic and Quantitative Approaches to Reasoning with Uncertainty - 10th European Conference, ECSQARU 2009, Proceedings
Pages793-804
Number of pages12
DOIs
StatePublished - 2009
Externally publishedYes
Event10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009 - Verona, Italy
Duration: 1 Jul 20093 Jul 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5590 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009
Country/TerritoryItaly
CityVerona
Period1/07/093/07/09

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Non-deterministic distance semantics for handling incomplete and inconsistent data'. Together they form a unique fingerprint.

Cite this