Abstract
The complexity of logical inference in knowledge systems grows with the system size, determined, in particular, by the number of its clauses. This growth is so rapid, that reasoning in sizeable systems becomes intractable.However, given a system S and a query Q, should we be able to detect a subset of S informative enough to provide a correct answer to Q, and small enough to fit into the range of tractable computation, the answer to Q could be produced efficiently. This paper presents a way of implementing this idea.
| Original language | English |
|---|---|
| Pages (from-to) | 543-562 |
| Number of pages | 20 |
| Journal | Journal of Experimental and Theoretical Artificial Intelligence |
| Volume | 9 |
| Issue number | 4 |
| DOIs | |
| State | Published - 1 Oct 1997 |
Keywords
- Automated reasoning
- Evidence
- Logical approximation
Fingerprint
Dive into the research topics of 'Approximate reasoning with credible subsets'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver