文件名称:dasazuopin
- 所属分类：
- Windows编程
- 资源属性：
- [Windows] [Visual C] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 4.32mb
- 下载次数：
- 0次
- 提 供 者：
- zhan*****
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
设计并实现一个较高效的推理系统,该系统能够对任意给定的公式集合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
........\.....\guijie(gai).ilk
........\.....\guijie(gai).obj
........\.....\guijie(gai).pch
........\.....\guijie(gai).pdb
........\.....\vc60.idb
........\.....\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
........\.....\StdAfx.sbr
........\.....\vc60.idb
........\.....\vc60.pdb
........\.....\智能编译系统.bsc
........\.....\智能编译系统.exe
........\.....\智能编译系统.ilk
........\.....\智能编译系统.obj
........\.....\智能编译系统.pch
........\.....\智能编译系统.pdb
........\.....\智能编译系统.res
........\.....\智能编译系统.sbr
........\.....\智能编译系统Dlg.obj
........\.....\智能编译系统Dlg.sbr
........\ReadMe.txt
........\res\智能编译系统.ico
........\...\智能编译系统.rc2
........\resource.h
........\StdAfx.cpp
........\StdAfx.h
........\智能编译系统.aps
........\智能编译系统.clw
........\智能编译系统.cpp
........\智能编译系统.dsp
........\智能编译系统.dsw
........\智能编译系统.h
........\智能编译系统.ncb
........\智能编译系统.opt
........\智能编译系统.plg
........\智能编译系统.rc
........\智能编译系统Dlg.cpp
........\智能编译系统Dlg.h
....核心\Debug
....界面\Debug
........\res
归结核心
归结界面
........\.....\guijie(gai).ilk
........\.....\guijie(gai).obj
........\.....\guijie(gai).pch
........\.....\guijie(gai).pdb
........\.....\vc60.idb
........\.....\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
........\.....\StdAfx.sbr
........\.....\vc60.idb
........\.....\vc60.pdb
........\.....\智能编译系统.bsc
........\.....\智能编译系统.exe
........\.....\智能编译系统.ilk
........\.....\智能编译系统.obj
........\.....\智能编译系统.pch
........\.....\智能编译系统.pdb
........\.....\智能编译系统.res
........\.....\智能编译系统.sbr
........\.....\智能编译系统Dlg.obj
........\.....\智能编译系统Dlg.sbr
........\ReadMe.txt
........\res\智能编译系统.ico
........\...\智能编译系统.rc2
........\resource.h
........\StdAfx.cpp
........\StdAfx.h
........\智能编译系统.aps
........\智能编译系统.clw
........\智能编译系统.cpp
........\智能编译系统.dsp
........\智能编译系统.dsw
........\智能编译系统.h
........\智能编译系统.ncb
........\智能编译系统.opt
........\智能编译系统.plg
........\智能编译系统.rc
........\智能编译系统Dlg.cpp
........\智能编译系统Dlg.h
....核心\Debug
....界面\Debug
........\res
归结核心
归结界面