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

par FADDOUL KHOUKHI

Thèse de doctorat en Sciences appliquées

Sous la direction de Claude Secroun.

Soutenue en 1996

à Reims .

    mots clés mots clés


  • 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 209 P.
  • Annexes : 54 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Reims Champagne-Ardenne. Bibliothèque universitaire. Bibliothèque Moulin de la Housse.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.