Location:
Search - predicate logic
Search list
Description: 人工智能专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图-artificial intelligence robot seminars, genetic algorithm, the state space and predicate logic, the problem state chart
Platform: |
Size: 511684 |
Author: wchz |
Hits:
Description: 人工智能专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图-artificial intelligence robot seminars, genetic algorithm, the state space and predicate logic, the problem state chart
Platform: |
Size: 510976 |
Author: wchz |
Hits:
Description: 一阶谓词逻辑，详细讲述一阶谓词逻辑，是现在语义网semanticweb的基础-First order predicate logic, to describe in detail the first order predicate logic, is now the basis of semantic web semanticweb
Platform: |
Size: 510976 |
Author: tf |
Hits:
Description: 本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图的基本概念、树、欧拉图和哈密顿图、平面图、图着色、赋权图、二部图等。
通过本课程的学习，使应考者有抽象思维和逻辑推理能力，掌握计算机科学技术常用的离散数学中的概念、性质和运算。
自学教材：<<离散数学>>(全国考委组编)
左孝凌 主编 经济科学出版社
参考用书 ：<<离散数学>> 左孝凌等编 上海科技出版社 1982 -he major curriculum centered (independent undergraduate paragraph) of a major foundation courses. Curriculum content are: propositional logic and first order predicate logic the basic concepts and basic calculus collection of concepts and computation, binary relations and functions algebraic operations and the basic properties of algebraic systems, semi-groups and groups, teams and domain, grid and Boolean algebra map the basic concepts, trees, Euler and Hamiltonian graph map, plan, map coloring, weighted graph, etc. Figure 2.
Through the study of the curriculum so that candidates have abstract thinking and logical reasoning ability, computer science and technology have often used the concept of discrete mathematics, nature, and computing.
Self-study materials: <<Discrete Mathematics>> (全国考委Unit)
ZUO Xiao-Ling Economic Science Press editor-in-chief
Reference book: <<Discrete Mathematics>> ZUO Xiao-Ling et al 1982, Shanghai Science and Technology P
Platform: |
Size: 1098752 |
Author: alse |
Hits:
Description: 前束范式生成器，数理逻辑的一个辅助程序，可以给出任意谓词公式的前束范式。主要采用二叉树方式实现-Before the beam pattern generator, an auxiliary mathematical logic program predicate formulas can be given before any beam pattern. Mainly be achieved by binary tree
Platform: |
Size: 1435648 |
Author: yjt |
Hits:
Description: 采用人工智能专家系统计算机技术模拟故障诊断领域专家的推理思维方式, 对机械设备发生的故障实现迅速准确的
诊断,同时缩短故障停机时间具有重大意义。本文应用Visual prolog 语言,构造了转子系统故障诊断专家系统,提出了一阶谓
词逻辑子句表达知识的方法,建立了专家知识库。系统的推理机采用深度优先的推理策略。应用表明系统有效完成旋转机械
常出现的十多种故障的诊断,并运行可靠。-The computer technology of artificial intelligence expert system is being used to simulate inference and thinking mode in
the field of fault diagnosis. The fault which occurs to the mechanical device can be diagnosed rapidly and exactly. At the same time,
it also has a great significance for shorting the downtime. Applying the Visual Prolog language in this article, fault diagnosis expert
system for rotating machinery is constructed. The expert knowledge base is established by the expressing way using the first-order
predicate logic clause. The rule in Depth-First Strategy (DFS) is introduced in the system ’s inference engine. The system completes
effectively more than ten kinds of fault diagnosis that the rotating machinery often appears. The results show the operation is reliable
through the application.
Platform: |
Size: 236544 |
Author: 陈金星 |
Hits:
Description: 默认一个机器手的存在，并对其进行操作，有左右移动，上下移动，抓住物体和松开物体等几个状态。用谓词逻辑语言对其进行操作。-The default a machine hand of existence, and the operation, of moving around, move, seize the objects and loosen objects and so on several state. Use predicate logic operate on the language
Platform: |
Size: 24576 |
Author: 江纪蓉 |
Hits:
Description: 人工智能课件，包括搜索，与或图，谓词逻辑与归结原理，不确定性推理方法等-AI courseware, including search, with or figure, predicate logic and the resolution principle, uncertainty reasoning methods
Platform: |
Size: 1947648 |
Author: 和念 |
Hits:
Description: 介绍了三种知识表示方式（状态空间法、问题归约、谓词逻辑）和4种搜索技术（盲目搜索、启发式搜索、与或树搜索、博弈树搜索），简单介绍prolog语言-Describes three kinds of knowledge representation (state space method, problem reduction, predicate logic) and four kinds of search techniques (blind search, heuristic search, with or tree search, game tree search), brief language prolog
Platform: |
Size: 7853056 |
Author: 李银波 |
Hits:
Description: 基于μ-演算的一阶谓词界程逻辑，用谓词变量构造不动点公式，方便描述闭环系统的性质，公式语义简洁．-Based on μ-calculus, the predicate variable is used to construct the fixed point formula, which is convenient to describe the properties of the closed-loop system and the semantics of the formula is concise.
Platform: |
Size: 942080 |
Author: 高雪树 |
Hits:
Description: 数理逻辑介绍，2021年版。
1. Introduction. What Is Logic, Really?
2. Propositional Logic
3. Predicate Logic
4. Completeness Theorems (Model Theory)
5. Normal Forms
6. Tableaux Method
7. Resolution Method
8. Miscellaneous
Platform: |
Size: 1146872 |
Author: gnoynat |
Hits: