Yves Moinard
Mesure de plausibilité pour le raisonnement par défaut
, RFIA 2004 (Reconnaissance des Formes et Intelligence Artificielle) , Toulouse , Vol. 1 , 217--226 , jan , 2004 , Document

Résumé Friedman et Halpern ont introduit la notion d'inférence par plausibilité qui permet d'unifier de nombreuses approches du raisonnement par défaut. Cependant, la version qu'ils utilisent est parfois limitée dans sa puissance d'expression, en ce qui concerne le raisonnement par défaut. Une modification naturelle de la version originale produit une notion qui permet de traduire davantage de formalismes déjà connus. En particulier, tous les exemples étudiés dans les papiers introductifs de Friedman et Halpern peuvent également être exprimés à l'aide de cette nouvelle version. Par contre, il existe des formalismes connus et importants qui échappent à la version originale, et qui peuvent être traduits à l'aide de la nouvelle version. Cela confirme et accentue l'intérêt de l'inférence par plausibilité, la seule différence entre les deux versions étant que la nouvelle définition est encore un peu plus simple. Ce texte étudie les propriétés du raisonnement de ces deux versions, ce qui au passage complète la liste des propriétés déjà connues pour la version originale.}, class = {pe perso, en cours


Ce site est maintenu par René Quiniou au moyen du système Weave développé
au sein du projet Caravel : http://www-caravel.inria.fr.
Dernière modification : 07-10-2011 09:54:25
English version