|
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
|
|