单调抽象约束原子的逻辑程序
人工智能
2007-05-23 v1 计算机科学中的逻辑
摘要
我们引入并研究由单调约束原子构成的逻辑程序。我们指出，单步可达性算子（one-step provability operator）的运算概念可推广到包含单调约束原子的程序中，但该推广涉及非确定性。我们的主要结果表明，本形式化是以下三个范畴的共同泛化：（1）正常逻辑编程及其模型、受支持模型和稳态模型语义；（2）带权约束原子的逻辑编程（lparse 程序），其稳态模型语义由Niemela、Simons和Soininen 定义；（3）具有Sakama和Inoue 可能模型语义的矛盾逻辑编程。
引用
@article{arxiv.cs/0608103,
title = {Logic programs with monotone abstract constraint atoms},
author = {V. W. Marek and I. Niemela and M. Truszczynski]},
journal= {arXiv preprint arXiv:cs/0608103},
year = {2007}
}
备注
33 pages