首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 基于自动学习的逻辑推理机。程序…

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

资 源 简 介

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

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
0.202657s