Yves Moinard
De l'usage de la mesure de plausibilité pour le raisonnement par défaut
, JNMR'03 (Journées Nationales de Modélisation du Raisonnement) , Paris , 185 - 200 , nov , 2003 , 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é, d'autant plus que la définition de la nouvelle version est encore plus simple que la définition originale. 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.}


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