文件名称:Autologic
-
所属分类：
- 标签属性：
- 上传时间：2008-10-13
-
文件大小：509.63kb
-
已下载：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
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
www.dssz.com.txt
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
www.dssz.com.txt
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.