文件名称:Autologic
介绍说明－－下载内容均来自于网络，请自行研究使用
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve the propositional logic of automatic reasoning. Put the problem to be solved as a proposition to prove, with the goal being negated formula and shape into a phrase and then added to the Proposition formula to concentrate, digestion system for joint inversion sets and derived an empty phrase (NIL), resulting in a contradiction.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
压缩包 : 738028autologic.rar 列表 Autologic\back\1 系统总体介绍.doc Autologic\back\5 字符映射和逆波兰变换.doc Autologic\back\6 逻辑蕴含.doc Autologic\back\7 逻辑求逆的消去处理.doc Autologic\back\9 归结反演.doc Autologic\back\SNAG-0000.jpg Autologic\back Autologic\Project1my.bpr Autologic\Project1my.cpp Autologic\project1my.exe Autologic\Project1my.obj Autologic\Project1my.res Autologic\Project1my.tds Autologic\Stack1.cpp Autologic\Stack1.h Autologic\Stack1.obj Autologic\Train\test1.txt Autologic\Train\test10.txt Autologic\Train\test2.txt Autologic\Train\test3.txt Autologic\Train\test4.txt Autologic\Train\test5.txt Autologic\Train\test6.txt Autologic\Train\test7.txt Autologic\Train\test8.txt Autologic\Train\test9.txt Autologic\Train Autologic\Unit1my.cpp Autologic\Unit1my.ddp Autologic\Unit1my.dfm Autologic\Unit1my.h Autologic\Unit1my.obj Autologic\Unit2my.cpp Autologic\Unit2my.ddp Autologic\Unit2my.dfm Autologic\Unit2my.h Autologic\Unit2my.obj Autologic\Unit3my.cpp Autologic\Unit3my.ddp Autologic\Unit3my.dfm Autologic\Unit3my.h Autologic\Unit3my.obj Autologic