知识表示-南京大学计算机系.pdf

知识表示 从逻辑表示到知识表示 高 阳 /gaoy, 2016.9.21 一个例子 类层次是一种知识 那么类层次的通用机制？ 如何定义类？ 如何定义异常？如何进行推理？如何表示时间？如 何表示因果？如何表示不确定性？ 基本概念 数据 信息的载体和表示 信息 数据的语义 知识 信息关联后所形成的信息结构：事实 规则 知识是智能的基础 获得知识，运用知识 知识表示用来让计算机可以存储和处理知识的模式 不同于逻辑表示，知识表示有更多显式结构上的约束 知识特性 相对正确性 可表示/可利用性 一定条件下/某种环境中 语言/文字/图像/视频/图形/音 频/神经网络/概率图 不确定性 中间状态/为真程度/随机性/模 糊性/经验性/不完全性 知识的分类 范围 常识性知识/领域性知识 作用 事实性知识/过程性知识/控制知识 确定 确定性知识/不确定性知识 表现 逻辑性知识/形象性知识 抽象 零级知识/一级知识/二级知识 常见的知识表示方法 一阶谓词表示(First Order Predicate) 产生式表示(Production) 语义网络表示(Semantic Network) 框架表示(Framework) 选择合适的表示方法 脚本表示(Script)  充分表示领域知识 有利于对知识的利用 便于理解和实现 便于对知识的组织、管理和维护 一阶谓词表示 一阶谓词知识表示 谓词公式表示知识的步骤 （1）定义谓词及变元； （2 ）变元赋值； （3）连接词连接谓词，形成谓词公式。 谓词逻辑的推理规则 取式假言推理；拒式假言推理； P规则(在推理的任何步，引入前提) ； T规则(在推理的任何步，引入永真蕴涵的公式) ； CP规则(对任意引入的命题R和前提集合能推出S，则前提集合能推出S) ； 反证等。 机器人搬盒子 一室内，机器人在c处，a和b处各有一张桌子（a桌和b桌）。a桌上有一 个盒子。要求机器人从c处出发，将盒子从a桌上拿到b桌上，然后回到c 处。请用谓词逻辑来表示机器人的行动过程。 定义两类谓词：状态、操作。 状态： 操作： Table(x): x是桌子 Goto(x,y): 机器人从x处走到 Empty(y): y手中是空的 y处 At(y,z): y在z处 Pickup(x): 在x处拿起盒子 Holds(y,w): y手中拿着w Setdown(x): 在x处放下盒子 On(w,x): w在x上面 机器人搬盒子 初始状态： 目标状态： Table(a) Table(a) Table(b)