命题理论与逻辑程序强等价
人工智能
2007-05-23 v1 计算机科学中的逻辑
摘要
本文提出了命题理论在回答集语义（对于这种一般语法称为平衡逻辑）下的一个性质：任何理论总是可以重新表示为一个强等价的析取逻辑程序，其头部可能带有否定。我们为这一结果提供了两种不同的证明：一种涉及语法转换，另一种是从 here-and-there 中间逻辑中理论的反模型出发构造一个程序。
引用
@article{arxiv.cs/0701095,
title = {Propositional theories are strongly equivalent to logic programs},
author = {Pedro Cabalar and Paolo Ferraris},
journal= {arXiv preprint arXiv:cs/0701095},
year = {2007}
}
备注
15 pages