用更具表达力的规则扩展稳定模型语义
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
与命题逻辑程序及稳定模型语义相关的规则表达力不足，无法让人写出简洁的程序。通过引入一些新型命题规则缓解了这一问题。结合已被用作高效实现基础的决策过程，新规则在实际的稳定模型语义应用中取代了标准规则。
引用
@article{arxiv.cs/9908004,
title = {Extending the Stable Model Semantics with More Expressive Rules},
author = {Patrik Simons},
journal= {arXiv preprint arXiv:cs/9908004},
year = {2007}
}
备注
18 pages, a shortened version will be published in the proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99)