这是一个用于数据挖掘的常用算法的模板库（数据挖掘的C++模板库for UNIX)...

命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。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.

人工智能神经网络识别 人工智能神经网络识别-Artificial neural network artificial neural network to identify

经典的BPN人工神经网络例子源码 ，很经典的-BPN classic examples of artificial neural network source code, it is classic

数据挖掘中很不错的源码,一个chc算法的java源程序,有极好的可读性-data mining is a good source, a chc algorithm java source files, has an excellent readability

本程序能实现专家PID控制。专家控制的实质是基于受控对象和控制规律的各种知识，并以智能的方式利用这些知识来设计控制器。-the procedures to achieve expert PID control. Experts control of the controlled substance is based on the object and control the various law knowledge, and the intelligent use of this knowledge to design controller.

非常经典的遗传算法工具包，C语言版本的。包括各种常用算法-very classic genetic algorithm tool kit version of the C language. Including common algorithms

在数字信号处理中实现相关的能够人工智能滤波的功能-To artificial intelligence filtering

基于梯度法编写的RBF神经网络程序，实现对输入数据的逼近-Gradient method based on the preparation process of the RBF neural network to achieve the approximation of the input data

基于c语言的人工免疫算法的源程序，PDF格式的，内容详尽，欢迎下载。-C 基 party knife 的人工免 La疫Ju 法的 are 程 Saitama, PDF 格 driving 的, 内容 circle 尽, 欢 short Gou tong.

基于CPN人工神经网络的例子，供大家交流-CPN-based artificial neural network example, for U.S. exchanges