计算非析取演绎数据库中仅最小的答案
摘要：计算合取推断数据库在合取稳定模型语义下的最小答案的方法给出。这样的答案通过反复扩展部分答案来构建。我们的方法是完备的（即可以计算出每个最小答案），并且不允许冗余（即每个生成的部分答案都可以扩展为最小答案），因此不会生成非最小答案。对于分层数据库，该方法不需要（必要地）计算数据库模型中的所有内容。编译被提议作为解决与计算效率和不存在合取稳定模型相关的问题的工具。我们还考虑将我们的方法扩展到其他语义中。
作者：C. A. Johnson
论文ID：cs/0305007
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23