Thèse de doctorat en Contrôle des systèmes
Sous la direction de Jean-Luc Guérin.
Soutenue en 1998
à Compiègne , dans le cadre de École doctorale 71, Sciences pour l'ingénieur (Compiègne) .
Les travaux de cette thèse visent à améliorer l'interaction homme-machine lors des phases de développement et d'exploitation d'un SBC, AIDE. L'approche adoptée a pris en compte deux perspectives essentielles : celle du système à base de connaissance et celle des utilisateurs. De façon concrète, cette thèse a abouti à l'émergence d'outils d'aide à la construction et à l'utilisation de SBC. Des outils de spécification et de visualisation des connaissances couvrent la phase d'élaboration du SBC. L'outil de spécification permet de représenter les primitives du langage de représentation du SBC. Quant à l'outil de visualisation, il présente les connaissances du domaine selon divers points de vue et visualise les caractéristiques des connaissances de contrôle. La phase d'exploitation du SBC est assistée par les outils de formulation de requêtes et d'inspection de cas précédent. L'outil de formulation de requêtes introduit en particulier la notion d'interrogation portant sur des collections de caractéristiques et les notions d'attributs et d'annotations dans les explications. L'outil d'inspection de cas permet une recherche dirigée soit par les données, soit par les résultats. L'un des aspects essentiels de cet outil est que la recherche des cas précédents partageant des caractéristiques abstraites communes avec un cas présent est basée sur l'algorithme de recouvrement minimal.
A contribution to a knowledge base system management
Pas de résumé disponible.