人工智能谓词演算(PPT 32页)
- 所属分类:
- 人工智能
- 文件大小:
- 114 KB
- 下载地址:
- 相关资料:
- 人工智能
人工智能谓词演算(PPT 32页)内容简介
主要内容
第2讲 基于谓词逻辑的机器推理
第一节 一阶谓词逻辑
第二节 归结演绎推理
第三节 归结原理的应用
归结举例
第四节 Horn子句与Prolog程序设计
..............................
第2讲 基于谓词逻辑的机器推理
第一节 一阶谓词逻辑
第二节 归结演绎推理
第三节 归结原理的应用
归结举例
第四节 Horn子句与Prolog程序设计
..............................
用户登陆
人工智能热门资料
人工智能相关下载