Sur la cohérence et la validation des bases de connaissances : le système COVADIS

par Marie-Christine Rousset

Thèse de doctorat en Informatique

Sous la direction de Marie-Odile Cordier.

Soutenue en 1988

à Paris 11 .

  • Titre traduit

    On the consistency and validation of knowledge bases : the COVADIS system


  • Pas de résumé disponible.


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (218 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 211-218

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1988)238
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-035087
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.