• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1991

Résumé en langue originale

L'objet de ce travail est d'étudier l'utilisation possible d'une logique trivaluée particulière dans les systèmes experts. Cette logique définie par J.-P. Delahaye permet de caractériser parfaitement l'ensemble de littéraux calculés par un chaînage avant. Cette thèse se divise en deux parties distinctes. La première partie traite de l'incomplétude du chaînage avant et résout ce problème par l'utilisation d'une méthode basée sur la résolution de Robinson que nous appelons compilation logique. Notamment dans le chapitre III nous établissons le principe d'achèvement et nous donnons des propriétés pour s'assurer qu'une base est achevée relativement aux faits de base ce qui permet de définir une méthodologie de construction de bases de connaissances. Puis dans le chapitre IV nous présentons la compilation logique proprement dite et nous donnons un certain nombre d'algorithmes pour effectuer cette compilation qui permet non seulement d'effectuer un calcul complet avec un chaînage avant mais aussi de résoudre le problème du connecteur ou en conclusion de règles. La seconde partie pose le problème du calcul de questions utiles a poser a l'utilisateur dans un système expert trivalué fonctionnant en chaînage mixte. Nous donnons dans le chapitre III deux définitions formelles de questions basées sur notre logique trivaluée: les questions intelligentes et les question pertinentes, puis nous proposons une structuration des systèmes de calcul d'une question en deux niveaux: le niveau logique et le niveau heuristique. Nous détaillons tout d'abord les différents niveaux logiques pouvant être obtenus selon les méthodes utilisées et nous présentons deux algorithmes permettant de calculer des questions pertinentes et des questions intelligentes. Nous présentons ensuite les différents niveaux heuristiques qui nous ont amené à définir une méthode basée sur l'attribution de coefficients de satisfaisabilitéaux différentes questions pouvant être posées. Enfin nous étendons les résultats aux bases avec faits symboliques, méta-valeurs et variables symboliques. Les différents algorithmes présentés dans cette thèse ont été implémentés dans le logiciel BIVOUAC qui se présente comme une boîte à outils logiques pour bases de connaissances