【人工智能】知识表示
目录
- 一、知识表示（Knowledge Representation）的基本概念
- 二、谓词逻辑（Predicate Logic）表示法
- 三、产生式（Production Rule）表示法
- 四、语义网络（Semantic Network）表示法
- 五、框架（Frame）表示方法
- 六、状态空间（State Space）表示法
一、知识表示（Knowledge Representation）的基本概念
知识的基本单元：概念（Concept）
知识由概念组成，概念是构成人类知识和思维体系的基本单元
概念：人脑对客观事物的一般的、本质的特征
概念的三部分：
- 概念名：由一个字或一个词语表示概念的名称
- 概念的内涵：概念所反映的事物对象所特有的属性，通常用命题表示
- 概念的外延：由满足概念内涵表示的对象构成的经典集合
例：
概念名：奇数
内涵：奇数是不能被2整除的整数，可分为正奇数、负奇数
外延：正奇数集合{1,3,5,7,⋯}\{1,3,5,7,\cdots\}{1,3,5,7,⋯}，负奇数集合{−1,−3,−5,−7,⋯}\{-1,-3,-5,-7,\cdots\}{−1,−3,−5,−7,⋯}
知识的类型：
- 结构性知识（描述关系）
- 过程性知识（描述命令，规则，策略）
- 陈述性知识（描述概念、事实和对象）
- 启发性知识（领域或对象的一些专业知识，经验）
- 元知识（有关其他类型知识的知识）
知识的特性：
- 相对正确性
- 不确定性
- 可表示性与可利用性
知识表示：将人类的知识形式化（符号化）或模型化（结构化），以便机器识别与理解
AI中需要表达的各种知识，主要包括：
- 事件
- 对象
- 事实
- 元知识
- 知识库
- 表现
主要的知识表示方法：
- 陈述性表示方法（事实性知识）
- 过程性表示方法（规则和控制结构知识）
二、谓词逻辑（Predicate Logic）表示法
逻辑：思维的规律和规则
包括：
- 形式逻辑
- 归纳逻辑
- 演绎逻辑
- 数理逻辑
- 命题逻辑
- 谓词逻辑
- 二阶、三阶逻辑……
命题逻辑：见这篇文章
原子命题：不包括其他命题作为其组成部分的命题
复合命题：通过命题连接词连接而成的包括其他命题作为其组成部分的命题
逻辑等价：如果命题ppp和命题qqq在所有情况下都具有相同的真假结果，则ppp和qqq在逻辑上等价，一般表示为p≡qp\equiv qp≡q
推理：按照某种策略从前提除法，推出结论的过程
常见的推理规则：
- 假言推理：a→b,a⇒ba\to b, a\Rightarrow ba→b,a⇒b
- 与消解：a1∧a2∧⋯∧an⇒ai(1≤i≤n)a_1\land a_2\land\cdots\land a_n\Rightarrow a_i(1\le i\le n)a1∧a2∧⋯∧an⇒ai(1≤i≤n)
- 与导入：a1,a2,⋯,an⇒a1∧a2∧⋯∧ana_1,a_2,\cdots,a_n\Rightarrow a_1\land a_2\land\cdots\land a_na1,a2,⋯,an⇒a1∧a2∧⋯∧an
- 双重否定：¬¬a⇒a\neg\neg a\Rightarrow a¬¬a⇒a
- 单项消解或单项归结：a∨b,¬b⇒aa\lor b,\neg b\Rightarrow aa∨b,¬b⇒a
- 消解或归结（resolution）：a∨b,¬b∨c⇒a∨ca\lor b,\neg b\lor c\Rightarrow a\lor ca∨b,¬b∨c⇒a∨c
谓词逻辑：可以参考这篇文章
知识的谓词逻辑表示：用谓词逻辑既可以表示事物的状态、属性、概念等事实性知识，也可以表示事物间具有因果关系的规则性知识
e.g.
Musk是一名资本家，喜欢裁员。Capitalist(Musk)∧Like(Musk,Layoff)\text{Capitalist}(\text{Musk})\land \text{Like}(\text{Musk},\text{Layoff}) Capitalist(Musk)∧Like(Musk,Layoff)
谓词逻辑表示知识的步骤：
- 定义谓词及个体
- 为每个谓词中的变量赋值
- 用逻辑连接词把谓词连接起来
一阶谓词逻辑表示法的特点：
- 优点：
- 严密性
- 自然性
- 通用性
- 知识易于表达
- 易于实现
- 缺点：
- 组合爆炸
- 灵活性差
- 效率低
三、产生式（Production Rule）表示法
规则：描述前提与结论之间的因果关系式
确定性规则的表示：
IF P THEN Q- P：前提（前件），由事实的逻辑组合构成，给出产生式可否使用的先决条件
- Q：结论/操作，当前件满足时应该推出的结论或应该执行的动作
- e.g. 若
动物会飞且动物会下蛋，则动物是鸟。 IF 动物会飞 AND 动物会下蛋 THEN 该动物是鸟。
不确定性规则的表示：
IF P THEN Q (置信度)- e.g. 如果发烧，就有60%的几率会感冒。
IF 发烧 THEN 感冒 (0.6)。
确定性事实的表示：
- （对象，属性，值） e.g. （Musk, Age, 51）表示Musk的年龄是51岁
- （关系，对象1，对象2） e.g. （Daughter, Vivian, Musk）表示Vivian是Musk的女儿
不确定性事实的表示：
- （对象，属性，值，置信度） e.g. （Musk, Age, 51, 0.9）表示Musk的年龄有大概90%的可能性是51岁
- （关系，对象1，对象2，置信度） e.g. （Daughter, Dora, Musk, 0.05）表示Dora只有5%的可能性是Musk的女儿
产生式的形式描述与语义——巴科斯范式（Backus Normal Form）
- 产生式 = 前提 → 结论
- 前提 = 简单条件 | 复合条件
- 结论 = 事实 | 操作
- 符合条件 = 简单条件 AND/OR 简单条件 AND/OR 简单条件 …
- 操作 = 操作名[变元，…]
产生式系统：
规则库：相应领域知识的集合
推理机：控制系统
综合数据库：存放事实、中间结果和最终结论等求解过程数据（类似于人脑短时记忆）
专家系统：根据某领域一个或多个专家提供的知识和经验，进行推理和判断，模拟人类专家解决领域问题的计算机程序系统
产生式表示的特点：
- 优点：
- 自然性
- 模块性
- 有效性
- 清晰性
- 缺点：
- 效率不高、不能表达结构性知识
- 理解难、独立性强
- 适合表示的知识：
- 领域知识之间关系不密切，不存在结构关系
- 没有严格、统一的理论
- 求解过程可被表示为一系列独立的操作，每个操作可被表示为一条或多条规则
四、语义网络（Semantic Network）表示法
语义基元：在语义网络表示中最基本的语义单元，用三元组表示：(节点1, 弧, 节点2)
语义基元的图表示（基本网元）：
语义网络：把多个语义基元用相应的语义联系起来
语义网络中弧的方向是有意义的（有向图），不能随意调换
语义网络和谓词逻辑表示有着相同的表示能力，三元组(节点1, 弧, 节点2)用谓词逻辑可以表示为P(节点1, 节点2)，其中弧的功能由谓词完成
属性继承：凡是由上位概念（B）具有的属性均可由下位概念（A）继承
常用的基本语义关系：
(1) 实例关系（ISA, is a）：A是B的例子，具有属性的继承性
(2) 分类关系（AKO, a kind of）：A是B的成员，具有属性的继承性
(3) 成员关系（A-Member-Of）：A是B的成员（强调个体与集体的关系），具有属性的继承性
(4) 属性关系：A的某属性是B，属性关系可以有很多种
(5) 包含关系（Part-Of）：部分与整体之间的关系，一般不具备属性的继承性
(6) 时间关系：时间上的先后次序关系，不具备属性的继承性，包括Before和After
(7) 位置关系：指不同的事物在位置方面的关系，不具备属性的继承性，如Located-on、Located-at、Located-under、Located-inside、Located Outside、In
(8) 相近关系（Similar-to）：A与B在某方面相似
(9) 推论关系（Reasoning-to）：某一概念可以由另一概念推导出来
语义网络举例：
- 动物能吃，能运动
- 鸟是一种动物，鸟有翅膀，会飞
- 鱼是一种动物，鱼生活在水中，会游泳
事件和动作的表示：需要给事件设立一个节点，时间节点有时向外引出一些弧，表示动作的主体和客体
逻辑表示法、产生式表示法与语义网络表示法的比较：
Musk和Peter是朋友
- 逻辑表示法：Friend(Musk,Peter)\text{Friend}(\text{Musk},\text{Peter})Friend(Musk,Peter)
- 产生式表示法：
IF Musk and Peter THEN Friend - 语义网络表示法：
语义网络表示法的特点：
- 优点：
- 直观
- 体现了人类思维的联想过程
- 表示能力强大
- 结构化
- 缺点：
- 推理规则不明了
- 节点个数太多，网络结构复杂，推理就难以进行
- 不便于表达判断性知识与深层知识，没有任何等价的量词
五、框架（Frame）表示方法
框架：由若干槽（slot）组成
槽：描述对象某一方面的属性，由若干侧面（facet）组成
侧面：用于描述相应属性的若干细分属性
槽值和侧面值：分别为槽和侧面的若干细分属性
框架结构的一般表示形式（感觉和JSON，YAML很像？）：
（约束条件是任意的，可以没有）
再比如
框架名: <Musk>
Age: 51
Gender: Male
Wives: First Wife: JustineSecond Wife: Talulah
框架表示法的特点：
- 优点：
- 结构性
- 继承性
- 自然性
- 缺点：
- 只善于表达静态知识，不能表达过程性的知识
- 缺乏框架的形式理论，框架的清晰性难以保证
六、状态空间（State Space）表示法
状态（state）：描述某类不同事物间的差别的某种结构的符号或数据，用四元组表示(S,O,S0,G)(S,O,S_0,G) (S,O,S0,G)SSS：状态集合
OOO：操作算子集合，每个算子可以把一个状态转换为另一个状态
S0⊂SS_0\subset SS0⊂S：初始状态集合
G⊂SG\subset SG⊂S：目的状态集合
（感觉和图灵机有点像？）
状态空间的有向图描述：
图的节点：问题的状态
图的弧：状态间的关系
从一个状态转移为另一个状态的某个操作算子序列等价于在有向图中的某一路径
例：八数码问题：状态为棋盘布局，操作算子为移动（上下左右）
旅行商问题：状态为当前地点，操作算子为从一个地点移动到下一个地点
汉诺塔问题：状态为每个金片在哪根柱子上，操作算子为移动金片
传教士与野人问题：状态为左岸的（传教士数，野人数，船数），操作算子为摆渡
符号主义的表示法有：谓词逻辑、产生式表示、框架表示
【人工智能】知识表示相关推荐
- 人工智能——知识表示（部分）
概述 知识是人们在改造客观世界的实践中积累起来的认识和经验. 常见的知识分类如下: 事实性知识也称叙述性知识,常以"--是--"形式出现. 过程性知识:用来描述问题求解过程所需的操 ...
- 人工智能 知识表示方法：谓词逻辑和语义网络 题目练习
1. 下列说话正确的是( ) A 置换可以交换 B 公式集可以合一 C 语义网络是知识的图解表示 D "时间"是春天的实例 解:C 解析 ...
- 人工智能生态环境预测_人工智能在生态领域的应用研究
白莹 摘 要:人工智能技术作为产业革新的重要手段,将其应用至生态领域是一种必然趋势.基于大数据作为人工智能技术发展依据,分析了人工智能在生态保护.修复.灾害防治和生态管理方面的应用.分别将智能机器人. ...
- 机器人建图、感知和交互的语义研究综述
点击上方"3D视觉工坊",选择"星标" 干货第一时间送达 编辑丨当SLAM遇见小王同学 推荐一篇综述 https://arxiv.org/pdf/2101.00 ...
- 贵州大学计算机专业的导师是谁,贵州大学计算机科学与信息学院导师介绍：王以松...
贵州大学计算机科学与信息学院导师介绍:王以松 王以松,男,副教授,硕士研究生导师.主要研究方向:人工智能(知识表示与推理.逻辑程序设计),语义网络等. Em 作者 佚名 次阅读 2012-01-04 ...
- 指挥控制智能化现状与发展
来源:人机与认知实验室 0 引言 人工智能(AI)技术现已进入一个新的高速增长期,是公认最有可能改变未来世界的颠覆性技术.从"深蓝"战胜卡斯帕罗夫,到机器学习技术在语音识别.图像识 ...
- 人工智能：第二章 知识表示方法
第二章 知识表示方法 教学内容:本章讨论知识表示的各种方法,是人工智能课程三大内容(知识表示.知识推理.知识应用)之一,也是学习人工智能其他内容的基础. 教学重点:状态空间法.问题归约法.谓词逻辑法. ...
- 人工智能原理笔记------知识表示方法
人工智能原理笔记------知识表示方法 知识表示 知识表示方法 非结构化方法 谓词逻辑表示法 命题 真值 论域(个体域) 谓词 函数 谓词逻辑组成 连接词 约束量词 谓词公式 谓词逻辑表示步骤 产生 ...
- 动物识别系统c语言编程,人工智能期末论文-简单动物识别系统的知识表示.doc
简单动物识别系统的知识表示 摘要:动物识别系统是人工智能领域中基础也是非常具有代表性的一个智能系统智能系统最基本的组成部分即知识系统成为了研究热点.本文首先介绍知识系统的基本及作用,以动物识别系统的式 ...
- 人工智能----知识与知识表示
人工智能----知识与知识表示 人类的智能活动过程主要是一个获得并运用知识的过程,知识是智能的基础,知识是需要用适当的模式表示出来才能存储到计算机中去. 一. 知识 数 ...
最新文章
- 蚂蚁森林合种计划(2020.12.12,7天有效,每周6更新)
- radware Alten系列的HA配置
- 最短路径迪杰斯特拉算法 c语言,Dijkstra第K最短路径算法
- 重磅 | 激活数据价值 阿里云推出云原生数据库备份DBS新版本
- Python之PIL库
- Android项目集成Weex
- binary - 从(向)二进制串插入和提取字段 / BINARY FORMAT BINARY SCAN
- spring 事务 会话_测试Spring的“会话”范围
- shell 25个常用命令
- 无人值守时代，运维如何保障发布质量？
- python二级考试程序题批改_随机生成百以内加减乘除题目并批改
- ubuntu-server 16.04 启用root用户的方法
- 1000以内完数c语言程序_求1000以内完数 c语言 。。
- 计算机动画的教育应用研究,计算机动画技术在高校CAI课件制作中的应用研究
- 2018年，Windows Phone 8.1还能做什么
- 机器学习笔记六——特征工程之数据预处理
- 讯飞语音 使用步骤(针对androidStudio)：语音转文字：
- ./与../和/的区别
- NAACL最佳方法论文 | 课本上的A*搜索算法可以提升文本生成效果！
- SAP 采购申请、采购订单的审批策略