德里斯

默认推理系统DeReS。在本文中,我们描述了一个自动推理系统,称为DeReS。DeReS通过支持几个基本的推理任务来实现Reiter的默认逻辑,例如测试扩展是否存在、查找一个或所有扩展(如果至少存在一个扩展)以及查询一个公式是否属于一个或所有扩展。如果一个输入理论是一个逻辑程序,DeReS计算该程序的稳定模型,并支持在某些或所有稳定模型中查询原子的成员资格。本文叙述了我们用DeReS进行的初步实验,并对结果进行了讨论。我们证明了命题证明器的选择对DeReS的效率是至关重要的。我们还提出了一种通用的技术,它消除了一些全局一致性检查的需要,并导致了显著的加速。我们通过实验证明了分层的概念在使自动推理系统实用化方面的潜力。

zbMATH参考文献(参考

显示结果1到3,共3个。
按年份排序(引用)

  1. 卡萨诺,瓦伦丁;费瓦里,劳尔;霍夫曼,纪尧姆;阿雷斯,卡洛斯;卡斯特罗,帕布罗F.:默认直觉逻辑的表格演算(2019)
  2. 乔治戈特洛布;利昂,尼古拉;斯卡略,弗朗西斯科:关于一些归纳逻辑程序设计问题的复杂性。(1999年)ioport公司
  3. 乔治戈特洛布;利昂,尼古拉;斯卡略,弗朗西斯科:关于一些归纳逻辑程序设计问题的复杂性。(1999年)ioport公司