消除混合推理系统中意外的稳定固定点
摘要：通过AFT（近似不动点理论）定义的逼近器可以表示各种非单调语义。使用传统的AFT理论，无法定义依赖于稳定修订的先前迭代中计算的信息的逼近器。然而，对于将经典否定融入非单调推理的语义来说，这些信息是丰富的。在这项工作中，我们介绍了一种类似AFT的方法论，它可以利用先前计算的上界更准确地捕捉语义。我们通过扩展最先进的逼近器，展示了我们框架对混合MKNF（最小知识和否定失败）知识库的适用性。
作者：Spencer Killen, Jia-Huai You
论文ID：2307.11286
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-24