Detection des incoherences dans les systemesd'ordre 0 ou 1 : le systeme tibre

par ANNE LALO

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Louis Laurière.

Soutenue en 1989

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette these porte sur la coherence des bases de regles developpees sur des systemes non monotones d'ordre un. On propose un outil de coherence declaratif qui permette a l'expert de definir ses propres tests et qui soit facilement adaptable sur d'autres systemes experts. La definition de la coherence appliquee inclut une etude syntaxique des regles, une etude semantique et utilise le pouvoir de deduction de la base de regles. Le caractere procedural des outils de coherence developpes a ce jour leur retire toute possibilite d'adaptation a un autre generateur de systemes experts (art, snark, morse. . . ). Or le probleme de la coherence d'une base de regles est independant de la syntaxe adoptee pour representer l'expertise. La structure modulaire de l'outil de coherence que nous proposons lui donne cette souplesse. La formulation des tests sous forme declarative permet a l'expert de definir le role de l'outil de coherence en fonction de ses propres besoins. D'autre part, pour detecter des anomalies dans une expertise sur un domaine, le systeme de detection doit comprendre les concepts manipules. Une etude purement syntaxique n'est pas suffisante. Il faut que le systeme ait une connaissance sur les incompatibilites existant entre les differents concepts du domaine. Cette base d'incompatibilites est exprimee sous forme de regles de production. Une regle perdant de sa semantique quand elle est sortie de son contexte, cette definition prend en compte le pouvoir de deduction de l'ensemble des regles a etudier. Pour cela elle utilise les regles a etudier et la base d'incompatibilites sur le domaine pour construire des contextes qui permettront de detecter des anomalies dans tout le reseau de regles. Cette etude se fait independamment de toutes bases de faits en entree


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 60 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • 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 : PMC RT P6 1989
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.