-
学习protege的教程(开源软件设计的本体论)
tutorials for learning protege(open source softwar to design the ontology)
- 2022-02-24 22:45:11下载
- 积分:1
-
遗传算法解H病态方程组
遗传算法解H病态方程组-Genetic Algorithm for CSM Group H
- 2022-08-24 17:29:22下载
- 积分:1
-
遗传算法,实现的是一个猜答案的过程,
这种算法比较经典,可以借鉴...
遗传算法,实现的是一个猜答案的过程,
这种算法比较经典,可以借鉴-genetic algorithm to achieve guess the answer is a process, this method is classic, we can draw on
- 2023-03-20 18:05:04下载
- 积分:1
-
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
-
英国Sheffield大学遗传算法函数包,可节省遗传算法函数开发
英国Sheffield大学遗传算法函数包,可节省遗传算法函数开发-Sheffield University United Kingdom function genetic algorithm package, can save the development of genetic algorithm function
- 2022-11-20 21:45:03下载
- 积分:1
-
一个非常玄的选择颜色的例子,颜色选择通过三维立体显示,不可多得...
一个非常玄的选择颜色的例子,颜色选择通过三维立体显示,不可多得-A very mysterious example of the choice of color, color selection by three-dimensional stereoscopic display, a rare
- 2023-06-24 23:25:03下载
- 积分:1
-
针对著名的UCI机器学习数据库中的iris data的kmeans聚类分析程序,具有代表性...
针对著名的UCI机器学习数据库中的iris data的kmeans聚类分析程序,具有代表性-For the well-known UCI machine learning repository of the iris data of kmeans cluster analysis procedure, a representative
- 2023-04-21 07:25:04下载
- 积分:1
-
在vc上运行的回答集求解器源代码,能够供在人工智能上学习的学习者使用...
在vc上运行的回答集求解器源代码,能够供在人工智能上学习的学习者使用-Running in vc answer set solver source code, for use in artificial intelligence to learn the use of the learners
- 2023-04-10 18:25:03下载
- 积分:1
-
机器人足球实现的核心代码
机器人足球实现的核心代码-Robot Soccer realize the core code
- 2022-03-18 02:51:21下载
- 积分:1
-
本程序代码是人工智能中九宫搜索的解决 采用Java语言
本程序代码是人工智能中九宫搜索的解决 采用Java语言-the code is AI JiuGongTu search solutions using Java language
- 2023-04-21 14:20:02下载
- 积分:1