讲解了:状态空间法及搜索;问题归约法;人工智能中的谓词演绎;消解反演系统;不确定知识表示与推理;专家系统