La validation vue comme une tâche de résolution de problème à part entière : contribution au projet AIDE

par Pascale Lefevre

Thèse de doctorat en Contrôle des systèmes

Sous la direction de Gilles Kassel.

Soutenue en 1997

à Compiègne .


  • Résumé

    Cette thèse présente les efforts entrepris dans le cadre du projet AIDE pour développer des systèmes experts dotés de capacités d'auto-validation. Ces efforts se portent dans deux directions complémentaires. Le premier objectif consiste à évaluer l'apport des spécifications abstraites -de haut niveau- d'une expertise, à des fins de validation. Le second objectif, concerne la modélisation de la tâche validation. Certes, l'exploitation de spécifications de haut niveau permet de réaliser des choses non abordables dans les systèmes à base de règles, mais en contrepartie, les modèles d'expertise sont beaucoup plus complexes. La tâche de validation s'en trouve compliquée, d'où l'intérêt de la considérer comme une tâche de résolution de problème à part entière. Valider un système peut ainsi être vu comme une tâche réflexive qui nécessite de raisonner sur la tâche réalisée dans le domaine d'application objet. On s'attachera comme pour les autres tâches, à obtenir pour la validation, des spécifications de haut niveau. C'est à dire qu'il faut rendre explicite une théorie du domaine et des connaissances de contrôle qui lui sont propres. C'est dans ce but que nous avons étendu le langage de spécification du générateur AIDE et construit une bibliothèque de tâches génériques de vérification. Ces tâches peuvent être couplées à des tâches explicatives afin de fournir des explications de qualité concernant les anomalies détectées. Enfin, nous avons testé le module de validation sur le système SATIN, qui est un système de diagnostic médical développé avec le générateur AIDE.

  • Titre traduit

    Validation seen as a full solving task : contribution to the project aide


  • Pas de résumé disponible.


  • Résumé

    This thesis explains the efforts undertaken within the project AIDE to provide expert systems with auto-validation facilities. These efforts are divided into two complementary directions. The first direction consists in assessing the contribution of high level specifications of a problem solving expertise,• for validation purposes. The second direction deals with the modelling of the validation activity as a problem solving task. It is obvious that the use of high level specifications enables to fulfill validation tasks which can't be fulfilled in rule-based systems, but, on the other band, the models of expertise are much more complex, which makes the validation task harder. As we wish to consider validation like the other tasks, we will apply the same modelling principles. Validating a system can thus be viewed as a reflective task that requires reasoning on the task fulfilled in the object domain. As for the other tasks, we will take care of getting high level specification for the validation. A Domain Theory must be made explicit, as must be the validation strategies. It’s with this aim in view that we have extend the specification language of AIDE and contruct a library of generic verification tasks. These tasks can be combined with explication tasks in order to provide high quality explanations concerning the detected anomalies. Finally, we have tested the validation module on the system SATIN, which is a medical application developped in AIDE.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 234 p.
  • Annexes : 122 ref.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Technologie de Compiègne. Service Commun de la Documentation.
  • Disponible pour le PEB
  • Cote : 1997 LEF 1050

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1997-LEF
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.