第五章 知识表示.pptVIP

第四章 知识表示 北京物资学院管理科学与工程系 赵明茹 知识表示 人工智能的问题求解是以知识为基础的。知识是人工智能的重要研究对象。 如何将已获得的有关知识以计算机内部代码形式加以合理的描述、存储，以便有效地使用这些知识便是知识表示。 第一章 产生式系统 1943年Post首先在一种计算形式体系中提出，产生式来表示串替代规则 60年代开始，成为专家系统的最基本的结构 形式上很简单，但在一定意义上模仿了人类思考的过程 事实的表示 1、事实：断言一个语言变量的值或多个语言变量间的关系的陈述句。 2、（李，年龄，65）和（朋友，老赵，老张） 不确定事实性知识的产生式表示（老李,年龄，40，0.8）;(Friend,Li,Zhang,0.1) 规则的表示 规则：具有因果关系的知识。 基本形式：P→ Q IF P THEN Q P：产生式的前提，前件 Q：一组结论或是操作，后件 不确定规则： P→ Q(可信度) IF P THEN Q (可信度) 产生式与谓词逻辑中蕴涵式的区别 形式相同，蕴涵式只是产生式的一个特殊情况。 蕴涵式只能表示精确性知识。 决定一条知识是否可以用，可以是精确匹配，也可以是不精确匹配。谓词逻辑中，蕴涵式前提条件的匹配要求精确匹配。 蕴涵式本身是一个谓词公式，有真值，产生式没有真值。 1.1 产生式系统的基本组成 组成三要素： 一个综合数据库——存放信息 一组产生式规则（规则库）——知识 一个控制系统（推理机）——规则的解释或执行程序 规则库 规则库就是用于描述某领域内知识的产生式集合，是某领域知识（规则）的存储器，其中的规则是以产生式形式表示的。 规则库中包含着将问题从初始状态转换成目标状态的那些变换规则。 规则库是专家系统的核心，也是一般产生式系统赖以进行问题求解的基础。 推理机 推理机是一个或一组程序，用来控制和协调规则库与综合数据库的运行，包含了推理方式和控制策略。 控制策略的作用就是确定选用什么规则或如何应用规则。通常从选择规则到执行操作分三步完成：匹配、冲突解决和操作。 产生式系统的推理方式 正向推理 反向推理（从目标出发，反向使用规则，求得已知事实） 双向推理 1.2 产生式系统的基本过程 过程PRODUCTION 1，DATA←初始数据库 2，until DATA满足结束条件，do 3，{ 4， 在规则集中选择一条可应用于DATA 的规则R 5， DATA ←R应用到DATA得到的结果 6，} 一个简单的例子 问题：设字符转换规则 A∧B→C A∧C→D B∧C→G B∧E→F D→E 已知：A，B 求：F 一个简单的例子（续1） 一、综合数据库 {x}，其中x为字符 二、规则集 一个简单的例子（续2） 三、控制策略 顺序排队 四、初始条件 {A，B} 五、结束条件 F∈{x} 求解过程 数据库 可触发规则 被触发规则 产生式表示的特点 （1）清晰性 产生式表示格式固定、形式简单、规则间独立，知识库建立容易，修改简单。 （2）模块性 知识库和推理机分离，给知识库的修改带来方便，不用修改程序。 （3）自然性 表示具有因果关系的知识，符合人类的思维习惯，又便于推理。可以表示确定性知识，和不确定知识。 （4）求解效率低. （5）不能表示结构性或层次性的知识 1 .3 问题表示举例 例1：传教士与野人问题（M-C问题） 问题：N个传教士，N个野人，一条船，可同时乘坐k个人，要求在任何时刻，在河的两岸，传教士人数不能少于野人的人数。 问：如何过河。 以N=3，k=2为例求解。 M-C问题（续1） 左岸 右岸 L R L R m 3 0 m 0 3 c 3 0 c 0 3 B 1 0 B 0 1 M-C问题（续2） 1，综合数据库 （m, c, b)， 其中：0≤m, c≤3, b ∈{0, 1} 2，初始状态 （3，3，1） 3，目标状态（结束状态） （0，0，0） M-C问题（续3） 4，规则集 IF (m, c, 1) THEN (m-1, c, 0) IF (m, c, 1) THEN (m,