版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第二章谓词计算和解构原理人工智能系统是知识处理系统,其中三个茄子基本问题是知识表示、知识利用和知识收集。牙齿过程围绕这些问题进行。各有各的茄子方法。牙齿章节重点介绍谓语运算和解构原理,以便学生对人工智能过程有感性认识。2.1命题计算2.1.1符号和命题命题命题命题:关于世界的辩论和真实的陈述。有“正在下雨”、“路面湿了”等例子。命题计算(下节谓词计算)是语言,可以使用他们的单词、短语和句子来表达和推导世界事物的属性和事物之间的关系。命题符号p,q,r,u,v真符号true (T),false(F)连接词,命题用连接词合成,但收益仍然是命题。像P=Q这样的命题。p前提(前)、Q结果(后)、2.1
2、.2命题计算的意义(意思)在世界的任何状态下,一个命题可能是真的,也可能是假的。分配给命题的真正价值称为解释。命题运算的意义:合成命题的真值分配(解释)基本意义:PQ,PQ,P=Q,P=Q的真值分配与P,Q的真值分配之间的关系。1。p表示t、f;2.p,Q都是T,PQ是T,否则是F。3.p,q为f,PQ为f,否则为t;4.隐含真分配:P=Q: p为t,Q为f时为f;否则始终为t。(4茄子可能性中只有一个f)。5.相应的真分配:P=Q: P,如果Q都是相同的t或f,则P=Q为t,否则为f。在,命题计算中,如果两个表达式在任何真赋值下都具有相同的真值,则称为等价。(威廉莎士比亚,温斯顿,命题,命题
3、,命题,命题,命题,命题)P=Q=Q命题评价id: (p,Q,r是命题表达式)(1)否定的傅晶=PPQ=QR (6)接合规则(PQ)R)=(P(QR) (PQ)R)=(P(QR) (7)替用规则(P=)练习2:使用id方法证明(P=Q)(Q=P)和(PQ)=(PQ)逻辑相同。,2.2谓词评估2.2.1谓词的语法和命题语法。符号、联接、合成(结果)是谓词演算的符号(构成)英文字母集合,包括大写和小写。数字集0,1,9。加下划线。法律:friends_of fire3 George ab_cd不合法。3djack ab * * 71ab5cd为使节目代码易于理解,谓词评估的符号包括收购、常量、函数
4、和谓词常数:表示世界上的特定事物。常值符号以小写字母开头,例如tree。收购:用于命名标准的常规类型对象和特性。以大写字母开头。函数:以小写字母开头,映射到表示一组(定义域)的一个或多个元素和另一组(值域)中的唯一元素。,一元函数father(david)牙齿表达式的值为George二进制函数plus(2,3)的值5。把两个数字映射到他们的算术总和。谓词:谓词以小写字母开头,说明世界上从0到多个对象的关系。Likes、equals、on、near、part_of二进制谓词likes(george,bill);三元函数likes(george、bill、sonday)中的每个元称为项,项可以是文
5、字、收购或函数表达式。,原子命题:原子命题是N元谓词常数。所有原子命题都可以使用逻辑运算符转换为谓词运算的命题。使用的管接头:=、=、=、如果s,S1,S2是命题:S1S2,S1S2,S1=S2,S1=S2,S1=S2,S1=S2,都是命题。,2.2谓词计算的语义(真赋值)语义原子命题S,S1,S2原子命题S的值是T或F,具体取决于I解释。如果s等于t,则为f;反之亦然。如果、S1、S2都是t,则S1S2为t,否则为f。如果S1或S2等于t,则S1S2等于t;否则为f。如果S1牙齿t和S2为f,则S1=S2为f,剩下的为t。如果S1,S2都是相同的t或f,则S1=S2为t;否则为f。对于任何x
6、,如果s等于t,则为t;否则为f。x,s为t,否则为f。,几乎所有语法正确的英语句子都可以用牙齿节定义的符号、连接词和收购符号来表示。表示不唯一。All basketball players are tall。(basketball _ players (x)=tall (x),当前状态,对于所有大厦块x,如果顶部没有y,则x顶部为空。Stack (a,b)(hand _ empty clear(x)clear(y)pick _ up(x)put _)介绍将一个大厦块a放在另一个大厦块b上的规则,介绍一些茄子有用的推理规则、1。假推理:如果命题P,P=Q为真,则Q为真。(下雨路面湿了)2。拒绝表达式:如果P=Q为真,Q为假,则为真。(昨天晚上下了大雨,路面湿了)3。剔除规则:如果PQ为真,则P和Q都是真的。在为真的联合餐中,其中任何一种联合都可以是真的。4.引入规则:p,q都是真的,PQ是真的。在合取中都可以是真的。联合餐饮是真的。替代全名:如果X P(X)为true,则P(a)为true。、耶比尔是人,所以比尔最终
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 早绝经与绝经女性骨质疏松防治指南总结2026
- 2025朔州市朔城区神头职业中学校工作人员招聘考试试题
- 2025景德镇市体育运动学校工作人员招聘考试试题
- 2026年高考作文终极押题猜想新高考
- 基坑自动化监测专项施工方案
- 2026年美妆基因检测定制报告及未来五至十年精准美容报告
- 2026年四川省绵阳市中考数学模拟预测题
- 2026年制造业创新报告及工业机器人应用技术发展报告
- 幼儿园角色扮演游戏幼儿语言复杂度变化-基于2023年角色区对话录音词汇密度分析
- 智能精准教研在小学音乐课程开发中的创新与实践研究教学研究课题报告
- 2024年“湖北工匠杯”全省检验检测行业职业技能大赛(农产品食品检验员)试题库(含答案)
- 第4章-动车组列车餐饮服务操作技能《高速铁路列车餐饮服务》
- 7、辽、西夏与北宋的并立
- 关于领导干部报告个人有关事项的规定全文
- 电梯井钢结构安装安全技术交底
- 耕地占补平衡用户手册
- 嘘 - 副本【经典绘本】
- 《最重要的事 只有一件》读书笔记PPT模板思维导图下载
- 医学导论 第二篇 医学教育与医学学习
- GB/T 20303.1-2016起重机司机室和控制站第1部分:总则
- 工会经费使用管理常见问题解答
评论
0/150
提交评论