第三章-谓词逻辑（第一部分）（- Chapter-3- Predicate- Logic）课件.pptVIP

(1) 原子公式：由若干谓词符号和项组成。 (2) 常量符号（项）：表示论域内的物体或实体，可以是物、人、概念或事情。 (3) 变量符号（项） ：允许不必明确涉及是哪一个实体，如INROOM(X, Y), X, Y即为变量。 (4) 函数符号：表示论域内的函数。例如函数符号MOTHER可表示某人与他或她母亲的映射。 原子公式举例： “李的父亲与他的母亲结婚” MARRIED[father(LI), mother(LI)] 说明： (1) 一般可用大写字母串表示谓词符号，如INROOM, MARRIED。 (2) “大写字母＋数字短串”即可表示谓词符号，也可作为常量符号。如，P1, Q2, … (3) 常量符号与谓词符合的区别要通过上下文来区分。 (4) 小写字母表示函数符号，如father, mother (5) 原子公式的真、假。对已定义了某个解释的一个原子公式，只有当其对应的语句在定义域内为真时，才具有真值；反之，也成立。 3.1.3 连词和量词 原子公式是谓词演算的基本“积木块”，应用连词?（与）、?（或）、蕴涵（隐含）?或? (1)连词? 表示“合取”，组成复合句子。例如： “我喜爱音乐和绘画” LIKE(I, MUSIC) ? LIKE(I, PAINTING) “李住在一幢黄色的房子里” LIVES(LI, HOUSE-1) ? COLOR(HOUSE-1, YELLOW) (2) 连词? 表示“析取”，表示可兼有的“或”。例如： “李明打篮球或踢足球” PLAYS(LIMING, BASKETBALL) ? PLAYS(LIMING, FOOTBALL) (3) 真值的确定 每个合取项都为真（T），则合取值为真。 若析取项中至少又一个取真，则析取值为真（T），否则为假(F)。 (4) 连词? 表示“如果…那么…”。例如： “如果兔子跑得最快，那么它取得冠军” RUNS(RABBIT, FASTEST) ? WINS(RABBIT, CHAMPION) 蕴涵：用“?”连接两个公式所构成的公式，其中，蕴涵的左式称为“前项”，右式成为“后项”。 蕴涵真值的确定： a) 若前项取值为假（F），不管其后项的真值如何(T or F)，则蕴涵取值为真(T)。 b) 若后项取值为真（T），不管其前项的值为如何(T or F)，则蕴涵取值为真(T)。 c) 只有在前项为真，后项为假时，蕴涵为假。 (5) “?” （非）或“?”用来否定一个公式的真值。 ? INROOM(ROBOT, R2) (6) 命题演算是谓词演算的子集，不使用变量项，它缺乏用有效的方法来表达多个命题的能力。如： “所有的乌鸦都是黑的” (7) 全称量词 ?x：表示“所有的x或任一个x” 存在量词 ?x：表示“存在一个x，至少有一个x” (?x)[ROBOT(x) ? COLOR(x, GRAY)] (?x) INROOM(x, R1) (8) 约束变量：经过量化的变量 自由变量：未经量化的变量 我们一般关心的是受约束变量，由它构成的合适公式叫“句子”。 注意：在讨论一阶谓词运算时，不允许对谓词符号或函数符号进行量化。如下面的表示是不允许的： (?P)P(A) 错误！！ 3.2 谓词公式 3.2.1 谓词公式的定义 原子公式（原子谓词公式）：P(x1, x2, … , xn ) 分子谓词公式：用连词（?, ?, ?等）把原子谓词公式组成的复合谓词公式。 例如：“任何整数或者为正或者为负” (?x) [ I(x) ? ( P(x) ? N(x) ) ] ? ? ? ? 所有x x是整数 x是整数 x是负数 Syntax item Usually used Others Negation (not) ~P, ?P P（加上划线） Conjunction(and) P ? Q PQ P·Q PQ P,Q Disjunction(or) P ? Q P|Q P;Q P+Q Implication(if) P?Q P?Q P ? Q Equivalence(iff) P?Q P?Q P?Q