DMCA
An Algorithmic Approach to Recover Inconsistent Knowledge-bases (1919)
Cached
Download Links
- [www.cs.kuleuven.ac.be]
- [www.cs.kuleuven.be]
- DBLP
Other Repositories/Bibliography
| Venue: | Logics in Artificial Intelligence, European Workshop, JELIA 2000 |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Arieli19analgorithmic,
author = {Ofer Arieli},
title = {An Algorithmic Approach to Recover Inconsistent Knowledge-bases},
booktitle = {Logics in Artificial Intelligence, European Workshop, JELIA 2000},
year = {1919},
pages = {148--162},
publisher = {Springer Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the "spoiled" part of the data (i.e., the set of assertions that cause inconsistency), deletes it from the knowledge-base, and then draws classical conclusions from the "recovered" information. The essence of this approach is its coherence with the original (possibly inconsistent) data: On one hand it is possible to draw classical conclusions from any data that is not related to the contradictory information, while on the other hand, the only inferences allowed by this approach are those that do not contradict any former conclusion. This method may therefore be used by systems that restore consistent information and are obliged to their resource of information. Common examples of this case are diagnostic procedures that analyse faulty components of malfunction devices, and database management systems that amalgamate distributed knowledge-bases. 1 Motiv...
