- 1、本文档共30页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Artificial Intelligence (AI)人工智能
主讲:刘刚
Email:andyliu@lzu.edu.cn
第4章:知识 表示
内容提要
第4章:知识表示
1.状态空间法
2.问题归约法
3.谓词逻辑法
4.语义网络法
5.其他方法
谓词逻辑法
命题逻辑与谓词逻辑
命题
命题逻辑的局限性
谓词
谓词逻辑法
谓词演算
谓词逻辑语言的语法和语义
谓词逻辑语言的基本符号:
谓词符号
变量符号
函数符号
常量符号
括号和逗号
谓词逻辑法
谓词演算
谓词逻辑语言的语法和语义
原子公式:原子公式由若干谓词符号和项组成
谓词符号规定定义域内的一个相应关系
常量符号是最简单的项,表示论域内的物体或实体
变量符号也是项,不明确涉及是哪一个实体
函数符号表示论域内的函数,是从论域内的一个实体到另外一个实体的映射
例如:原子公式 Married [ father(LI) , mother(LI) ]表示“李(LI)的父亲和他的母亲结婚”
谓词逻辑法
连词和量词
连词
合取:符号“∧ ”, 表示所连结的两个命题之间具有“与”的关系。
析取: 符号“∨ ”,表示所连结的两个命题之间具有“或”的关系
蕴涵:符号“→ ” ,表示“若…则…”的语义。P→Q读作“如果P,则Q”其中,P称为条件的前件,Q称为条件的后件。
非:符号“¬ ”,表示对其后面的命题的否定
双条件:符号“↔ ”,表示“当且仅当”的语义。 P↔Q读作“P当且仅当Q”。
连词的优先级:¬,∧,∨→,↔
谓词逻辑法
连词和量词
量词
全称量词:符号“”,意思是“所有的”、“任一个”
x读作“对一切x”,或“对每一x”,或“对任一x”。
命题(x)P(x)为真,当且仅当对论域中的所有x,都有P(x)为真
命题(x)P(x)为假,当且仅当至少存在论域中的一个x,使得P(x)为假
谓词逻辑法
连词和量词
量词
存在量词:符号“”,意思是“至少有”、“存在”
x读作“存在一个x”,或“对某些x”,或“至少有一x”。
命题(x)P(x)为真,当且仅当至少存在论域中的一个x,使得P(x)为真
命题( x)P(x)为假,当且仅当对论域中的所有x,都有P(x)为假
谓词逻辑法
谓词公式
原子谓词公式:
是由谓词符号和若干项组成的谓词演算。
若t1,t2,…,tn是项,P是谓词,则称P(t1,t2,…,tn)为原子谓词公式。
分子谓词公式:
可以用连词把原子谓词公式组成复合谓词公式,并把它叫做分子谓词公式。
谓词逻辑法
谓词公式
合式公式(WFF,Well-formed Formulas):通常把合式公式叫做谓词公式,递归定义如下:
(1) 原子谓词公式是合式公式
(2) 若A为合式公式,则¬ A也是一个合式公式
(3) 若A,B是合式公式,则A∨B,A∧B,A→B,A↔B也都是合式公式
(4) 若A是合式公式,x为A中的自由变元,则 (x)A和( x)A都是合式公式
(5) 只有按上述规则(1)至(4)求得的那些公式,才是合式公式。
谓词逻辑法
谓词公式
用谓词公式表示知识时,需要首先定义谓词,然后再用连接词把有关的谓词连接起来,形成一个谓词公式表达一个完整的意义。
例1:设有下列知识
①刘欢比他父亲出名。
②高扬是计算机系的一名学生,但他不喜欢编程 。
③任何整数或者为正或者为负。
为了用谓词公式表示上述知识,首先需要定义谓词:
FAMOUS (x, y) : x比y出名
COMPUTER ( x ) : x 是计算机系的
LIKE (x, y ) : x 喜欢 y
谓词逻辑法
I(x)表示“x是整数”
P(x)表示“x是正数”
N(x)表示“x是负数”
此时可用谓词公式把上述知识表示为:
①刘欢比他父亲出名:
FAMOUS ( liuhuan, father ( liuhuan ))
②高扬是计算机系的一名学生,但他不喜欢编程 :
COMPUTER(gaoyang)∧¬LIKE(gaoyang, programing)
③任何整数或者为正或者为负:
(x)(I(x) →(P(x) ∨ N(x)))
谓词逻辑法
谓词公式
例2:用谓词逻辑描述右图中的房子的概念
个体 :A , B
谓词 :
SUPPORT( x,y ):表示 x 被 y支撑着
WEDRE ( x ):表示 x 是楔形块
BRICK( y ):表示 y 是长方块
其中 x , y是个体变元,它们的个体域{A,B}
房子的概念可以表示成一组合式谓词公式的合取式:
SUPPORT(A,B) ∧WEDGE( A ) ∧BRICK( B )
谓词逻辑法
合式公式的性质
若P、Q是两个合式公式,则由这两个合式公
您可能关注的文档
- 音乐之声--by浪漫的春天.ppt
- 真核生物的转录和后加工.ppt
- 真核细胞与原核细胞课件高一生物课件.ppt
- 真核细胞的结构与功能.ppt
- 音乐制作-PowerPoint演示文稿1.ppt
- 真正成功的人是品德高尚而有价值的人.ppt
- 音乐剧《猫》的艺术特点研究.ppt
- 音乐基本要素:1.pptx
- 真理与价值的辩证统一课件1.ppt
- 真理诞生于一百个问号之后 (2)1.ppt
- 第23课:设计并制作个人课程表(教学设计)全国通用六年级下册综合实践活动.docx
- 4.5 探索活动:三角形的面积(1)(教学设计)-2024-2025学年五年级上册数学北师大版.docx
- 3.2.1 函数的单调性(教学教学设计)-2024-2025学年高一数学必修一同步高效课堂系列(人教A版2019).docx
- 《年、月、日 》(教学设计)-2023-2024学年人教版三年级数学下册.docx
- 1.2.5有理数大小比较(教学教学设计)-2024-2025学年七年级数学上册同步教学精品教学设计(人教版2024).docx
- 7.2三角形的三边关系(教学设计)-2023-2024学年四年级下册数学苏教版.docx
- 体育三年级下册 小篮球——行进间运球 教案.docx
- 7不完美的自己最真实 教案.docx
- 10 日月潭(教学设计)2024-2025学年统编版语文二年级上册.docx
- [名师教案]统编版语文二年级上册7 妈妈睡了 教学设计 反思.docx
文档评论(0)