搜索资源列表
专题
- 人工智能专题讲座 机器人、遗传算法、状态空间、谓词逻辑、问题状态图-artificial intelligence robot seminars, genetic algorithm, the state space and predicate logic, the problem state chart
PrenexFormMFC
- 前束范式生成器，数理逻辑的一个辅助程序，可以给出任意谓词公式的前束范式。主要采用二叉树方式实现-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
Diagnosis-Expert-System
- 采用人工智能专家系统计算机技术模拟故障诊断领域专家的推理思维方式, 对机械设备发生的故障实现迅速准确的 诊断,同时缩短故障停机时间具有重大意义。本文应用Visual prolog 语言,构造了转子系统故障诊断专家系统,提出了一阶谓 词逻辑子句表达知识的方法,建立了专家知识库。系统的推理机采用深度优先的推理策略。应用表明系统有效完成旋转机械 常出现的十多种故障的诊断,并运行可靠。-The computer technology of artificial intelligence ex
Simulation-robot-motor-control
- 默认一个机器手的存在，并对其进行操作，有左右移动，上下移动，抓住物体和松开物体等几个状态。用谓词逻辑语言对其进行操作。-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
ArtificialIntelligence
- 人工智能课件，包括搜索，与或图，谓词逻辑与归结原理，不确定性推理方法等-AI courseware, including search, with or figure, predicate logic and the resolution principle, uncertainty reasoning methods
Artificial-intelligence
- 介绍了三种知识表示方式（状态空间法、问题归约、谓词逻辑）和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, w
First-order-Predicate-Ambient-Logic
- 基于μ-演算的一阶谓词界程逻辑，用谓词变量构造不动点公式，方便描述闭环系统的性质，公式语义简洁．-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 co