Description: 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.
To Search:
File list (Check if you may need any files):
归结核心\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
归结核心
归结界面
Download