2012AI课件第2章知识表示2幻灯片.pptVIP

产生式表示法 过程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 产生式表示法 一、综合数据库 {x}，其中x为字符 二、规则集 1，IF A∧B THEN C 2，IF A∧C THEN D 3，IF B∧C THEN G 4，IF B∧E THEN F 5，IF D THEN E 产生式表示法 三、控制策略 顺序排队 四、初始条件 {A，B} 五、结束条件 F∈{x} 求解过程 数据库 可触发规则 被触发规则 A，B （1） （1） A，B，C （2）（3） （2） A，B，C，D （3）（5） （3） A，B，C，D，G （5） （5） A，B，C，D，G，E （4） （4） A，B，C，D，G，E，F 1，IF A∧B THEN C 2，IF A∧C THEN D 3，IF B∧C THEN G 4，IF B∧E THEN F 5，IF D THEN E 规则1：如果：动物是哺乳动物，且是食肉动物，且是黄褐色的，且有暗斑点，则：该动物是豹 规则2：如果：动物是黄褐色的，且是哺乳动物，且是食肉动物，且有黑条纹，则：该动物是虎 规则3：如果：动物有暗斑点，且有长腿，且有长脖子，且是有蹄类动物，则：该动物是长颈鹿。 规则4：如果：动物是有蹄类动物，且有黑条纹，则：该动物是斑马。 规则5：如果：动物是鸟，且不会飞，且有长脖子，且有长腿，且是黑白色的，则：该动物是鸵鸟。 规则6：如果：动物是鸟，且不会飞，且会游泳，且是黑白色的，则：该动物是企鹅。 规则7：如果：动物是鸟，且善飞，则：该动物是信天翁。 规则8：如果：动物有毛发，则：该动物是哺乳动物。 规则9：如果：动物有奶，则：该动物是哺乳动物。 规则10：如果：动物有羽毛，则：该动物是鸟。 规则11：如果：动物会飞，且会下蛋，则：该动物是鸟。 规则12：如果：动物吃肉，则：该动物是食肉动物。 规则13：如果：动物有犬齿，且有爪，且眼盯前方，则：该动物是食肉动物。 规则14：如果：动物是哺乳动物，且有蹄，则：该动物是有蹄类动物。 规则15：如果：动物是哺乳动物，且反刍，则：该动物是有蹄类动物。 动物识别 知识的概念 选取知识表示的因素 能否充分表示相关的领域知识 是否有利于对知识的利用 是否便于知识的组织、维护和管理 是否便于理解和实现 …… 总之，人工智能问题的求解是以知识表示为基础的。如何将已获得的有关知识以计算机内部代码形式加以合理地描述、存储、有效地利用便是表示应解决的问题。 第二章 知识表示 状态空间法 问题规约法 谓词逻辑法 产生式表示法 谓词逻辑法 个体词,谓词,量词 项的递归定义： 个体常项是项； 个体变项是项； 如果f是n-元函数符号，t1，t2，... ，tn是项，则f（t1，t2，... ，tn）也是项。 原子：如果P是n-谓词，t1，t2，... ，tn是项，则P（t1，t2，...，tn）是一个原子。由若干谓词符号和项组成。 谓词逻辑法 谓词公式用P(x1,x2,...,xn)表示一个n元谓词公式，其中P为n元谓词，x1，x2，... ，xn为个体变项。通常把P（x1，x2，... ，xn）叫做谓词演算的原子谓词，把用连词把原子谓词公式组成复合谓词公式叫做合式公式(谓词公式)。 连词： ∧（与）、∨（或）、 → （蕴涵）、~（或┐）（非）、-（等价）。 合取：用连词∧把几个公式连接起来而构成的公式叫做合取，而此合取式的每个组成部分叫合取项。 例如“我喜爱音乐和绘画”可写成：LIKE（I，MUSIC）∧LIKE（I，PAINTING） 又如“李住在一幢黄色的房子里”LIVES（LI，HOUSE-1）∧COLOR（HOUSE-1 , YELLOW） 谓词逻辑法 连词(续1) 析取：用连词∨把几个公式连接起来而构成的公式叫做析取，而此析取式的每个组成部分叫析取项。 例如“李明打篮球或踢足球”可表示为：PLAYS（LIMING，BASKETBALL）∨PLAYS（LIMING，FOOTBALL） 蕴涵：连词→用来表示如果-那么的语句。用连词→连接两个公式所构成的公式叫做蕴涵。蕴涵的左式叫做前项，右式叫做后项。 例如“如果该书是何平的，那么它是兰色封面的”，可表示为：OWNS（HEPING，BOO