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

人工智能-谓词逻辑(PPT 43页)

所属分类：
人工智能
文件大小：
437 KB
下载地址：
相关资料：
人工智能
人工智能-谓词逻辑(PPT 43页)内容简介
主要内容
谓词逻辑基础
谓词逻辑归结原理
例：将下式化为Skolem标准形：
谓词逻辑归结原理
置换的合成
归结原理
例题“快乐学生”问题
归结过程的控制策略

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

上一篇：人工智能搜索问题(PPT 102页)

下一篇：人工智能习题课(PPT 44页)