快速算法

RP Delp:一种基于递归语义的加权可撤销论证框架。在本文中,我们提出了一个递归语义的保证公式在一般可废止逻辑论证框架通过形式化的概念,集体(非二进制)之间的冲突参数。保证公式的递归语义是基于直观的理由,如果一个参数被拒绝,那么在它上面建立的另外的参数也应该被拒绝。递归语义的主要特征是知识库的输出(或扩展)是一对由一组保证的和一组封闭的公式组成的。对于保证和阻塞公式的论证是基于保证公式递归的,但是,当保证公式不产生任何集体冲突时,阻止的结论。既不保证也不阻塞的公式对应于拒绝公式。然后,我们通过将偏好水平附加到可废止知识项并通过保证和阻塞公式的水平定义来扩展框架。之后,我们考虑权证递归语义的特定框架的可能性可撤销逻辑编程(RP Delp简称)。由于RP DeLP程序可能具有多个输出,所以我们定义了RP DELP程序的{IT最大理想输出}作为最终保证的一组结论,并且我们提出了一种在多项式空间中计算它的算法,其复杂性上限等于$MaTrm {P}{^ Mathm {NP}}$。最后,我们提出了一个有效的和可扩展的实施该算法使用SAT编码,并且我们提供了一个实验评价时,解决测试集的实例与单一和多个偏好水平的可废止知识。