【人工智能I】知识表示

知识与知识表示的概念

• 知识：在长期的生活及社会实践中、科学研究及实验中积累起来对客观世界的认识与经验。把有关信息关联在依其所形成的信息结构。
• 相对正确性：任何知识都是在一定的条件下及环境下产生的，在这种条件以及环境下才是正确的。
• 不确定性：随机性引起；模糊性引起；经验引起；不完全性引起。
• 可表示性与可利用性：可以用适当的形式表示出来，也可以被利用。

一阶谓词逻辑表示法

谓词

P（x1，x2，…，xn）

• 个体x1…：某个独立存在的事物或某个抽象的概念。
• 谓词名P：刻画个体的性质、状态或个体间的关系。

举例：

• 个体是常量：“老张是一个教师”
• 个体是变元：没有指定的一个或一组个体
• 个体是函数：一个个体到另一个个体的映射。“小李的父亲是教师：Teacher(father(Li))”
• 个体是谓词：“Smith作为一个工程师为IBM工作 Works(engineer(Smith),IBM)”

谓词公式

连接词

• ┐非：如“机器人不在2号房间 ┐Inroom(robot,2)”
• ∨析取 或：如“李明打篮球或者踢足球 Plays(Liming,basketball)∨Plays(Liming,football)”
• ∧合取 与：如“我喜欢音乐和绘画 Like(I,music)∧Like(I,painting)”
• → 蕴含或者条件
• <→ 等价或双条件：当且仅当

量词

• 全称量词：对个体域中的所有（或任意一个）个体
• 存在量词：在个体域中存在一个个体

全程量词和存在量词出现的次序会影响命题。

谓词公式

一阶谓词逻辑知识表示方法

一阶谓词逻辑表示法的特点

产生式表示法

产生式

确定性规则知识的产生式表示

不确定性规则知识的产生式表示

产生式系统

产生式表示法的特点

优点：

• 自然性
• 模块性
• 有效性
• 清晰性

缺点：

• 效率不高
• 不能表达结构性知识

框架表示法

一般结构

• 框架（frame）：一种描述所论对象（一个事物、事件或概念）属性的数据结构。
• 一个框架由若干个被称为“槽”（slot）的结构组成，每个槽又可以根据实际情况分为若干个“侧面”（faced）。
• 一个槽用于描述所论对象某一方面的属性。
• 一个侧面用于描述相应属性的一个方面。
• 槽和侧面所具有的属性值分别称为槽值和侧面值。

用框架法表示知识的例子

框架表示法的特点