bp neural network simulation, which is based on a three

利用神经网络解决控制论的问题.很好地阐述了这一问题的解决方法.-The use of neural networks to solve the problem of control theory. A very good description of the problem solution.

基于神经网络的字母识别系统 -Letters based on neural network recognition system

HTK系列的，参考资料，应该挺有用的，大家自己看看吧！-HTK Series, reference should be quite useless, we all see!

A*算法，用来寻路，非常有用的，我历尽千辛万苦才找到的-A* algorithm, used to find the way, very useful, I experienced a lot of hard work to find the

来自于www2.cs.uregina.ca的c4.5源码-from the Bank www2.cs.uregina.ca FOSS

这个程序是一个六子棋对弈引擎，采用六子棋标准对弈协议，在对弈平台下可以实现人机对弈或者程序间对弈。具有较好的棋力。-This procedure is a sub-six chess game engine, the use of six sub-standard chess game agreement, in the game platform can be achieved between man-machine chess game or program.棋力good.

遗传算法类文件生成，同系学长的作品，由于一个专业所以课题也十分类似-genetic algorithm types of documents generated, with the seniority system works, as a professional so very similar topic

RBF神经网络应用于IRIS数据集的例子-Am example of RBF-NN applied on IRIS Data Set

一个可自我学习的人工智能小模型，可进行训练，也可进行提问。 希望对大家研究人工智能算法上有帮助！-A small self-learning artificial intelligence model for training, but also ask questions. We hope that research on artificial intelligence algorithms help!

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