智能控制课件2.pptVIP

  Intelligent Control （第2课） 第一章 AI导论（二） 逻辑是一种表达事实的形式，可以从老知识推出新知识 （数学演绎法deduction) 命题逻辑是符号推理 符号 （1）P、Q、R、S、T 表示命题，ATOM （2）True, False （3）连接词 ? , ?, ~, ? , ? ? : AND 接续命题 （合取conjunction） ? : OR 交替命题 （析取disjunction） ~, ?: NOT 否定命题 ? : IMPLIES 提示命题 IF THEN ? : EQUIVALENCE 等价命题 IF AND ONLY IF 例 If it is cloudy and wet then it is raining P: It is cloudy Q: It is wet R: It is raining ( ( P ? Q) ? R ) WFF (Well Formed Formulas)