人工智能第二章课件.pptVIP

Negation and quantity Representation of negation Representation of Quantity §2.9 Specialized Languages Predicate Calculus cannot represent natural language properly. Specialized Languages Binary table Semantic net Frame Binary Table Excellent for expressing information about binary functions; does not work for other type of information. ?I(?iI,?jI)=?ijI Example: 蕴含式的真值表 P Q P?Q T T T T F F F T T F F T 公式 P?Q 只有当P为真且Q为假时不满足 即：P为假时Q为任何公式都能从P推出Q 罗素与教皇 据说大逻辑学家罗素告诉一位哲学家假命题蕴涵任何命题后，那位哲学家颇为震惊，他说：“尊意莫非由2加2等于5能推出你是教皇？”罗素答曰：“正是。”哲学家问：“你能证明这一点么？”罗素答：“当然能。” 罗素与教皇 （1）假定2＋2＝5； （2）由等式两侧减去2，得出2＝3； （3）易位后得出3＝2； （4）由两侧减去1，得出2＝1. 请看：教皇与我是二人。既然2等于1，教皇与我是一人。因此我是教皇。 作业 P42-P43：3、6、7、10 * * * * * Scope 辖域：谓词公式中被限定的公式称为该量词的辖域。 例： (?x P(x, y) → Q(x, y )) ∨ R(x, y) ?z (P(z, t ) → Q(z, t ) ∨ R(z, t)) 量词的嵌套顺序不同，谓词公式的含义也不同。 如：?x (?y Love (x, y )) ?y (?x Love (x, y )) who is y? Raymond 《人人都爱雷蒙德》 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 Semanti