-
基于自动学习的逻辑推理机。程序…
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(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.
- 2022-12-19 10:50:03下载
- 积分:1
-
neural network algorithm original program content in more detail. We hope to dis...
神经网络算法原程序内容较详细。希望大家仔细讨论这个问题。-neural network algorithm original program content in more detail. We hope to discuss this issue carefully.
- 2022-12-08 04:05:02下载
- 积分:1
-
他对包是一个UNIX下的C程序
he AutoMix package is a C program for Unix-like systems, implementing
the automatic reversible jump MCMC sampler of the same name
described in Chapters 4, 5, and 6 of David Hastie s Ph.D. thesis-he AutoMix package is a C program for Unix-l ike systems, implementing the automatic reversible jump MC MC sampler of the same name described in Chapter s 4, 5, and 6 of David Hastie"s Ph.D. thesis
- 2022-07-10 22:15:02下载
- 积分:1
-
自己汇总了几个关于rbf的源程序,用于初学者学习
自己汇总了几个关于rbf的源程序,用于初学者学习-Own summary of a few on the rbf source for beginners to learn
- 2023-07-03 06:20:03下载
- 积分:1
-
The package focuses on the genetic algorithm. In this paper, genetic algorithm i...
该程序包主要讲述了遗传算法。文中的遗传算法是由C语言所编出来的。能够达到很好的优化效果。-The package focuses on the genetic algorithm. In this paper, genetic algorithm is made by the C language out. Optimized to achieve good effect.
- 2022-02-07 02:51:16下载
- 积分:1
-
Fisher判别,用于模式识别的Fisher线性判别
Fisher判别,用于模式识别的Fisher线性判别-Fisher Discriminant for pattern recognition Fisher Linear Discriminant
- 2022-07-16 07:10:59下载
- 积分:1
-
遗传算法在MATLAB环境中的实现.rar
遗传算法在MATLAB环境中的实现.rar-genetic algorithm in MATLAB environment is achieved. Rar
- 2022-05-17 22:28:19下载
- 积分:1
-
神经网络PID混合控制源可以很好的解决了非线性…
神经网络与pid混合控制源程序,可以很好的解决非线性控制问题-Neural network and hybrid control pid source can be a very good solution to nonlinear control problems
- 2022-04-21 16:15:24下载
- 积分:1
-
是一个优秀的语义个人发布平台,主要集中于美学,Web标准和可用性。它支持多用户...
是一个优秀的语义个人发布平台,主要集中于美学,Web标准和可用性。它支持多用户-is an outstanding semantic personal publishing platform, focused mainly on aesthetics, Web standards and availability. It supports multi-user
- 2023-06-05 06:40:03下载
- 积分:1
-
支持向量机的好程序,强大的推荐,太长,没有办法,三。
大牛的神经网络支持向量机代码, 强烈推荐,实在太多,没办法,第三部分-The good program of SVM,Strong recommendation ,too long,no way,part three.
- 2022-01-25 15:44:43下载
- 积分:1