具有单调基数原子的逻辑程序
计算机科学中的逻辑
2007-05-23 v1
摘要
我们研究了 mca-programs，即由单调基数原子构建的子句的逻辑程序，单调基数原子形式为 kX，其中 k 为非负整数，X 为有限的命题原子集合。我们发展了 mca-programs 的理论。我们展示了单一步骤可达性算子在 mca-programs 中的操作概念可推广，但该推广涉及非确定性。我们的主要结果表明，mca-programs 的形式化是以下三个形式化的一个常见推广：(1) normal 逻辑程序及其模型、受支持模型和稳定模型语义，(2) 具有基数原子的逻辑程序及其稳定模型语义，如 Niemela、Simons 和 Soininen 所定义，(3) 具备 Sakama 和 Inoue 所述可能模型语义的矛盾逻辑程序。
引用
@article{arxiv.cs/0310063,
title = {Logic programs with monotone cardinality atoms},
author = {Victor W. Marek and Ilkka Niemela and Miroslaw Truszczynski},
journal= {arXiv preprint arXiv:cs/0310063},
year = {2007}
}
备注
Proceedings of LPNMR-03 (7th International Conference), LNCS, Springer Verlag