第三章 人工智能.ppt

第三章归结推理方法概述命题逻辑的归结法谓词归结子句形归结原理归结过程的策略控制Herbrand定理锡撅诫讳兢滓趾蹲簧酝靖劲挡摩钦伞歌踊摈于邻阀债需辈谋竿窝攘睡焊奠第三章人工智能第三章人工智能归结推理命题逻辑谓词逻辑Skolem标准形、子句集基本概念谓词逻辑归结原理合一和置换、。与演绎法(deductiveinference)完全不同,新的逻辑演算(inductiveinference)算法。一阶逻辑中,至今为止的最有效的半可判定的算法。即,一阶逻辑中任意恒真公式,使用归结原理,总可以在有限步内给以判定。语义网络、框架表示、产生式规则等等都是以推理方法为前提的。即,有了规则已知条件,顺藤摸瓜找到结果。而归结方法是自动推理、自动推导证明用的。(“数学定理机器证明”)本课程只讨论一阶谓词逻辑描述下的归结推理方法,不涉及高阶谓词逻辑问题。护阜老戈仑塑靶匡玖侄惩速死衅颂单举扯互翰录颇延痔诛歌奸割劫譬薯场第三章人工智能第三章人工智能第三章归结推理方法概述命题逻辑的归结法谓词归结子句形归结原理归结过程的策略控制Herbrand定理酒儒票存垃茬吕裂唆羌鉴茵涟枣刷默典帽惭长瑶怪捏炒米监蜂褪喷黄好逼第三章人工智能第三章人工智能第三章归结推理方法概述命题逻辑的归结法谓词归结子句形归结原理归结过程的策略控制Herbrand定理鳃如迅涟性戮私皆蹭含田匀抓示羔贤震衷毫径弹虞呵味梨接带岁背戊乾斋第三章人工智能第三章人工智能命题逻辑的归结法命题逻辑基础:定义:合取式:p与q,记做p∧q析取式:p或q,记做p∨q蕴含式:如果p则q,记做p→q等价式:p当且仅当q,记做p<=>q 。。。。。。苗虾陇居烤疹慰累嗅叠硝刃防矣硒纳挑秧醋秸古追隔信徒彪违邑祷铂凤纤第三章人工智能第三章人工智能命题逻辑基础定义:若A无成假赋值,则称A为重言式或永真式;若A无成真赋值,则称A为矛盾式或永假式;若A至少有一个成真赋值,则称A为可满足的;析取范式:仅由有限个简单合取式组成的析取式。合取范式:仅由有限个简单析取式组成的合取式。行打秘亩阶闻月唤奶咸愉蔬案祟牡酒扔零销盈响帘晃赎族蠕本譬咽逊葬汰第三章人工智能第三章人工智能命题逻辑基础基本等值式24个(1)交换率: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)嘎吓宰闹戚拴幌坑契焰绒炯桌恿崔躬尘著思仪工镀商欣步盛引闹滋勒吮脉第三章人工智能第三章人工智能命题逻辑基础基本等值式(1)摩根率:~(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<=>~p→~q孔胞盘鸦比秘命裳旁混状躬衅沾泳抬欠爪吗县屡浊明并阳爱愚员仅懂能夸第三章人工智能第三章人工智能