Résumé: La recherche en I.A sur le raisonnement à base de cas (C.B.R) a conduit au développement de plusieurs systémes pour des domaines d'application et des tâches trés variés. En introduisant ces systémes dans des environnements réels de travail, l'explication de leurs processus de résolution de problémes devient une question de plus en plus importante. Durant une résolution de probléme, le raisonnement C.B.R. emplyé peut faire l'objet d'une remise en cause au cours d'une ou plusieurs de ses étapes. Il est donc nécessaire d'évaluer et de justifier la qualité de la décision prise tout au long du processus de résolution. Cette recherche de justification ou d'argumentation s'intégre en fait dans un processus de génération d'explications internes destinées à être utilisées pour au point du résolveur. La complexité de cette problématique rend nécessaire d'aller au-delà de la simple trace du raisonnement et de faire intervenir, à un niveau d'abstraction plus élevé, un raisonnement explicatif sollicitant son propre mode de raisonnement et ses propres connaissances. C'est dans cet ordre d'idée que nous proposons dans ce travail une approche de méta-raisonnement explicatif utilisant le C.B.R dans son style interprétatif pour générer des explications au concepteur pour l'assister lors de la mise au point du résolveur. Notre approche s'appuie fortement sur la séparation entre la ligne explicative et la ligne de résolution de probléme. Ce qui fait apparaître un niveau raisonneur pour la résolution de problémes et un niveau méta-raisonneur pour la justification du raisonnement mené par le résolveur. Lors d'une session de mise au point, le ùméta-raisonneur procéde à l'accumulation des connaissances se rapportant à chaque étape du cycle d'inférence du raisonneur pour la construction graduelle de l'épisode de résolution. Cet épisode sera soumis à l'évaluation et la critique pour être comparé avec des méta-cas référentiels, ce qui permettra la génération des connaissances de mise au point nécessaires au concepteur.

Langue: Français
Collation: 108 p. ill. ;30 cm.
Diplôme: Magister
Etablissement de soutenance: Annaba, Université Badji Mokhtar. Faculté des Sciences
Spécialité: Informatique
Index décimal 006.4 .Reconnaissance des formes par ordinateur (appareils d'entrée utilisant les méthodes de reconnaissance de formes, reconnaissance de formes non utilisée comme outil de l'intelligence artificielle)
Thème Informatique

Mots clés:
Raisonnement par cas
Intelligence artificielle

Note: Bibliogr. pp.103-108