an artificial neural network algorithm source code and demonstration program

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(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.

自组织系统Kohonen网络模型。对于Kohonen神经网络，竞争是这样进行的：对于“赢”的那个神经元c，在其周围Nc的区域内神经元在不同程度上得到兴奋，而在Nc以外的神经元都被抑制。网络的学习过程就是网络的连接权根据训练样本进行自适应、自组织的过程，经过一定次数的训练以后，网络能够把拓扑意义下相似的输入样本映射到相近的输出节点上。网络能够实现从输入到输出的非线性降维映射结构：它是受视网膜皮层的生物功能的启发而提出的。~..~-Kohonen network model. For Kohonen neural network, competition is this : For the "winner" of neurons c, in its switching around the region neurons in varying degrees, to be excited, and the switching outside the neurons were inhibited. Network learning is a process in the network connecting the right under the training samples for adaptive, self-organizing process, after a certain number of training, network topology can sense similar to the mapping of the input samples similar to the output nodes. Network can be achieved from input to output of nonlinear reduced-dimensional mapping structure : it is subject to retinal cortex of the biological function inspired by. ~ ~ ..

用VC++实现的，超级好用的8种神经网络源代码,超好用,超简洁 ，是我多年研究所得，已经全部测试过-With VC++ Realize, and eight kinds of super-to-use neural network source code,超好用, super-simple, is my research for many years, they have all been tested

有关摄像头定标的C++代码，标定摄像头的12个参数-Related to camera calibration C++ Code, camera calibration parameters 12

FaceRec 简单易懂的神经网络面部特征识别例子 [VB源码]-FaceRec simple neural network to identify examples of facial features [VB code]

神经网络的相关资料 神经网络的基础知识及其在MATLAB中的实现-matlab16neuro network

《游戏编程中的人工智能技术》一书中6，7章源代码- Game programming in artificial intelligence technology, one source book, Chapter 6,7

可以自动识别一个程序中调用的所有函数，并写入到 output.txt文件中。-can automatically identify a process called all functions, and write to output.txt document.

c语言编写的蚁群算法源程序，应用于TSP-c language source code of ant colony algorithm applied to TSP

isomap等规度映射，特征提取，机器学习-Isotacticity isomap mapping, feature extraction, machine learning