非单调逻辑程序开发环境
An Environment for the Exploration of Non Monotonic Logic Programs
摘要：
稳定模型语义和良好基础语义已经被证明是非常有用的几个应用程序的非单调推理。然而，稳定模型呈现高计算复杂性，而良好基础语义易于计算并且提供稳定模型的近似。对于逻辑程序的两种语义都存在有效的引擎。这项工作提出了两个这样的系统，即XSB和SMODELS的计算集成。由此产生的系统被称为XNMR，并提供了一个交互式的系统，用于探索这两种语义。模块化等方面可以利用，以方便调试大型知识库与通常的Prolog调试技术和交互式环境。此外，使用完整的Prolog系统作为Stable Models引擎的前端，增强了此类系统通常接受的语言。
英文摘要：
Stable Model Semantics and Well Founded Semantics have been shown to be very useful in several applications of non-monotonic reasoning. However, Stable Models presents a high computational complexity, whereas Well Founded Semantics is easy to compute and provides an approximation of Stable Models. Efficient engines exist for both semantics of logic programs. This work presents a computational integration of two of such systems, namely XSB and SMODELS. The resulting system is called XNMR, and provides an interactive system for the exploration of both semantics. Aspects such as modularity can be exploited in order to ease debugging of large knowledge bases with the usual Prolog debugging techniques and an interactive environment. Besides, the use of a full Prolog system as a front-end to a Stable Models engine augments the language usually accepted by such systems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
