特蕾莎·阿尔辛;拉蒙·贝加尔;路易斯·戈多;弗朗西斯科·吉塔特 RP-DeLP:基于递归语义的加权可解论证框架。 (英语) 兹比尔1354.68243 J.日志。计算。 26,第4期,1315-1360(2016). 摘要:在本文中,我们通过形式化参数之间的集体(非二进制)冲突的概念,为一般可解逻辑论证框架中的保证公式提出了递归语义。保证公式的递归语义基于直觉,即如果一个参数被拒绝,那么在此基础上构建的其他参数也应该被拒绝。递归语义的主要特征是,知识库的输出(或扩展)是由一组保证公式和一组阻塞公式组成的一对。保证公式和阻止公式的参数都是基于保证公式递归的,但是,虽然保证公式不会产生任何集体冲突,但阻止的结论会产生集体冲突。既不保证也不阻止的公式对应于被拒绝的公式。然后,我们通过将优先级别附加到可取消的知识项,并通过提供保证公式和阻塞公式的分级定义来扩展框架。在我们考虑了可能性可避免逻辑编程(简称RP-DeLP)特定框架的保证递归语义之后。由于RP-DeLP程序可能有多个输出,我们定义了最大理想输出我们给出了一个在多项式空间中计算RP-DeLP程序的算法,其复杂度上界等于(mathrm{P}^{mathrm}NP}})。最后,我们提出了一种使用SAT编码的高效且可扩展的算法实现,并在求解具有单一和多个可定义知识偏好级别的实例测试集时进行了实验评估。 引用于6文件 MSC公司: 68T27型 人工智能中的逻辑 关键词:可废止推理;递归语义;集体冲突;理性假设;SAT编码;有效实施 软件:RP-DeLP公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Alsinet}等人,J.Log。计算。26,第4号,1315--1360(2016;Zbl 1354.68243) 全文: 内政部 链接