RP DeLP公司

RP-DeLP:一个基于递归语义的加权可撤销论证框架。在这篇文章中,我们在一个一般的可推翻的逻辑论证框架中,通过形式化参数之间的集体(非二进制)冲突的概念,提出了一种在一般可推翻的逻辑论证框架中的保证公式的递归语义。保证公式的递归语义基于一个直观的理由,即如果一个参数被拒绝,那么在它之上构建的进一步的参数也应该被拒绝。递归语义的主要特点是知识库的输出(或扩展)是一对由一组保证公式和一组分块公式组成的对。保证公式和阻塞公式的论据都是递归地基于保证公式的,但是,虽然保证公式不会产生任何集体冲突,但是阻塞的结论却会产生。既不保证也不阻止的公式对应于被拒绝的公式。然后,我们扩展了这个框架,通过对可撤销的知识项附加优先级别,并提供了保证和阻塞公式的层次定义。在考虑了可撤销逻辑程序设计(简称RP-DeLP)的特定框架下的保证递归语义。由于RP-DeLP程序可能有多个输出,我们将RP-DeLP程序的{it最大理想输出}定义为最终得到保证的结论集,并给出了一个在多项式空间中计算它的算法,其复杂性上界等于$mathrm{P}^{mathrm{NP}}$。最后,我们提出了一个高效且可扩展的SAT编码算法实现方案,并在求解具有单一和多重偏好水平的不可行知识的测试集时进行了实验评估。