Jilin University, "Computational Intelligence" Curriculum courseware

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

A星算法+强启发函数解八数码问题，自带判断是否有解-A Star Algorithm+ strong heuristic function solution of 8 digital issues, bring their own to determine whether the broken

加了注释的c代码（complexNetwork）源代码，下载后就可以直接使用-Added a comment c code (complexNetwork) source code, downloads can be used directly after

pso优化bp神经网络的程序,是师兄论文里的程序,希望对大家有用!-PSO bp neural network optimization procedure is the senior thesis in the process, I hope useful for all of us!

麻省理工开发的免费遗传算法类库GAlib,很好用，我用它实现过一些具体问题的遗传算法。- Hemp province technical development free heredity algorithm class storehouse GAlib, is very easy to use, I use it to realize some concrete questions heredity algorithms.

c语言实现人工智能art1网络的算法实现 -c language art1 network artificial intelligence algorithms

利用动量梯度下降算法训练BP网络，得到误差显示图，并最终进行预测-Gradient descent algorithm using momentum BP network training, the error display map, and, ultimately, to predict

基于EKF的机器人SLAM演示程序, 对于搞机器人定位及地图构建的朋友会有一定帮助, 这个版本用的人比较多-EKF-based SLAM demo of the robot, the robot carry out positioning and mapping will have a certain friend to help, this version used by many people

实现了二维数据的K均值算法以及ISODATA分类算法-Achieve a two-dimensional data, as well as K-means algorithm ISODATA classification algorithm

这里有一个用vc写的人工智能八数码源代码，，非常有参考价值，感兴趣的或者是需要的人可以来下载哦~-Here is a use of artificial intelligence was vc eight digital source code, and very useful, or is interested in need can be downloaded from Oh!