RP-DeLP公司 swMATH ID: 19192 软件作者： 阿尔西内特、特蕾莎；拉蒙贝加尔；戈多，Lluís；弗朗西斯科·吉塔特 描述： RP-DeLP：基于递归语义的加权可解论证框架。在本文中，我们通过形式化参数之间的集体（非二进制）冲突的概念，为一般可解逻辑论证框架中的保证公式提出了一种递归语义。保证公式的递归语义基于直觉，即如果一个参数被拒绝，那么在此基础上构建的其他参数也应该被拒绝。递归语义的主要特征是，知识库的输出（或扩展）是由一组保证公式和一组阻塞公式组成的一对。保证公式和阻止公式的参数都是基于保证公式递归的，但是，虽然保证公式不会产生任何集体冲突，但阻止的结论会产生集体冲突。既不保证也不阻止的公式对应于被拒绝的公式。然后，我们通过将优先级别附加到可取消的知识项，并通过提供保证公式和阻塞公式的分级定义来扩展框架。在我们考虑了可能性可避免逻辑编程（简称RP-DeLP）特定框架的保证递归语义之后。由于RP-DeLP程序可能有多个输出，我们将RP-DeLP-程序的{it最大理想输出}定义为最终得到保证的结论集，并给出了在多项式空间中计算它的算法，其复杂度上界等于\（mathrm{P}^{mathrm}NP}\）。最后，我们提出了一种使用SAT编码的高效且可扩展的算法实现，并在求解具有单一和多个可定义知识偏好级别的实例测试集时进行了实验评估。 主页： https://academic.oup.com/logcom/article-abstract/26/4/1315/2579281 关键词： 可废止推理；递归语义；集体冲突；理性假设；SAT编码；有效实施 相关软件： ProbLog（问题日志）；NLTK公司；编辑；dynPARTIX公司；ASPARTIX公司 引用于： 6文件 全部的 前5名20位作者引用 4 路易斯·戈多 2 特蕾莎·阿尔辛 2 拉蒙·贝加尔 1 Gianvincenzo阿尔法诺 1 约塞普·阿格利奇 1 马可·卡劳蒂 1 迪迪埃·杜布瓦 1 塞萨尔·费尔南德斯。 1 塞尔吉奥·格雷科 1 弗朗西斯科·吉塔特 1 López de Mántaras，拉蒙 1 卡勒斯，马特乌 1 弗朗西斯科·帕里西 1 乔迪，飞机 1 Enric广场 1 亨利·普拉德。 1 卡莱斯·塞拉 1 杰拉尔多·西马里。 1 胡安·卡洛斯·泰泽。 1 伊琳娜·特鲁比西纳 3篇连载文章中引用 三 国际近似推理杂志 1 人工智能 1 逻辑与计算杂志 在5个字段中引用 6 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文