Abstract
In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deterministic semantic structures and distance-based considerations. This combination 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, as well as some of their computational aspects, and demonstrate their usefulness in the context of model-based diagnostic systems.
| Original language | English |
|---|---|
| Pages (from-to) | 184-211 |
| Number of pages | 28 |
| Journal | International Journal of Approximate Reasoning |
| Volume | 52 |
| Issue number | 2 |
| DOIs | |
| State | Published - Feb 2011 |
| Externally published | Yes |
Keywords
- Distance semantics
- Non-determinisitic matrices
- Reasoning with incomplete and inconsistent information
ASJC Scopus subject areas
- Theoretical Computer Science
- Software
- Applied Mathematics
- Artificial Intelligence
Fingerprint
Dive into the research topics of 'A framework for reasoning under uncertainty based on non-deterministic distance semantics'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver