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
- Software
- Theoretical Computer Science
- Applied Mathematics
- Artificial Intelligence