-
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
-
Robot design, has three joints and two arms, a common U.S.
机械手臂的设计,有三个关节和两个手臂,大家共同-Robot design, has three joints and two arms, a common U.S.
- 2022-08-22 17:01:43下载
- 积分:1
-
一份中科院开发的语义分析源码,可编译运行。里面的代码都很完整,注释也清晰,是研究语义语法分析的必不可少的学习工程。...
一份中科院开发的语义分析源码,可编译运行。里面的代码都很完整,注释也清晰,是研究语义语法分析的必不可少的学习工程。-A semantic analysis of source code developed by Chinese Academy of Sciences, can be compiled to run. The code inside the very integrity of annotations is also clear, is to study the semantic parsing essential to study engineering.
- 2022-12-04 01:50:04下载
- 积分:1
-
LIBSVM源码。LIBSVM 是台湾大学林智仁(Chih
LIBSVM源码。LIBSVM 是台湾大学林智仁(Chih-Jen Lin)博士等开发设计的一个操作简单、
易于使用、快速有效的通用SVM 软件包,可以解决分类问题(包括C- SVC、
n - SVC )、回归问题(包括e - SVR、n - SVR )以及分布估计(one-class-SVM )
等问题,提供了线性、多项式、径向基和S形函数四种常用的核函数供选择,可以有效地解决多类问题、交叉验证选择参数、对不平衡样本加权、多类问题的概率估计等。-LIBSVM source. LIBSVM is林智仁Taiwan University (Chih-Jen Lin) Dr. develop design a simple, easy to use, fast and effective generic SVM software package, can solve the classification problems (including the C-SVC, n- SVC), regression ( including e- SVR, n- SVR) as well as the distribution of estimates (one-class-SVM) and so on, provides a linear, polynomial, radial basis function and the S-shaped kernel function of four commonly used for selection, can effectively to solve a wide range of issues, cross-validation to choose the parameters of the imbalance in the weighted sample, multi-category probability estimation.
- 2022-10-06 04:35:03下载
- 积分:1
-
神经网络与免疫算法的结合,用matlab编程实现小功能
神经网络与免疫算法的结合,用matlab编程实现小功能-Neural network with a combination of immune algorithm with a small functional programming matlab
- 2023-05-07 05:45:03下载
- 积分:1
-
麻省理工大学遗传算法
麻省理工大学遗传算法 -Massachusetts Institute of Technology Massachusetts Institute of Technology genetic algorithm genetic algorithm
- 2023-05-01 05:55:03下载
- 积分:1
-
移动机器人运动学mathematica程序
移动机器人运动学mathematica程序-Mobile robot kinematics mathematica program
- 2022-05-07 19:40:57下载
- 积分:1
-
遗传算法MATLB图像分割程序及例子,希望对大家有用
遗传算法MATLB图像分割程序及例子,希望对大家有用-GA MATLB procedures, there are genetic algorithm selection, crossover and mutation function, some simple examples MABTLAB GA!
- 2023-02-10 22:35:03下载
- 积分:1
-
包括883分酒问题,图的遍历等人工智能基本算法
包括883分酒问题,图的遍历等人工智能基本算法-Including 883 hours of liquor problem, artificial intelligence, such as graph traversal algorithm
- 2023-05-28 05:25:02下载
- 积分:1
-
隐马尔科夫模型工具箱windows可执行版本,可以广泛应用于识别等领域...
隐马尔科夫模型工具箱windows可执行版本,可以广泛应用于识别等领域-HMM Toolbox windows executable version can be widely applied in areas such as identification
- 2022-09-23 14:05:03下载
- 积分:1