Raisonnement deductif en presence de connaissances imprecises et incertaines : un systeme base sur la theorie de dempster-shafer

Deductive reasoning with imprecise and uncertain knowledge: an example based on dempster-shafer theory of evidence

• Auteur / Autrice : Philippe Chatalic
• Direction : FARRENY
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1986
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés libres

Sciences appliquees

Informatique, automatique theorique, systemes

Intelligence artificielle

Ensemble flou

Incertitude

Demonstration automatique

Representation connaissances

Raisonnement

Inference

Base connaissance

Deduction

Theorie dempster-shafer

Artificial intelligence

Fuzzy set

Uncertainty

Automatic proving

Knowledge representation

Reasoning

Inference

Knowledge base

Deduction

Dempster-shafer theory

Résumé

Ce memoire s'interesse aux approches quantitatives permettant de modeliser les notions d'incertitude et d'imprecision, dans les methodes de raisonnement automatiques. La premiere partie donne une vue d'ensemble des outils actuels, permettant de representer et manipuler des connaissances imprecises ou incertaines. La seconde partie a pour cadre general, celui des fonctions de croyances de shafer qui presente l'avantage d'englober les cadres propabiliste et possibliste comme cas particuliers