紧致逻辑程序
人工智能
2007-05-23 v1 计算机科学中的逻辑
摘要
本文涉及两种否定失败理论之间的关系——一种基于程序完成，另一种基于稳定模型（答案集）。Francois Fages 证明了，如果一个逻辑程序满足某种语法条件（现在称为“紧致性”），则其稳定模型可被其完成的模型所描述。我们扩展了紧致性的定义，并将 Fages 定理推广到包含规则体中嵌套表达式的程序，同时研究包含谓词传递闭包定义的紧致逻辑程序。
引用
@article{arxiv.cs/0302038,
title = {Tight Logic Programs},
author = {Esra Erdem and Vladimir Lifschitz},
journal= {arXiv preprint arXiv:cs/0302038},
year = {2007}
}
备注
To appear in Special Issue of the Theory and Practice of Logic Programming Journal on Answer Set Programming, 2003