用matlab语言编写的,该程序名为模拟退火算法m 源程序

可拓学的专家系统,基于B/S结构,动态,网络专家系统.-Extenics expert system, based on B/S structure, dynamics, network expert system.

On the splitting method for VQ codebook generation by using Matlab

分类器的设计，包括knn方法和BP的方法。对一系列样本点进行分类-Classifier design, including methods and BP KNN method. On a series of sample points to classify

基于Web页面的人工智能控件例证 [VB源码]-Web page based on the example of artificial intelligence control [VB code]

matlab 模拟退火算法simulated anealing 的工具箱-Matlab simulated annealing simulated anealing the Toolbox

经典的SOM人工神经网络例子源码.zip 经典的SOM人工神经网络例子源码.zip-classic example of artificial neural network source. Zip SOM classic example of artificial neural network source. Zip

使用C#编程语言开发，并在中实现。NET框架下的is学习

经典的人工智能问题 - iris数据分析问题。通过设计三层bp神经网络对花朵数据进行分类识别，并达到了很好的效果。-classic AI problem- iris data analysis problems. Three-bp through the design of neural networks classify data flower identification, and to achieve good results.

命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。 -Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization. Because the rules did not specify what steps in the derivation of what should be the introduction of the premise or intermediate conclusions, which also depends on the person s experience of the skills and talent. Wang Hao in 1960 proposed algorithm can be completely divorced from the person s experience and skills, a mechanical structure is derived for each step to prove that a propositional logic theorem establishment.

线性M3网络及其示意图，用于检测M3网络冗余的算法-err