-
Propositional logic in the inference rule can be used to prove that a propositio...
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。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.
- 2022-03-07 22:04:02下载
- 积分：1
-
游戏编程AI源码，包括A*等findpath的算法
游戏编程AI源码，包括A*等findpath的算法-AI game programming source code, including the A* algorithm, such as findpath
- 2022-10-18 13:35:04下载
- 积分：1
-
brief description : Based on the c language artificial immune source, the append...
简要说明:基于c语言人工免疫源程序，附录在PDF文件中，与大家共享 -brief description : Based on the c language artificial immune source, the appendix in PDF files, and share
- 2022-05-29 06:47:10下载
- 积分：1
-
Decision Tree C45Rule
决策树
C45Rule-PANE算法
解决了决策的问题,是从QUILAN算法修改而成-Decision Tree C45Rule- PANE algorithm to solve the problem of decision-making, from QUILAN algorithm revisions
- 2022-01-25 23:34:10下载
- 积分：1
-
HOPFILED This is a neural network program, which has MAKEFILE easy operation
这是一个HOPFIELD神经网络程序，里面有MAKEFILE，方便读者运行-HOPFILED This is a neural network program, which has MAKEFILE easy operation
- 2022-02-05 03:09:00下载
- 积分：1
-
Adaline（用VC编写的神经网络）
ADALINE(神经网络 vc＋＋编写的)-ADALINE (neural networks, prepared by vc )
- 2022-07-28 14:37:09下载
- 积分：1
-
蚂蚁算法，c语言版，其中，‘F’点表示食物，‘H’表示窝，白色块表示障碍物，‘+’就是蚂蚁了。...
蚂蚁算法，c语言版，其中，‘F’点表示食物，‘H’表示窝，白色块表示障碍物，‘+’就是蚂蚁了。-Ant algorithm, c language version, of which,
- 2022-03-03 18:03:43下载
- 积分：1
-
- 2022-02-06 11:12:38下载
- 积分：1
-
BPMLL is a package for training multi
BPMLL is a package for training multi-label BP neural networks. The package includes the MATLAB code of the algorithm BP-MLL, which is designed to deal with multi-label learning. It is in particular useful when a real-world object is associated with multiple labels simultaneously
- 2022-03-31 04:07:36下载
- 积分：1
-
本程序是使用APRIORI算法搜索相关联的项目，在搜索前需要用户先对项目的个数和最低支持度进行设置，然后程序就会在指定的项目是找出满足最低支持度的相关联的频繁项...
本程序是使用APRIORI算法搜索相关联的项目，在搜索前需要用户先对项目的个数和最低支持度进行设置，然后程序就会在指定的项目是找出满足最低支持度的相关联的频繁项目集-This procedure is to use search algorithms APRIORI associated projects, the needs of users in the search before the first number of the project and set the minimum degree of support, and then the procedure will be in the designated project is to identify a minimum degree of support to meet the frequently associated itemsets
- 2022-01-31 15:32:31下载
- 积分：1
