Smodels：答案集编程系统
人工智能
2007-05-23 v1
摘要
Smodels系统实现了正常逻辑程序的稳定模型语义。它处理包含无函数符号且受限于特定域的程序子类，但支持包括内置函数以及基数和权重约束的扩展。在此核心引擎之上可以构建更复杂的系统。例如，我们实现了针对争议逻辑程序的总体和部分稳定模型计算。一种有趣的应用方法基于答案集编程，即将应用程序问题编码为规则集合，以便其解决方案由规则的稳定模型捕获。Smodels已被应用于多个领域，包括规划、模型检查、可达性分析、产品配置、动态约束满足和功能交互。
引用
@article{arxiv.cs/0003033,
title = {Smodels: A System for Answer Set Programming},
author = {Ilkka Niemela and Patrik Simons and Tommi Syrjanen},
journal= {arXiv preprint arXiv:cs/0003033},
year = {2007}
}
备注
Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorado 4 pages, uses aaai.sty