计算稳定模型：最坏情况性能估计
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
我们研究计算命题逻辑程序稳定模型的算法，并推导出其最坏情况性能的估计，这些估计在渐近意义上优于 O(m 2^n) 的平凡上界，其中 m 为输入程序的大小，n 为其原子数。例如，对于由最多两个文字（计入头部）组成的子句的程序，我们设计了一个在时间 O(m × 1.44225^n) 内计算稳定模型的算法。我们还针对几类更广泛的程序提出了类似结果。
引用
@article{arxiv.cs/0205013,
title = {Computing stable models: worst-case performance estimates},
author = {Zbigniew Lonc and Miroslaw Truszczynski},
journal= {arXiv preprint arXiv:cs/0205013},
year = {2007}
}
备注
Paper published in the Proceedings of the International Conference on Logic Programming, ICLP-2002