没有合适的资源？快使用搜索试试~ 我知道了~

文库首页安全技术网络安全人工智能导论课件：第四章谓词逻辑与归结原理.ppt

人工智能导论课件：第四章谓词逻辑与归结原理.ppt

1.该资源内容由用户上传，如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款（资源遇到问题，请及时私信上传者）

版权申诉

0 下载量 84 浏览量 2022-06-18 15:55:52 上传评论收藏 1.06MB PPT 举报

温馨提示

试读

59页

人工智能导论课件：第四章谓词逻辑与归结原理.ppt

资源推荐

资源详情

资源评论

第四章谓词逻辑与归结原理

命题逻辑

经典逻辑



逻辑谓词逻辑

缺省逻辑

非经典逻辑非单调逻辑

模糊逻辑等等



归结原理是一种主要基于谓词逻辑知识表示的

推理方法。

谓词逻辑



命题逻辑有一定的局限性 . 例如 : 不能表达

这样的事实”当移动木块 B 时 , 说它就是

on_B_C 所断言的木块 C 上的木块 .

命题演算中 , 原子是没有内部结构的串 .



而谓词演算提供了这种能力 , 例如 , 不再让

一个命题符号 P 表示整个句子”星期二下雨了”,

而是创建一个谓词 Weather 来描述日期和天

气的关系 .

一阶谓词逻辑的语法



一阶谓词逻辑的符号组成

常量 , 变量 , 函数符号 , 谓词符号 ,

联结词 : ~, , , , 

量词 : , 

分隔符号 : 逗号 , 括号



项的定义 : 1) 常量 , 变量是项

2) 若 f 是 n 元函数 ,t

,t

是项 , 则

f(t

,t

) 是项

合式公式



合式公式 (w) 的定义 :

1) 若 p 是 n 元谓词 , t

,t

是项 , 则

p(t

,t

) 是合式公式 . ( 称为原子 )

2) 若 F ,G 是合式公式 , 则 ~F, FG, FG,

FG, FG 都是合式公式 .

3) 若 X 是一个变量 ,F 是合式公式 , 则 xF, xF

也是合式公式 .

举例 : 

p(X)

(p(Y)~q(Y,X,f(a)) ）

剩余58页未读，继续阅读

评论收藏

内容反馈

1.该资源内容由用户上传，如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款（资源遇到问题，请及时私信上传者）

版权申诉

资源评论

资源反馈

评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~

智慧安全方案

粉丝: 3607
资源: 59万+

上传资源快速赚钱

我的内容管理展开

我的资源快来上传第一个资源

我的收益

登录查看自己的收益

我的积分登录查看自己的积分

我的C币登录后查看C币余额

我的收藏

我的下载

下载帮助

前往需求广场，查看用户热搜

人工智能导论课件：第四章 谓词逻辑与归结原理.ppt

谓词逻辑与归结原理.ppt

人工智能第六章 归结原理 课件.ppt

人工智能：第3章 谓词逻辑与归结原理.ppt

人工智能课件：第三章 谓词逻辑与搜索原理.pdf

谓词逻辑与归结原理.pdf

人工智能导论：第五章 谓词演算及应用.ppt

实现基于谓词逻辑的归结原理.pdf

第二章 谓词逻辑与归结原理

基于谓词逻辑的归结原理实验

人工智能导论：第五章 谓词演算及应用

人工智能谓词逻辑归结问题的推理系统

离散数学谓词逻辑节PPT课件.pptx

命题逻辑与谓词逻辑PPT课件.pptx

谓词逻辑归结推理系统

数学谓词逻辑PPT学习教案.pptx

Delphi数据库查询：NOT与谓词组合条件查询实例..rar

谓词逻辑习题及答案.doc

北邮大三上2022年《算法设计与分析》期末试题-A卷

1000套计算机毕业设计带源码

计算机毕业设计答辩PPT模板（11套）.zip

2019city.zip

MATLABSimulink电力系统建模与仿真

计算机统考408思维导图xmind

头歌实践教学平台 MIPS流水CPU设计---HUST

计算机绘图大作业（有答案）

计算机理论问答集锦包括OS、计算机组成原理等课程

最新资源

人工智能导论课件：第四章谓词逻辑与归结原理.ppt

人工智能第六章归结原理课件.ppt

人工智能：第3章谓词逻辑与归结原理.ppt

人工智能课件：第三章谓词逻辑与搜索原理.pdf

人工智能导论：第五章谓词演算及应用.ppt

第二章谓词逻辑与归结原理

人工智能导论：第五章谓词演算及应用