基于自动学习的逻辑推理机。程序…

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(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.

Autologic
Train
back
Project1my.bpr
Project1my.cpp
project1my.exe
Project1my.obj
Project1my.res
Project1my.tds
Stack1.cpp
Stack1.h
Stack1.obj
Unit1my.cpp
Unit1my.ddp
Unit1my.dfm
Unit1my.h
Unit1my.obj
Unit2my.cpp
Unit2my.ddp
Unit2my.dfm
Unit2my.h
Unit2my.obj
Unit3my.cpp
Unit3my.ddp
Unit3my.dfm
Unit3my.h
Unit3my.obj