登录
首页 » AI-NN-PR » Propositional logic in the inference rule can be used to prove that a propositio...

Propositional logic in the inference rule can be used to prove that a propositio...

于 2022-03-07 发布 文件大小:1.28 MB
0 179
下载积分: 2 下载次数: 1

代码说明:

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

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 遗传算法遗传算法(遗传算法),在专家系统中…
    遗传算法 遗传算法简称GA(Genetic Algorithm),在本质上是一种不依赖具体问题的直接搜索方法。遗传算法在模式识别、神经网络、图像处理、机器学习、工业优化控制、自适应控制、生物科学、社会科学等方面都得到应用。在人工智能研究中,现在人们认为“遗传算法、自适应系统、细胞自动机、混沌理论与人工智能一样,都是对今后十年的计算技术有重大影响的关键技术”。-Referred to as genetic algorithm genetic algorithm GA (Genetic Algorithm), in essence is a kind of do not rely on specific issues of direct search method. Genetic algorithm in pattern recognition, neural networks, image processing, machine learning, optimization of industrial control, adaptive control, biological sciences, social sciences and so on have been applied. Research in artificial intelligence, now that the " genetic algorithms, adaptive systems, cellular automata, chaos theory and artificial intelligence, are the next ten years of the computing technology have a major impact on the key technology."
    2022-01-26 03:20:14下载
    积分:1
  • Principles of Data Mining is a data mining inside another in this classic textbo...
    Principles of Data Mining是数据挖掘领域里面又一本经典的教材,呵呵,希望对大家有帮助-Principles of Data Mining is a data mining inside another in this classic textbook, Oh, you want to help
    2022-08-10 19:03:53下载
    积分:1
  • 一回
    一个反向传播算法的的原程序!值得一看,大家自己看看!-a back-propagation algorithm of the original program! An eye-catcher, we see for himself!
    2022-10-28 13:50:03下载
    积分:1
  • MILK 提供了一个实现和比较multi
    MILK 提供了一个实现和比较multi-instance学习算法的环境,基于weka机器学习系统(本站可以下载)-MILK provides a comparison and achieve multi-instance learning algorithm, based on machine learning system weka (site can be downloaded)
    2022-01-30 10:15:52下载
    积分:1
  • MATLAB neural network toolbox BP algorithm compares the length of their training...
    MATLAB神经网络工具箱BP算法的比较,比较它们的训练时间长短以所达到的效果-MATLAB neural network toolbox BP algorithm compares the length of their training time in order to achieve the effect of the so
    2022-07-25 01:24:20下载
    积分:1
  • 神经网络C程序的第10章
    神经网络C程序的第10章-neural network C procedures for the Chapter 10
    2022-02-03 07:24:07下载
    积分:1
  • ID3 algorithm to a certain extent self
    ID3算法有一定的自学习、自组织能力,适用于复杂系统的智能诊断。以实例验证了该算法对RH-KTB真空抽气系统故障诊断的有效性。-ID3 algorithm to a certain extent self-learning, self-organization, applied to a complex system of intelligent diagnosis. Examples to show that the algorithm of RH- KTB vacuum exhaust system fault diagnosis arrival.
    2023-04-24 21:50:03下载
    积分:1
  • 本文在学习探讨VSM算法的同时,对SVM在液压系统故障诊断中的应用进行了论述。以液压设备中常见的克令吊为研究对象,运用支持向量机理论对其进行故障诊断的仿真研究和...
    本文在学习探讨VSM算法的同时,对SVM在液压系统故障诊断中的应用进行了论述。以液压设备中常见的克令吊为研究对象,运用支持向量机理论对其进行故障诊断的仿真研究和实验研究,其中包括实验系统数学模型的设计、仿真模型的建立(用SIMUL工NK仿真软件建立仿真模型)、特征参数的提取、数据的采集等。-In this paper, VSM learning algorithm to explore the same time, SVM in the hydraulic system fault diagnosis are discussed. With hydraulic equipment in the common crane as the research object, using support vector machine theory of their fault diagnosis simulation and experimental studies, including a mathematical model experimental system design, simulation model (using SIMUL Engineering Simulation NK Software to build simulation models), the extraction of characteristic parameters, data collection and so on.
    2022-10-16 13:40:02下载
    积分:1
  • 可视化的手写(鼠标)字母数字神经网络训练程序。
    可视化的手写(鼠标)字母数字神经网络训练程序。-visulized neural network trainning programme。
    2022-09-05 18:55:03下载
    积分:1
  • 人脸识别:利用奇异值分解和KL变换的投影,是很有价值的一篇文章...
    人脸识别:利用奇异值分解和KL变换的投影,是很有价值的一篇文章-Face Recognition : The Singular Value Decomposition and KL transform projection, it is valuable to an article
    2022-02-13 20:51:35下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载