人工智能与专家系统--第2章 知识表示概要

•
确定性知识：可以说明其真值为真或为假的知识
•
不确定性知识：包括不精确、模糊、不完备知识
•
不精确：知识本身有真假，但由于认识水平限制却不能肯定其真假
•
表示：用可信度、概率等描述
•
模糊：知识本身的边界就是不清楚的。例如：大，小等
•
表示：可能性、隶属度来描述
•
不完备：解决问题时不具备解决该问题的全部知识。例如：医生看病
• TABLE(x)：x是桌子
• EMPTY(y)：y手中是空的
• AT(y, z)：y在z处
• HOLDS(y, w)：y拿着w
• ON(w, x)：w在x桌面上
• 变元的个体域：
•
x的个体域是{a, b}
•
y的个体域是{robot}
•
z的个体域是{a, b, c}
•
w的个体域是{box}
a
c
b
19
•
命题( x)P(x)为假，当且仅当至少存在一个xi D，使得P(xi)为假
• ：存在量词，意思是“至少有一个”、“存在有”
•
命题( x)P(x)为真，当且仅当至少存在一个xi D，使得P(xi)为真
•
命题( x)P(x)为假，当且仅当对论域中的所有x，都有P(x)为假
14
2.2.1一阶谓词逻辑表示的逻辑基础
•
P
例如Q，对命题¬PP和Q，PP∨↔QQ表示P“∧PQ当且仅P→当QQ”， P↔Q
T
T
F
T
T
T
T
T
F
F
T
F
F
F
F
T
T
T
F
T

产生式表示法：
产生式表示法又称为产生式规则（Production Rule）表示法。美国数学家波斯特（E.POST）在1934年首先提出“产生式”，它根据串代替规则提出了一种称为波斯特机的计算模型，模型中的每条规则称为产生式。
框架表示法：
以一个通用的数据结构的形式存储以往的经验。这样的数据结构就是框架（frame），框架提供了一个结构，一种组织。
(三)任务实施
1、对于犯罪行为的新闻报道中都会提到犯罪意图、犯罪结果、证人指控等信息，这些信息可以用一个犯罪框架来表示。
2、试着构造一个描述学校图书馆的框架。
3、用产生式表示：如果一个人出现腹痛、腹泻及呕吐的症状，那么得肠胃炎的可能性有8成。
4、知识图谱在搜索引擎中的应用
（四）归纳总结
通过案例阅读，了解知识图谱的相关概念，知道知识图谱的简单应用。
信息技术飞速发展，不断推动着互联网技术的变革，互联网的核心性技术Web经历了网页链接到数据链接的变革后，正逐渐向大规模的语义网络演变。语义网络将知识采用网络的形式表示，它将经过加工和推理的知识以图形的方式提供给用户，而实现智能化语义检索的基础和桥梁就是知识图谱。
二、教学目标
知识目标
能力目标
1、了解知识、知识表示、知识图谱的概念
(三)任务实施
试着为自己绘制一个社交网络的知识图谱。
（四）归纳总结
通过本节课的学习，了解知识图谱的表示方法。
五、六节归纳
知识图谱的应用：
（1）智能问答
（2）智能推荐
（3）金融领域
知识图谱的总结与展望：
虽然现在知识图谱很多，但大部分还处于初级阶段，只是侧重于简单事实，对于常识的覆盖十分有限，依然面临众多挑战和难题，如：知识库的自动扩展、异构知识处理、推理规则学习、跨语言检索等。总体而言，知识图谱技术的落地应用前景是光明的，但是也需要充分意识到知识图谱面临的巨大挑战。

▪ 谓词名 P：刻画个体的性质、状态或个体间的关系。
（1）个体是常量：一个或者一组指定的个体。
▪ “老张是一个教师”：一元谓词 Teacher (Zhang) ▪ “5>3” ：二元谓词 Greater (5, 3) ▪ “Smith作为一个工程师为IBM工作”：
三元谓词 Works (Smith, IBM, engineer)
命题逻辑表示法：无法把它所描述的事物的结构及逻辑特 征反映出来，也不能把不同事物间的共同特征表述出来。
P：老李是小李的父亲
P：李白是诗人 Q：杜甫也是诗人
13
2.2.2 谓词
谓词的一般形式： P (x1, x2,…, xn)
▪ 个体 x1, x2,…, xn ：某个独立存在的事物或者某个抽象 的概念；
（3）∧： “合取”（conjunction）——与。
“我喜欢音乐和绘画”： Like (I, music) ∧ Like (I, painting)
16
2.2.3 谓词公式
1. 连接词（连词） （4）→：“蕴含”(implication)或 “条
件”(“如co果nd刘iti华on跑)。得最快，那么他取得冠军。” ：
▪ ( x)( y) F(x, y) 表示对于个体域中的任何两个个体x
和y，x与y都是朋友。
20
2.2.3 谓词公式
全称量词和存在量词出现的次序将影响命题的意思。 例如：
▪ ( x)( y)(Employee(x) → Manager(y, x)) :
“每个雇员都有一个经理。”
▪ ( y)( x)(Employee(x) → Manager(y, x)):
30
第2章 知识表示
2.1 知识与知识表示的概念 2.2 一阶谓词逻辑表示法

14
标准槽名
6) Infer槽：指出两个框架所描述的事物间的逻辑推理关系， 用它可以表示相应的产生式规则。 【例】设有下面知识：如果咳嗽，发烧且流涕，则八成是患 了感冒，需服用感冒清，一日三次，每次2-3粒。并要多喝开 水。对该知识 ，可用如下两个框架表示： 框架名：<诊断规则> 框架名：<结论> 病名：感冒 症状1：咳嗽 治疗方法：服用感冒清，一日三 症状2：发烧 次，每次2-3粒 症状3：流涕 注意事项 ：多喝开水 Infer: <结论> 愈后：良好 可信度：0.8 7) Possible-Reason槽：与Infer槽作用相反，用来把某个结论 与可能的原因联系起来。 15
12
标准槽名
2) AKO槽：用于具体的指出事物间的类属关系。其直观含义 是“是一种”，下层框架可以继承其上层框架所描述的属性及值。 对上面的例子，可将棋手框架中的ISA改为AKO。 3)Subclass槽：用于指出子类与类之间的类属关系。 上例中，由于“棋手”是“运动员的一个子类，故可将ISA该为 Subclass。 4) Instance槽：用来建立AKO槽的逆关系。 用它作为某框架的槽时，可用来指出它的下层框架是哪些。 【例】框架名：<运动员> Instance:<棋手>，<足球运动员>，<排球运动员> 姓名：单位（姓，名） 年龄：单位（岁） 性别：范围（男，女） 缺省：男
18
剧本表示-例
【例】餐厅剧本 (1) 开场条件： (a)顾客饿了，需要进餐。(b)顾客有足够的钱。 (2) 角色：顾客，服务员，厨师，老板。 (3) 道具：食品，桌子，菜单，钱。 (4) 场景： 场景1 进入餐厅 (a) 顾客走入餐厅。(b) 寻找桌子。 (c) 在桌子旁坐下。 场景2 点菜 (a) 服务员给顾客菜单。(b) 顾客点菜。 (c) 顾客把菜单还给服务员。(d) 顾客等待服务员送菜。 场景3 等待 (a) 服务员把顾客所点的菜告诉厨师。(b) 厨师做菜。