Validation and reparation of knowledge bases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2366 LNAI, Issue , 2002, Pages 312-320

  Djelouah, R ^a,b   Duval, B ^a   Loiseau, S ^a  

^a UNIVERSITÉ D'ANGERS   (France)

^b ISAIP ESAIP   (France)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS;

INCOHERENCY; KNOWLEDGE BASE; KNOWLEDGE BASIS; TEST CASE;

INTELLIGENT SYSTEMS;

EID: 23044532434     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48050-1_35     Document Type: Conference Paper

References (11)

1. Beauvieux A, Dague P. A General Consistency checking and restoring Engine for Knowledge Bases, ECAI, p. 77-82, 1990.
2. Boswell R., Craw S. Organising Knowledge refinement operators. In Proc of EUROVAV. p.149-161. Kluwer Academic Publishers. 1999.
3. Bouali F, Loiseau S, Rousset MC. Rule Base Debugging, ITCAI, p. 166-169, 1996.
4. Bouali F, Loiseau S, Rousset MC. Revision of rule base , EUROVAV, p. 193-203, 1997.
5. De Kleer J. An assumption-based truth maintenance system, AI.28, p. 127-224, 1986.
6. Ginsberg A. Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy, AAAI, p. 585-589, 1988.
7. Loiseau S. Refinement of KB based on Consistency, ECAI, p. 845-849, 1992.
8. Mooney R.J, Ourston D. A multistrategy approach to theory refinement, Machine Learning. Vol IV, p. 141-164, 1994.
9. Nguyen T.A., Perkins W.A., Laffey T.J., Pecora D. Checking an expert system knowledge base for consistency and completeness, IJCAI, p.375-379 1985.
10. Preece A.D, Talbot S, Vignollet L, Evaluation of verification tools for knowledge-based systems; Int. J. Human-Computer Studies 47 p. 629-658 1997.
11. Rousset MC. On the consistency of KB: the COVADIS system, ECAI, p.79-84, 1988.