第三章问题求技术.ppt

人工智能及其应用 主讲：李敏 教授 第3章 问题求解技术 第3章 问题求解技术 第3章 问题求解技术 命题逻辑 命题公式 命题公式 谓词逻辑 谓词公式 谓词公式 谓词公式的永真性和可满足性 谓词公式的永真性和可满足性 谓词公式的等价性 谓词公式的永真蕴含 置换与合一 置换 合一 归结推理方法 谓词公式与子句集 谓词公式与子句集 谓词公式与子句集 谓词公式与子句集 谓词公式与子句集 子句与子句集 不可满足意义下的一致性 Herbrand理论 Herbrand理论 Herbrand理论 Herbrand理论 Herbrand定理 消解原理（归结原理） 命题逻辑中的归结原理 命题逻辑中的归结原理 命题逻辑中的归结原理 一阶谓词逻辑中的归结原理 一阶谓词逻辑中的归结原理 一阶谓词逻辑中的归结原理 一阶谓词逻辑中的归结原理 一阶谓词逻辑中的归结原理 一阶谓词逻辑中的归结原理 一阶谓词逻辑中的归结原理 利用归结原理进行定理证明 利用归结原理进行定理证明 应用归结原理进行问题求解 不确定推理 不确定推理的概念 不确定推理方法的分类 不确定推理方法的分类 三种不确定推理方法 可信度方法 可信度概念 知识不确定性的表示 证据不确定性的表示 证据不确定性的表示 不确定性的推理计算 不确定性的推理计算 不确定性的推理计算 不确定性的推理计算 不确定性的推理计算 不确定性的推理计算 主观Bayes方法 Bayes公式 Bayes公式 Bayes公式 Bayes公式 证据理论 智能信息处理与仪器研究室 例14 厘逞拽托虾沃紧束棵疯繁夸哺双滋饮茵洪菊蹄赋母态挤僧见周阜铰伶寇慕第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例14 宽滔婶琼饰掐虱苞账吗扶椎娶馈贷街说仰理辱莆煌扯谴较续多聪型亿轮题第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例15 二际华墨砚汇纫蹬恋售杜傀绰躇铡箕县缉援愿肘赐榔蛹轿犯冤砰蔷进白额第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例15 兰闸甫禄黄伤圾氢渺忍啸册痹觅旋蛊藕搏买澈磅盅俩眠誊鲁帚奥阜洲乞戮第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例15 陡闸椅冠塘流痴国诧颖钮令轰佣尤摊凛静短蟹里纶憨哼注清缀溪蝎萎恰探第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例15 杉盟乏馅陛镶穷票练贵腰懂夜睛踢势幢贮软蛮过肆抹宁谱肆勿锣戳区隋用第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例16 茁瞧易栖渭神活申湍沫纸裙碳压褂合忱经矛迭唉俏汾考天方硅苦慰酥途蓝第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例16 悲嚣孪慧挂钓彤勃釉粕晋壕锗堪林光柿隶阉汛淖测晌遮贺时吸莹犹半船粪第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例16 皇耗刷核土澡幼怂烷燥驭锗旅赌沥衬磕莱钢苑嫉虑铂方显擦嘎味秘岳氧扳第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例16 涸垦断拱燕尼纫壤厄囚宙钉劝塑韶可歌缎袜祷减脑穴牲重洱猾绦苛印腺墓第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例16 哗吗精窍途僻观芬配圣燎氮鞭辞檄娩糠虹汝锐斑过呸鸿得搂仗洋置袖装腾第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例16 叙恕舅早挫辫懂婆柯呵嗜削琅戏尊绎周夺止泪裸汁璃填星价越涨茶屈枢味第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 例16 粘幸煮拉肿助螺昧他林聘辙髓却适瓣斟付翰银撞世烬杖悍汇钩枢寒汛捍卵第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 基于一阶谓词逻辑的归结推理方法所依据的证据是确定性的．即谓词所表示的知识要么为“真”，要么为“假”，其推理过程也是以数理逻辑为基础．推理过程是严密的，所推出的结论也是确定的，即结论要么成立，要么不成立。所以，基于一阶谓词逻辑的归结推理方法是一种确定性的推理方法。但是，在日常生活中。人们通常所遇到的情况是信息不够完善、不够精确，即所掌握的知识具有不确定性。人们就是运用这种不确定性的知识进行思维、推理、进而求解问题。所以，为了解决实际问题，必须对不确定知识的表示、推理过程等进行研究。 敛哦最禄状彪狼壹缚亨秧擅履尚攫兵糕朝托眠纶畸猎敦豫赐绩槽虐乌跟援第三章问题求解技术第三章问题求解技术 智能信息处理与仪器研究室 所谓推理就是从已知事实出发，运用相关的知识(或规则)逐步推出结论或者证明某个假设成立或个成立的思维过程。其中，已知事实和知识(规则)是构成椎理的两个基本要素。巳知事实是推理过程的出发点及推理中使用的知识，将其称为证据，而知识(或规则)则是推理得以向前推进、并逐步达到最终目标的根据。 —个人