Validation, acquisition, et mise au point des bases de connaissances : le systeme coco-x fonde sur la coherence

par Stéphane Loiseau

Thèse de doctorat en Sciences appliquées

Sous la direction de Marie-Odile Cordier.

Soutenue en 1990

à Paris 11 .

    mots clés mots clés


  • Résumé

    Notre sujet se situe dans l'esprit du genie de la connaissance qui serait a l'intelligence artificielle ce qu'est le genie logiciel a l'informatique classique. Ce nouveau domaine de recherche est de plus en plus important a cause de l'utilisation croissante des bases de connaissances de plus en plus complexes et difficilement controlables. Nous avons caracterise et programme un systeme incremental nomme coco de detection des incoherences dans les bases de regles d'ordre 1. Ce systeme s'appuie sur une distinction entre connaissance certaine et connaissance experte; ces deux connaissances etant exprimees dans un formalisme unique de regles de production. Il utilise des algorithmes de type atms etendu. Nous nous servons des resultats de cet outil pour expliquer (avec le systeme x) les incoherences trouvees et permettre interactivement a l'expert de modifier sa base de connaissances. Coco-x permet a chaque moment soit de garantir que la base en cours de construction est bien coherente, soit d'aider l'expert a la corriger afin de la rendre coherente. Notre systeme est donc un outil de validation, d'acquisition, et de mise au point des bases de connaissances. Il facilite la construction de bases de regles d'ordre un de facon incrementale et garantit une utilisation ulterieure sans probleme du a des incoherences


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 79 REF

Où se trouve cette thèse ?

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