Modèle logico-algébrique pour la fusion symbolique et l'analyse formelle / Nicolas Maille ; sous la direction de Laurent Chaudron

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1999

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Intelligence artificielle

Logique du premier ordre

Treillis, Théorie des

Traitement de l'information (psychologie)

Chaudron, Laurent (19..-....) (Directeur de thèse / thesis advisor)

École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : Dans cette thèse, nous nous intéressons aux formalismes de représentation et de manipulation de la connaissance dans des sytèmes nécessitant une représentation symbolique d'une réalité observée. Nous examinons plus particulièrement deux types de traitement de l'information : la fusion et la classification. Nous montrons le besoin d'un otuil algébrique pour structurer la connaissance. Puis nous nous penchons sur les structures de treillis et mettons en évidence leur adéquation pour caractériser un résultat de fusion. En nous fondant sur l'algèbre des treillis et la logique des prédicats nous construisons le modèle des cubes. Celui-ci définit, dans une optique mathématique, une théorie homogène pour la manipulation des conjonctions de propriétés. Le processus d'enrichissement du modèle est relancé par l'introduction des contraintes. Après un développement théorique conséquent la structure de treillis est retrouvée pour le modèle des cubes contraints. Celui-ci permet une représentation équilibrée des connaissances selon une composante logique et une composante numérique traduite par des intervalles. Parallèlement, les situations de fusion posent la question du choix des objets à fusionner. Nous nous intéressons à l'Analyse Formelle de Concepts qui permet de regrouper et structurer des objets en fonction de leur propriétés. Nous étendons cet outil formel pour prendre en compte une caractérisation des objets de la situation grâce à des cubes ou à des cubes contraints.