您的位置： 文档大全所有分类IT/计算机计算机软件及应用 高级人工智能 史忠植

高级人工智能 史忠植

2.4 限定逻辑

2.5 自认知逻辑

2.5.1 Moore系统${\cal L}_{B}$

2.5.2 $\cal O \cal L$ 逻辑

2.5.3 标准型定理

2.5.4 $\diamondsuit-$ 记号以及稳定扩张的一种判定过程

2.6 真值维护系统

2.7 情景演算的逻辑基础

2.7.1 刻划情景演算的多类逻辑$\bf LR$

2.7.2 $\bf LR$中的基本动作理论

2.7.3 多类逻辑$\bf LR$的改进

第三章 约束推理

3.1 概述

3.2 回溯法

3.3 约束传播

3.4 约束传播在树搜索中的作用

3.5 智能回溯与真值维护

3.6 变量例示次序与赋值次序

3.7 局部修正搜索法

3.8 基于图的回跳法

3.9 基于影响的回跳法

3.10 约束关系运算的处理

3.10.1 恒等关系的单元共享策略

3.10.2 区间传播

3.10.3 不等式图

3.10.4 不等式推理

3.11 约束推理系统COPS

第四章 定性推理

4.1 概述

4.2 定性推理的基本方法

4.3 定性模型推理

4.4 定性进程推理

4.5 定性仿真推理

4.5.1 定性状态转换

4.5.2 QSIM算法

4.6 代数方法

4.7 几何空间定性推理

4.7.1 空间逻辑

4.7.2 空间时间关系描述

4.7.3 空间和时间逻辑的应用

4.7.4 Randell算法

第五章 基于范例推理

5.1 概述

上一页第2页

你可能喜欢

  • 人工智能复习题
  • 人工智能期末考试
  • 人工智能考试
  • 算法matlab代码
  • 人工智能学习
  • 数据挖掘

高级人工智能 史忠植的相关文档搜索

高级人工智能 史忠植相关文档

最新文档

返回顶部