Abstract | ||
---|---|---|
The arrival of knowledge-based systems in industrial sectors requires specific software engineering, sometimes known as knowledge engineering. A good criterion to validate a knowledge-based system is to check its consistency. In this paper, a distinction between sure and heuristic knowledge is proposed. These two kinds of knowledge can be expressed in a single formalism. A powerful criterion of consistency for knowledge bases, based on this differentiation, is presented and formally expressed. The reasons why a knowledge base can be inconsistent are studied, and formally expressed. We present the COCO system, which checks knowledge bases. Then, we present the X system, which helps restore the consistency of an inconsistent knowledge base. The COCO-X system, which enables the expert to refine (check and restore) knowledge bases, is described. |
Year | DOI | Venue |
---|---|---|
1994 | 10.1006/ijhc.1994.1019 | Int. J. Hum.-Comput. Stud. |
Keywords | Field | DocType |
knowledge base | Heuristic,Computer science,Knowledge-based systems,Knowledge engineering,Artificial intelligence,Formalism (philosophy),Knowledge base | Journal |
Volume | Issue | ISSN |
40 | 3 | 1071-5819 |
Citations | PageRank | References |
0 | 0.34 | 10 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stéphane Loiseau | 1 | 62 | 16.72 |