Approche logico-symbolique dans le traitement des connaissances incertaines et imprecises dans les sbc

Logico-symbolic approch in knowledge based systems

• Auteur / Autrice : Faddoul Khoukhi
• Direction : Claude Secroun, Herman Akdag
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1996
• Etablissement(s) : Reims
• Jury : Président / Présidente : Claude Secroun
• Jury : Examinateurs / Examinatrices : Eric Laporte, Jean-François Camus
• Jury : Rapporteurs / Rapporteuses : Nand Lal Aggarwal, Michel De Glas

Résumé

L'un des problemes les plus importants en informatique, et plus particulierement en intelligence artificielle, depuis l'apparition de l'ordinateur, est la simulation du processus d'automatisation du raisonnement humain, notamment dans les systemes a base de connaissances. Le raisonnement dans les systemes a base de connaissances est multiforme. En effet, les qualificatifs associes generalement au mot raisonnement correspondent soit a la nature du raisonnement (raisonnement hypothetique, analogique, etc. ), soit a la nature des connaissances capables de realiser des fonctions de raisonnement. Ainsi, la modelisation du raisonnement constitue, a l'heure actuelle une part importante des recherches et des developpements en intelligence artificielle. De tels systemes necessitent en particulier une representation adequate, des connaissances mises en jeu et des mecanismes efficaces d'exploitation de ces connaissances (raisonnement). Les deux aspects, de representation des connaissances et du traitement, sont etroitement lies. Le raisonnement humain s'appuie frequemment sur des connaissances et des donnees peu exactes, incertaines ou encore dont l'expression verbale est elle-meme entachee d'imprecision. Modeliser ce type de connaissances et automatiser le raisonnement capable de le prendre en compte est une activite importante en intelligence artificielle et implique, de ce fait, l'elaboration d'un formalisme permettant de representer les connaissances, et d'une methode permettant de les manipuler. De nombreux formalismes de representation des connaissances resultent des travaux effectues en logique mathematique, en theorie des graphes, en psychologie cognitive et en informatique. Dans cette these, nous proposons une approche logico-symbolique pour le traitement des connaissances imprecises et/ou incertaines dans les systemes a base de connaissances basee essentiellement sur la logique des propositions multivalentes et la theorie des probabilites symboliques