Sur la cohérence et la validation des bases de connaissances : le système COVADIS
FR |
EN
Auteur / Autrice : | Marie-Christine Rousset |
Direction : | Marie-Odile Cordier |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1988 |
Etablissement(s) : | Paris 11 |
Mots clés
FR
Mots clés contrôlés
Résumé
FR
Le travail présenté dans cette thèse s'inscrit dans le cadre général de la validation de la connaissance dans les systèmes experts à base de règles. Une méthode de preuve de la cohérence de bases de règles, indépendante de bases de faits particuliers, est proposée.