人工智能7课题.ppt

第三部分 知识和推理  命题逻辑 谓词逻辑 知识表示方法;第七章 逻辑智能体;基于知识的智能体;Wumpus世界;[None, None, None, None, None];[None, Breeze, None, None, None];[Stench, None, None, None, None];[None,None, None, None, None];[Stench, Breeze, Glitter, None, None];逻辑;逻辑系统;逻辑和程序语言的对比;语义;逻辑推理--蕴含关系（entailment）;模型检验;与智能体所知内容相矛盾的模型中，KB为假。;α1：[1,2]无陷阱 KB ╞ α1;KB ╞ α2;推理的可靠性和完备性;命题逻辑;逻辑连接符;命题表示;True永真命题，False永假命题 析取范式：仅由有限个简单合取式组成的析取式 p ? （p ? q） ? （?p ? q） 合取范式：仅由有限个简单析取式组成的合取式;语义;Wumpus世界的知识库;推理的基本概念;推理真值表;真值表枚举算法;推理方法;推理的不确定性及其单调性;交换律：p∧q ≡ q∧p p∨q ≡ q ∨ p 结合律： (p∨q) ∨r ≡ p∨ (q∨r) (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) 分配率： p ∨(q ∧ r) ≡ (p ∨q) ∧ (p ∨ r) p ∧(q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) ;摩根律： ? (p∧q) ≡ ? p ∨ ?q ? (p∨q) ≡ ? p ∧ ?q 吸收律： p∨(p∧q) ≡ p p∧(p∨q) ≡ p 同一律： p∨ 0 ≡ p p∧1 ≡ p 蕴含等值式：p ? q ≡ ? p ∨ q （蕴含消去） 假言易位式： p ? q ≡ ? q ? ?p（逆否命题） 双向蕴含消去： p?q ≡( p? q) ∧ (q ? p);合法性和可满足性;;推理规则;推理规则的应用序列--证明;归结;合取范式;单元归结规则 l1 ?… ? lk, m l1 ? … ? li-1 ? li+1 ? … ? lk 其中li and m是互补文字(一个文字是另一个文字的否定式). 全归结规则 l1 ?… ? lk, m1 ? … ? mn l1 ? … ? li-1 ? li+1 ? … ? lk ? m1 ? … ? mj-1 ? mj+1 ?... ? mn 其中li 和 mj 是互补文字;;li 真，則 mj 假 (m1 ? … ? mj-1 ? mj+1 ?... ? mn)真 li 假， l1 ? … ? li-1 ? li+1 ? … ? lk真;将命题写成合取范式 求出子句集S 对子句集使用归结推理规则 归结式作为新子句参加归结 归结式为空子句，S是不可满足的（矛盾），原命题成立;;;KB = (B1,1 ? (P1,2? P2,1)) ?? B1,1 α = ?P1,2 ;前向和反向链接;;前向链接;前向链接;前向链接;前向链接;前向链接;前向链接;前向链接;前向链接;前向链接;从查询q反向进行： 查询q是否是已知事实，否则 寻找知识库中能以q为结论的蕴涵，若其中某个蕴涵的所有前提都能证明为真，则q为真。;反向链接;反向链接;反向链接;反向链接;反向链接;反向链接;反向链接;反向链接;反向链接;反向链接;前向链接和反向链接的比较;基于命题逻辑的智能体;采用推理算法和知识库的智能体;以电路形式直接计算逻辑表达式的智能体;