文件名称:dasazuopin
-
所属分类：
- 标签属性：
- 上传时间：2012-11-16
-
文件大小：4.32mb
-
已下载：0次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
设计并实现一个较高效的推理系统,该系统能够对任意给定的公式集合S和公式A,判断A是否属于Th(Cons(S)).并给出推理过程。
特性:
该系统能够对任意给定的公式集合S和公式C,判断该公式C是否是该公式集合S的合理结论，并能给出归结演绎的推理过程，使计算机在前提存在矛盾时仍能推理出合理结论。
-Design and implementation of a more efficient reasoning system, the system can be on any given formula set S and A formula, to determine whether A belongs to Th ( Cons ( S ) ) and gives the reasoning process.Characteristic.The system can be on any given formula set S and C formula, the formula C is whether the formula set S reasonable conclusions, and gives resolution deductive reasoning process, make the computer in the premise of existence contradiction still can deduce the reasonable conclusion.
特性:
该系统能够对任意给定的公式集合S和公式C,判断该公式C是否是该公式集合S的合理结论，并能给出归结演绎的推理过程，使计算机在前提存在矛盾时仍能推理出合理结论。
-Design and implementation of a more efficient reasoning system, the system can be on any given formula set S and A formula, to determine whether A belongs to Th ( Cons ( S ) ) and gives the reasoning process.Characteristic.The system can be on any given formula set S and C formula, the formula C is whether the formula set S reasonable conclusions, and gives resolution deductive reasoning process, make the computer in the premise of existence contradiction still can deduce the reasonable conclusion.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
归结核心/Debug/guijie(gai).exe
归结核心/Debug/guijie(gai).ilk
归结核心/Debug/guijie(gai).obj
归结核心/Debug/guijie(gai).pch
归结核心/Debug/guijie(gai).pdb
归结核心/Debug/vc60.idb
归结核心/Debug/vc60.pdb
归结核心/guijie(gai).cpp
归结核心/guijie(gai).dsp
归结核心/guijie(gai).dsw
归结核心/guijie(gai).ncb
归结核心/guijie(gai).opt
归结核心/guijie(gai).plg
12.作品简介表(模板).doc
11.竞赛作品报告(模板).doc
源码.docx
归结界面/Debug/StdAfx.obj
归结界面/Debug/StdAfx.sbr
归结界面/Debug/vc60.idb
归结界面/Debug/vc60.pdb
归结界面/Debug/智能编译系统.bsc
归结界面/Debug/智能编译系统.exe
归结界面/Debug/智能编译系统.ilk
归结界面/Debug/智能编译系统.obj
归结界面/Debug/智能编译系统.pch
归结界面/Debug/智能编译系统.pdb
归结界面/Debug/智能编译系统.res
归结界面/Debug/智能编译系统.sbr
归结界面/Debug/智能编译系统Dlg.obj
归结界面/Debug/智能编译系统Dlg.sbr
归结界面/ReadMe.txt
归结界面/res/智能编译系统.ico
归结界面/res/智能编译系统.rc2
归结界面/resource.h
归结界面/StdAfx.cpp
归结界面/StdAfx.h
归结界面/智能编译系统.aps
归结界面/智能编译系统.clw
归结界面/智能编译系统.cpp
归结界面/智能编译系统.dsp
归结界面/智能编译系统.dsw
归结界面/智能编译系统.h
归结界面/智能编译系统.ncb
归结界面/智能编译系统.opt
归结界面/智能编译系统.plg
归结界面/智能编译系统.rc
归结界面/智能编译系统Dlg.cpp
归结界面/智能编译系统Dlg.h
归结核心/Debug
归结界面/Debug
归结界面/res
归结核心
归结界面
归结核心/Debug/guijie(gai).ilk
归结核心/Debug/guijie(gai).obj
归结核心/Debug/guijie(gai).pch
归结核心/Debug/guijie(gai).pdb
归结核心/Debug/vc60.idb
归结核心/Debug/vc60.pdb
归结核心/guijie(gai).cpp
归结核心/guijie(gai).dsp
归结核心/guijie(gai).dsw
归结核心/guijie(gai).ncb
归结核心/guijie(gai).opt
归结核心/guijie(gai).plg
12.作品简介表(模板).doc
11.竞赛作品报告(模板).doc
源码.docx
归结界面/Debug/StdAfx.obj
归结界面/Debug/StdAfx.sbr
归结界面/Debug/vc60.idb
归结界面/Debug/vc60.pdb
归结界面/Debug/智能编译系统.bsc
归结界面/Debug/智能编译系统.exe
归结界面/Debug/智能编译系统.ilk
归结界面/Debug/智能编译系统.obj
归结界面/Debug/智能编译系统.pch
归结界面/Debug/智能编译系统.pdb
归结界面/Debug/智能编译系统.res
归结界面/Debug/智能编译系统.sbr
归结界面/Debug/智能编译系统Dlg.obj
归结界面/Debug/智能编译系统Dlg.sbr
归结界面/ReadMe.txt
归结界面/res/智能编译系统.ico
归结界面/res/智能编译系统.rc2
归结界面/resource.h
归结界面/StdAfx.cpp
归结界面/StdAfx.h
归结界面/智能编译系统.aps
归结界面/智能编译系统.clw
归结界面/智能编译系统.cpp
归结界面/智能编译系统.dsp
归结界面/智能编译系统.dsw
归结界面/智能编译系统.h
归结界面/智能编译系统.ncb
归结界面/智能编译系统.opt
归结界面/智能编译系统.plg
归结界面/智能编译系统.rc
归结界面/智能编译系统Dlg.cpp
归结界面/智能编译系统Dlg.h
归结核心/Debug
归结界面/Debug
归结界面/res
归结核心
归结界面
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.