第02章节知识点表示方法.pptVIP

; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ;概述;产生式可表示的知识种类;基本形式;知识的表示方法;知识的表示方法;产生式系统的组成;1）规则库 规则库就是用于描述某个领域内知识的产生式集合，是某个领域知识的存储器。规则库包含着将问题从初始状态转换成目标状态的转换规则。它是系统的核心，知识的完整性、一致性，知识的准确性和灵活性都对知识的性能和运行效率产生直接影响。;2）综合数据库 又称为事实数据库，用于存放输入的事实、中间的运行结果和最后结果的工作区。当规则库中的某条产生式前提与综合数据库的某些已知事实匹配时，该产生式就被激活，推理出结论放入综合数据库中，作为后面推理的已知事实。显然综合数据库是动态变化的。 ;3）推理机 用来控制和协调规则库和综合数据库的运行，包含了推理方式和控制策略。控制策略的作用就是选择什么规则和如何应用规则，通常分以下三步完成： （1）匹配 匹配就是将当前综合数据库的事实与规则中的条件进行比较，如果匹配则这一规则称为匹配规则。因为存在可能同事有几条规则与事实匹配，究竟选择那条规则去执行？这就是需要“冲突解决”。 （2）冲突解决 冲突解决的策略通常有：专一性排序、规则排序、规模排序和就近排序是比较常见的冲突解决策略。 （3）操作 操作就是当前综合数据库将被修改，其他的规则有可能称为启动规则。; 产生式系统推理机的推理方式有正向推理、方向推理和双向推理三种。 1 正向推理 正向推理是从已知的事实出发，通过规则库求解结论。过程就是推理机的推理过程。 2 反向推理 方向推理是从目标出发，方向使用规则，求得已知的事实。这种推理方式称为目标驱动方式。 3 双向推理 双向推理是两个方向同事进行的推理，直至某个中间界面上两个方向结果相符便结束。; 产生式表示方法有以下特点： 1 清晰 产生式表示格式固定、形式简单、规则相互独立，没有直接关系，所以表达清晰。 2模块性 知识库与推理机是分离的，这种结构给知识库的修改带来方便，无需修改程序，对系统的推理路径也容易解释。 3自然性 产生式表示方法用“如果……，则……”的形式表示知识，符号人类思维习惯，是人们常用的已知表达因果关系的知识表示形式，直观自然。; ;命题逻辑内容;一.基本概念;命题的值(真值, 真假值, truth value): 真(T, 1) 假(F, 0) Use an uppercase symbol to denote a proposition. P: 北京是中国的首都. Q: 长春是中国最大的城市. 定义(原子公式,原子, atomic formula, atom) 表示命题的符号称为原子公式.;复合命题(1);复合命题(2) ;logical connectives;~G: 北京不是中国的首都; G:北京是中国的首都; H∧G: 张三是科学家, 并且李四是文学家;(合取式) H: 张三是科学家; G:李四是文学家; H∨G: 2是偶数或者2是奇数; (析取式) H: 2是偶数; G: 2是奇数; ;合适公式 (wff, well-formed formula);复合命题的真假;合适公式的值;真值表(truth table);合适公式真值表;二.公式的解释(interpretation);公式的值是公式G在一个解释下的值;;三.永真与永假;定义(永真式): 一个公式称为永真式, 当且仅当对所有解释, 公式的值均为真; (重言式, a valid formula, or a tautology) 一个公式称为非永真式, 当且仅当它不是永真式; (invalid) 定义(永假式): 一个公式称为永假式, 当且仅当对所有解释, 公式的值均为假; (不相容式, 不可满足, an inconsistent formula, unsatisfiable, or a contradiction) 一个公式称为非永假式,当且仅当它不是永假式. (相容式, 可满足, consistent, satisfiable) ;;性质;四.范式;变换公式;~(~F) = F (否定之否定) ~(F∨G) = ~F∧~G (狄摩根定律) ~(F∧G) = ~F∨~G ;化公式为范式;例子:;五.逻辑结论;定理1 给定公式F1, F2,… Fn和G