Hybridation de l’Answer Set Programming et de la théorie de Dempster Shafer
Abstract
In practical situations it is useful to be able to reason about uncertain knowledge within a non-monotonic logic. This is, the case of expertise processes which finds all possible solutions of a cause. We propose for this purpose an approach that aims at combining the theory of belief functions and Answer Set Programming (ASP) by allowing decisionmaking with the generalized ordered weighted average.
Au cours des processus d’expertise, qui permettent d’explorer les différentes solutions d’un problème, il est utile de raisonner en intégrant à la fois un raisonnement nonmonotone et l’incertitude. Nous proposons pour cela une approche hybridant la théorie de Dempster Shafer (pour l’incertitude) et l’approche Answer Set Programming (pour le raisonnement non monotone). Un choix peut ainsi être effectué, parmi les ensembles solution du programme logique, en utilisant conjointement une mesure de croyance et le niveau d’incohérence résultant de la base de connaissances.
Origin | Files produced by the author(s) |
---|