文件名称:Autologic
- 所属分类：
- 人工智能/神经网络/遗传算法
- 资源属性：
- [C/C++] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 509kb
- 下载次数：
- 0次
- 提 供 者：
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(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
.........\back
.........\....\1 系统总体介绍.doc
.........\....\5 字符映射和逆波兰变换.doc
.........\....\6 逻辑蕴含.doc
.........\....\7 逻辑求逆的消去处理.doc
.........\....\9 归结反演.doc
.........\Project1my.bpr
.........\Project1my.cpp
.........\project1my.exe
.........\Project1my.obj
.........\Project1my.res
.........\Project1my.tds
.........\Stack1.cpp
.........\Stack1.h
.........\Stack1.obj
.........\Train
.........\.....\test1.txt
.........\.....\test10.txt
.........\.....\test2.txt
.........\.....\test3.txt
.........\.....\test4.txt
.........\.....\test5.txt
.........\.....\test6.txt
.........\.....\test7.txt
.........\.....\test8.txt
.........\.....\test9.txt
.........\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
.........\back
.........\....\1 系统总体介绍.doc
.........\....\5 字符映射和逆波兰变换.doc
.........\....\6 逻辑蕴含.doc
.........\....\7 逻辑求逆的消去处理.doc
.........\....\9 归结反演.doc
.........\Project1my.bpr
.........\Project1my.cpp
.........\project1my.exe
.........\Project1my.obj
.........\Project1my.res
.........\Project1my.tds
.........\Stack1.cpp
.........\Stack1.h
.........\Stack1.obj
.........\Train
.........\.....\test1.txt
.........\.....\test10.txt
.........\.....\test2.txt
.........\.....\test3.txt
.........\.....\test4.txt
.........\.....\test5.txt
.........\.....\test6.txt
.........\.....\test7.txt
.........\.....\test8.txt
.........\.....\test9.txt
.........\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