Fages 定理与答案集程序设计
人工智能
2007-05-23 v1
摘要
我们推广了 Francois Fages 提出的一个定理，描述了带有否定失败的逻辑程序中完成语义与答案集语义之间的关系。研究这种关系对于答案集程序设计的兴起至关重要。当两种语义等价时，答案集可通过满意度求解器来计算，使用如 smodels 和 dlv 这样的答案集求解器就不再必要。讨论了因 Ilkka Niemelae 所著的积木世界逻辑程序表示作为一个例子。
引用
@article{arxiv.cs/0003042,
title = {Fages' Theorem and Answer Set Programming},
author = {Yuliya Babovich and Esra Erdem and Vladimir Lifschitz},
journal= {arXiv preprint arXiv:cs/0003042},
year = {2007}
}