在实际情况下,能够在非单调逻辑中推理不确定知识是有用的。这是一个专业过程,它可以找到所有可能的原因解决方案。为此,我们提出了一种方法,旨在通过允许使用广义有序加权平均进行决策,将信念函数理论与答案集编程(ASP)相结合。
通过专业知识的过程,探索者可以找到不同的解决方案,这是一种利用提升者的能力来实现非单调性和诚意的方法。Nous propossons pour cela une approche hybridant la theorie de Dempster Shafer(pour l’intentitude)et l’approche-Anse-Set Programming(pour-le raisonnement non-单调)。Un choix peut ainsiátre effectué,parmi les ensembles solution du program logique,en-utiliant consointement une mesure de croyance et le niveau d’incohérence résultant de la base de connaissances。