< 上一个
|
内容
|
下一个 >
第
2
章 符号主义人工智能
2.1 命题知识表示与推理
2.1.1 命题逻辑
2.1.2 命题推理问题
2.1.3 命题可满足性求解方法
2.1.4 模型计数
2.1.5 知识编译
2.2 自动定理证明
2.2.1 自动定理证明的起源、发展与现状
2.2.2 Herbrand 定理
2.2.3 合一与匹配
2.2.4 归结原理
2.2.5 归结原理的改进策略
2.2.6 等词推理
2.2.7 几何定理证明和数学机械化
2.2.8 定理证明器竞赛和著名定理证明器
2.3 约束可满足性求解
2.4 基于模型的诊断
2.4.1 MBD 问题
2.4.2 国内外总体研究现状
2.5 神经符号系统
2.5.1 神经符号系统的背景
2.5.2 神经符号系统研究现状
2.5.3 神经符号系统的挑战及未来研究方向
< 上一个
|
内容
|
下一个 >