计算良好语义问题

Zbigniew Lonc; Miroslaw Truszczynski

计算良好语义问题

计算机科学中的逻辑 2007-05-23 v1 人工智能数据结构与算法

作者: Zbigniew Lonc , Miroslaw Truszczynski

摘要

良好语义是逻辑程序否定语义中最受关注和使用的语义之一。在有限命题程序的情况下，可以在多项式时间内计算，具体为 O(|At(P)|size(P)) 步，其中 size(P) 表示逻辑程序 P 中原子出现的总数。这一界限是由 Van Gelder 提出的交替固定点算法实现的。改进交替固定点算法并不容易。本文研究了交替固定点方法的扩展和修改。随后我们将注意力限制在规则中对原子正出现次数不超过一个的程序类中。对于该类程序，我们提出了一种新的交替固定点方法实现，其中以自上而下的方式计算假原子。我们显示我们的算法比其他已知算法更快，并且对于广泛的一类程序是线性的，从而是渐近最优的。

关键词

良好语义交替固定点算法逻辑程序多项式时间自上而下计算

引用

@article{arxiv.cs/0101014,
  title  = {On the problem of computing the well-founded semantics},
  author = {Zbigniew Lonc and Miroslaw Truszczynski},
  journal= {arXiv preprint arXiv:cs/0101014},
  year   = {2007}
}

备注

19 pages, 4 figures, accepted for publication Theory and Practice of Logic Programming

计算良好语义问题

摘要

关键词

引用

备注

相关论文