-
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
-
用C撰写遗传基因法
用C撰写遗传基因法-C genes written law
- 2022-07-17 16:11:58下载
- 积分:1
-
有关遗传算法的源码
有关遗传算法的源码-the genetic algorithm source code
- 2022-07-25 23:43:21下载
- 积分:1
-
一个用c++builder实现的神经网络算法的程序
一个用c++builder实现的神经网络算法的程序-c builder with a realization of the neural network algorithm for the procedure
- 2022-12-17 21:40:03下载
- 积分:1
-
一个可自我学习的人工智能小模型,可进行训练,也可进行提问...
一个可自我学习的人工智能小模型,可进行训练,也可进行提问-a self-learning artificial intelligence small, and can be used for training, may also question
- 2023-09-07 10:40:03下载
- 积分:1
-
GEP(基因表达式程序设计)是一种新的演化算法,该文件是基本的GEP编程,采用功能的封装格式,测试通过,能够方便的使用。...
GEP(基因表达式程序设计)是一种新的演化算法,该文件是基本的GEP编程,采用功能的封装格式,测试通过,能够方便的使用。-GEP (Gene Expression Program Design) is a new evolutionary algorithm, which is the basic GEP programming, functional package format, through testing, to facilitate their use.
- 2022-11-11 00:30:03下载
- 积分:1
-
一种新的ica算法,主要是应用与盲分离算法,大家可以
一种新的ica算法,主要是应用与盲分离算法,大家可以-ica a new algorithm, and are primarily used to blind separation algorithm, we can s
- 2023-05-26 11:35:03下载
- 积分:1
-
This is a neural network algorithm important, quite meaningless.
这是神经网络中一个重要的算法,挺有意义的。-This is a neural network algorithm important, quite meaningless.
- 2022-02-21 03:22:48下载
- 积分:1
-
BP network to solve XOR problem instance, there are initial values and final res...
BP网络解决异或问题的实例,有初始值和最终结果的显示。本网络结构为三层BP网络,各层神经元个数可变,更改相关#define即可。(注释较详细,主函数中调用的函数和矩阵类都定义在文件function.h中)-BP network to solve XOR problem instance, there are initial values and final results are displayed. The BP network structure for the three-tier network of neurons in the number of floors variable, change the relevant# Define you. (Note more detailed, the main function calls the function and matrices are defined in the document in function.h)
- 2023-09-09 13:25:03下载
- 积分:1
-
我自己编写的A*搜索算法,效率还是很不错的,推荐。
我自己编写的A*搜索算法,效率还是很不错的,推荐。-myself prepared by the A* search algorithm, the efficiency is still very good and recommended.
- 2022-08-21 23:11:33下载
- 积分:1