Thèse soutenue

Logiques et sciences cognitives en intelligence artificielle
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Philippe Cornu
Direction : Pierre Le Beux
Type : Thèse de doctorat
Discipline(s) : Contrôle des systèmes
Date : Soutenance en 1987
Etablissement(s) : Compiègne
Ecole(s) doctorale(s) : École doctorale 71, Sciences pour l'ingénieur (Compiègne)

Résumé

FR  |  
EN

Ce travail se scinde en deux parties : la première est consacrée à la logique et la seconde aux sciences cognitives. L'unité de ce travail se trouve dans le fait que l'objet de l'étude est le raisonnement humain, du point de vue de la non-monotonie que l'on cherche à modéliser dans la partie 1, et du point de vue du transfert de l'expertise de l'homme à la machine en conception de systèmes experts dans la partie 2. Partie 1 : Après quelques rappels sur des logiques non classiques utilisées en I. A. (topologique, modale, temporelle, trivalente,. . . ), il est proposé une nouvelle logique tri-valuée : la logique de l'instable qui vise à prendre en compte des propositions à valeur de vérité variable. Tout le reste de cette partie est consacré au raisonnement non-monotone. Après une brève revue d'approches existantes, il est proposé une analyse des causes du phénomène de non-monotonie. A partir de cette analyse, on présente un système : la logique des états prenant en compte la non-monotonie. Partie 2 : Dans cette partie, nous insistons sur la composante " Sciences Cognitives " de l'intelligence artificielle. L'essentiel (en fait, tout le second chapitre) de cette partie est consacré à une présentation d'une approche de transfert d'expertise basée sur l'analyse de la tâche et l'analyse de l'activité, suivant en cela la pratique ergonomique.