您现在的位置: 精品资料网 >> 管理信息化 >> 人工智能 >> 资料信息

人工智能谓词演算(PPT 32页)

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

..............................