Abstract FR:

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