人工智能-2知识表示-谓词逻辑产生式表示法.ppt

知识的表示方法 状态空间法 问题归约法 谓词逻辑法 语义网络法 框架表示法 面向对象表示 剧本(script)表示 过程(procedure)表示 2.3 谓词逻辑（predicate logic）法 命题逻辑能够把客观世界的各种事实表示为逻辑命题，但是它不适合于表示比较复杂的问题。 谓词逻辑允许表达那些无法用命题逻辑表达的事情。 一阶谓词演算是一种形式语言，其根本目的在于把数学中的逻辑论证符号化。 2.3.1 谓词演算 1.语法和语义(Syntax Semantics) 谓词逻辑的基本组成：谓词符号、变量符号、函数符号和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。 谓词符号：表示个体所具有的性质，或者若干个体之间的关系的符号。习惯用大写字母P，Q，R或GREATER，LOVE表示。 常量符号：用来表示论域内的物体或实体，它可以是实际的物体和人，也可以是概念或具有名字的任何事情。一般用英文字母表中前几个带下标或不带下标的小写字母表示。如a，b，... ，a1，b2，c3，... 。 变量符号：不必明确涉及是哪一个实体。习惯上用带下标或不带下标的小写字母表示。如x，y，... ，x1，y2， 。 函数符号：表示论域内的函数。习惯用小写字母f，g，h表示。 原子公式(atomic formulas)由若干谓词符号和项组成的谓词演算。原子公式是谓词演算基本积木块。 例如，要表示＂机器人(ROBOT)在１号房间(r1)内＂，如图2.19所示，可以应用原子公式: 当机器人ROBOT移到房间r2时，原子公式可以表示为：　　　INROOM (ROBOT, r2)这两个原子公式的通用形式就是 又如,“李的母亲和他的父亲结婚”这句话的原子公式表示如下： 2.连词和量词(Connective Quantifiers) (1) 连词 与·合取（conjunction）　 　合取就是用连词∧把几个公式连接起来而构成的公式。合取项是合取式的每个组成部分。例：LIKE(I，MUSIC)∧LIKE(I，PAINTING)(我喜爱音乐和绘画。) 或·析取（disjunction） 析取就是用连词∨把几个公式连接起来而构成的公式。析取项是析取式的每个组成部分。 例：PLAYS(LILI，BASKETBALL)∨PLAYS(LILI，FOOTBALL)(李力打篮球或踢足球。) 蕴涵（Implication） 　　蕴涵　“=”表示“如果-那么”的语句。用连词=连接两个公式所构成的公式叫做蕴涵。 　　 IF　　 = 　　THEN 　　　　 　　前项 　　　　　后项 　　(左式)　　　　(右式) 例：如果刘华跑得最快，那么他取得冠军 RUNS(LIUHUA，FASTEST)TWINS(LIUHUA，CHAMPION) 非（NOT） 表示否定，～、┑均可表示。 例：机器人不在2号房间内。 ～INROOM(ROBOT，r2) 量词 全称量词(Universal Quantifier)　若一个原子公式P(x)，对于所有可能变量x都具有T值，则用( x)P(x)表示。 例１：所有的机器人都是灰色的 ( 　x)[ROBOT(x) = COLOR(x,GRAY)] 例２：所有学生都穿彩色制服 ( 　x)[Student(x) = Uniform(x,Color)] 存在量词(Existential Quantifier)　　若一个原子公式P(x)，至少有一个变元X，可使P(X)为T值，则用(　 x)P(x)表示。 例： 1号房间内有个物体 　(　 x)INROOM(x,r1) 量化变元(Quantified Variables)　被量化了的变元x-约束变量 2.3.2 谓词公式（Predicate Formulas） 1.谓词公式的定义 原子谓词公式：用P(x1,x2,…,xn)表示一个n元谓词公式其中P为n元谓词，x1,x2,…xn为客体变量或变元。通常把P(x1,x2,…,xn)叫做谓词演算的原子公式，或原子谓词公式。 分子谓词公式：可以用连词把原子谓词公式组成复合谓词公式，并把它叫做分子谓词公式。 合式公式(WFF,well-formed formulas)的递归定义：　　(1) 原子谓词公式是合式公式。　　(2) 若A为合式公式，则～A也是一个合式公式。　　(3) 若A和B都是合式公式，则(A∧B),(A∨B),(A=B), (A←→B)也都是合式公式。　　(4) 若A是合式公式，x为A中的自由变元，则(“　x)A,(　x)A都是合式公式。　　(5) 只有按上述规则(1)至(4)求得的那些公式，才是合式公式。 例题：对于所有的x，如果x是整数，则x或为正的或者为负的。“ ( 　x)(I(x)