人工智能第二章.pptVIP

Bound and Free variables 约束变量：辖域内与量词中同名的变量称为约束变量，其它不受约束的变量称为自由变量。 Apple(x) → Red(x) ?x (Apple(x) → Red(x)) Apple(x) ∨ (?x Pear(x)) 闭谓词公式：不含自由变量的谓词公式。 基谓词公式：不含任何变量的谓词公式。 逻辑运算符的优先级如Table 2.1。 ↑ / ∩ + - ∪ = ≤ ≥ ∈ ? ? ? ? ? ? ? ? ? ? ? ? Predicate Calculus Representation 事实性知识：否定、析取或合取等连接的谓词公式表示。 规则：用蕴含式表示。 一般方法： 定义谓词：谓语作谓词，主语作个体 用连接词或量词把谓词连结起来，形成谓词公式。 另一种方法：从外到里层层细化。 Example 1 例：所有教师都有自己的学生 定义谓词： TEACHER(x): 表示x是教师 STUDENT(y): 表示y是学生 TEACHES(x,y): 表示x是y的老师 谓词公式： ?x TEACHER(x)→ ?y (TEACHES(x,y)∧ STUDENT(y)) Example 2 例：王宏是计算机系的一名学生。李明是王宏的同班同学。凡是计算机系的学生都喜欢编程。 定义谓词： COMPUTER(x): 表示x是计算机系的学生 CLASSMATE (x, y): 表示x是y同班同学 LIKE (x, y): 表示x喜欢y。 谓词公式： COMPUTER (WangHong) CLASSMATE (LiMing, WangHong) ?x (COMPUTER (x) → LIKE (x, Programing) ) Example 3 例：世上没有无缘无故的爱，也没有无缘无故的恨。 没有无缘无故的爱∧没有无缘无故的恨 ￢存在无缘无故的爱∧￢存在无缘无故的恨 ￢ ?x 无缘无故的爱(x) ∧ ￢ ?y 无缘无故的恨(y) ￢ ?x (爱(x) ∧无缘故(x)) ∧￢ ?y (恨(y)∧无缘故(y)) ￢ ?x (爱(x) ∧￢有缘故(x)) ∧￢ ?y (恨(y)∧￢ 有缘故(y)) ￢ ?x (爱(x) ∧￢ ?z 缘故(x, z)) ∧￢ ?y (恨(y)∧￢ ?t 缘故(y, t)) Example 4 ?x (Apple(x) ? Red(x))与 ?x (Apple(x) ? Red(x)) 的区别 §2.3 Semantics Interpretation（解释） Variable Assignment（变量指派） Satisfaction（满足性） Elementarily equivalent（单体等价性） Declarative Semantics 当且仅当一个公式依照我们采用的概念化准确描述了客观世界时才称该公式为真。 Database Word Conceptualization Objects Functions Relations Definition of Interpretation A mapping between elements of the language and elements of a conceptualization. Denoted as I(?) or ?I . For I to be an interpretation, it must satisfy the following conditions: (a) If ? is an object constant, then I(?) ?|I|. (b) If ? is an n-ary function constant, then I(?) : |I|n?|I|. (c) If ? is an n-ary relation constant, then I(?) ? |I|n. |I| represents the universe of discourse. Example in the textbook Interpretation I Interpretation J a b c d e Example of Interpretation I(P) ? D2 I(P)={1,2,2,1,2,2} Example of Interpretation I(P) ? D2 I(P)={2,1,2,2} Example of Interpreta