文件名称：命题逻辑系统的自动推理
文件大小：7.07MB
文件格式：RAR
更新时间：2012-01-10 20:44:03
逻辑推理
本程序用归结反演策略实现了命题逻辑系统的自动推理 归结方法的基本算法很简单，每次从子句集中选择两个可进行归结的子句，求它们的归结式，如果归结式为NIL，则算法结束，结论得证。如果归结式不为空，则将该归结式加入到子句集中，继续以上过程。
【文件预览】：
Autologic
----Autologic()
--------Project1my.cpp(1KB)
--------Project1my.res(876B)
--------Stack1.cpp(235B)
--------Unit3my.cpp(3KB)
--------Unit3my.ddp(51B)
--------Unit2my.ddp(51B)
--------Project1my.obj(15KB)
--------Debug_Build()
--------Project1my.tds(9.5MB)
--------Project1my.map(246B)
--------Project1my.dsw(528B)
--------Unit1my.obj(141KB)
--------Release_Build()
--------Unit2my.cpp(8KB)
--------Unit3my.h(944B)
--------Debug()
--------Unit1my.h(7KB)
--------Unit3my.dfm(702B)
--------Project1my.bpr(4KB)
--------Project1my.cbproj(14KB)
--------Project1my.opt(48KB)
--------Unit2my.dfm(1KB)
--------Unit3my.obj(38KB)
--------Unit2my.h(6KB)
--------Unit1my.dfm(10KB)
--------Stack1.obj(14KB)
--------Project1my.cbproj.local(62B)
--------Project1my.plg(2KB)
--------Unit2my.obj(55KB)
--------Project1my.dsp(3KB)
--------Project1my.ncb(33KB)
--------back()
--------Unit1my.cpp(21KB)
--------Unit1my.ddp(51B)
--------project1my.exe(568KB)
--------Stack1.h(920B)
--------Train()