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