不动点补全的推论：利用Clark补全研究稳定语义
人工智能
2007-05-23 v1 计算机科学中的逻辑
摘要
正则逻辑程序P的不动点补全fix(P)是一种程序转换，使得P的稳定模型恰好是fix(P)的Clark补全的模型。这是众所周知的，并由Dung和Kanchanasut（1989）进行了研究。然而，这种对应关系远不止于此：如Wendt（2002）所示，P的Gelfond-Lifschitz算子与fix(P)的直接推论算子相一致，甚至可以推广到用于刻画良基语义和Kripke-Kleene语义的标准算子。我们将把这一知识应用于稳定语义的研究，这将使我们能够几乎毫不费力地推导出关于不动点和基于度量的语义以及神经符号集成的新结果。
引用
@article{arxiv.cs/0402013,
title = {Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion},
author = {Pascal Hitzler},
journal= {arXiv preprint arXiv:cs/0402013},
year = {2007}
}
备注
15 pages. Presented at the 18th Workshop on Logic Programming, Potsdam, Germany, March 2004