|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 理论计算机科学 』 (http://bbs.xml.org.cn/list.asp?boardid=64) ---- 求助：逻辑编程logic programming (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=46983) |
|
-- 作者：tj-figo -- 发布时间：5/16/2007 5:10:00 PM -- 求助：逻辑编程logic programming 有没有搞logic programming方面的研究呀？能不能详细解释一下。看了一些，感觉和问题求解、定理证明差不多。谁能不能把他们详细的解说一下？ |
|
-- 作者：chzhuang -- 发布时间：6/2/2007 9:02:00 PM -- 转一篇本科毕业论文的摘要。 扩充逻辑程序及其应用 摘要：非单调推理是指在知识库中随着新知识的加入，可能删除已有知识或推翻先前所推出的结论。可以有多种方法实现非单调推理，本论文主要介绍了基于Negation-As-Failure（NAF）的扩充逻辑程序。本文首先介绍了一般逻辑程序和基础逻辑程序的语法和相关概念，然后在其上引入扩充逻辑程序。扩充逻辑程序引入了逻辑算子“not”，把闭世界假设语法化。接下来，本文介绍了扩充逻辑程序的回答集语义及其计算方法，并介绍了使用分离方法来提高回答集的计算效率。目前，已经有扩充逻辑程序的几种实现，本论文主要介绍了smodels系统。该系统由lparse和smodels两个模块组成，其中lparse主要对程序进行语法分析和实例化，生成的结果作为smodels的输入，smodels则完成核心算法求出满足程序要求的回答集。论文中介绍了smodel系统所使用的语法，并介绍了该系统的使用方法，最后以顶点着色问题演示了该系统。目前，对于扩充逻辑程序的研究及应用，是非单调推理研究的一个热点。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
62.500ms |