自底向上的基于转换的推理模型计算
摘要：计算非不交的逻辑程序的良好基模的自底向上算法表达框架 摘要：我们提出了一个框架，用于表达计算非不交逻辑程序的良好基模的自底向上算法。我们的方法基于条件事实的概念和由Brass和Dix研究的用于不交程序的基本程序转换。然而，即使我们将他们的框架限制在非不交程序中，他们的剩余程序的大小可以呈指数增长，而对于无函数的程序，我们的程序剩余总是与外部数据库 (EDB) 的大小多项式相关。我们展示了特定排序的转换（我们称之为策略），它们对应于众所周知的计算方法，如交替不动点方法、良好基魔术集方法和魔术交替不动点过程。然而，由于我们计算规则的合流性，我们得出的良好基模的计算可证明要优于这些方法。与其他方法相比，我们的转换方法正确地处理了魔术集转换程序，即它总是计算原始程序的良好基模的相关部分。
作者：Stefan Brass, Juergen Dix, Burkhard Freitag, Ulrich Zukowski
论文ID：cs/0011013
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23