人工智能概述
问题求解的基本原理
知识表示
基于逻辑的问题求解方法
不确定知识表示及推理
专家系统
知识获取和机器学习
自然语言的处理
返回主页
基于逻辑问题的求解方法
本章由以下几块构成：
1、
谓词演算基础知识
（分三课时）
2、
归结反演
3、
归结反演的控制策略
4、
从归结反演中提取问题解答
5、
正向演绎系统
（分两课时）
6、
逆向演绎系统