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.

Packet : 738028autologic.rar filelist
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

• We are an exchange download platform that only provides communication channels. The downloaded content comes from the internet. Except for download issues, please Google on your own.
• The downloaded content is provided for members to upload. If it unintentionally infringes on your copyright, please contact us.
• Please use Winrar for decompression tools
• If download fail, Try it againg or Feedback to us.
• If downloaded content did not match the introduction, Feedback to us，Confirm and will be refund.
• Before downloading, you can inquire through the uploaded person information

Nothing．