北航 计算理论 第四章 推理和计算课件.pptVIP

计算理论;主要内容;4.1 逻辑基础知识 ;4.1 逻辑基础知识 ;;;;;;;;;;;;;;;4.2 推理相关知识;;;;;;;;;;;;;;;;;4.2 Horn逻辑程序;4.2 Horn逻辑程序;4.2 Horn逻辑程序;4.2 Horn逻辑程序;4.2 Horn逻辑程序;4.2 Horn逻辑程序;;;4.3 命题Horn逻辑中的自动推理 ;4.3 命题Horn逻辑中的自动推理;4.3 命题Horn逻辑中的自动推理;原子A的推理算法TorF(A)如下： TorF(A) { i=0; while (in) //n是此Horn逻辑程序内子句的个数 { if (第i条规则的头部=A) //用第i条规则考察A { if (第i条规则的体是空的) then return 1; // A是 事实 else if ( TorF(A1)=… = TorF(Am)=1) //A1… Am 是第i条规则体内的所有原子 then return 1; //由i规则推出原子A的正确 } i=i+1; //第i条规则体内并非所有原子正确，从而需 要考察别的规则 } return 0; //考察了所有的规则，都不能推出A };4.4 谓词Horn逻辑中的自动推理 ;4.4 谓词Horn逻辑中的自动推理;4.4 谓词Horn逻辑中的自动推理; 4.4 谓词Horn逻辑中的自动推理;4.4 谓词Horn逻辑中的自动推理;4.4 谓词Horn逻辑中的自动推理;4.4 谓词Horn逻辑中的自动推理;4.4 谓词Horn逻辑中的自动推理;4.4 谓词Horn逻辑中的自动推理; TorF(A) { i=0； Θ=空集； while(in) //n是此Horn逻辑程序内子句的个数 {if(第i条规则的头部=A(t1,…,tn) //t1,..,tn是项) { //用第i条规则考察A ? = Unify(A(t1,…,tn), A(s1,…,sn))； if ? = “无法合一”, goto L1 if(第i条规则的体是空的，即事实) then Θ=Θ?{?}； else{// A1… Am 是第i条规则体内所有原子，m0 // 下面i1, i2,…,im初值均为1 while(TorF(A1?)[i1]!=NULL) {?1=TorF(A1?)[i1]; i1=i1＋1;; while(TorF(A2?1)[i2]!=NULL) {… while(TorF(Am? m-1)[im]!=NULL) { ? m=TorF(A1?)[im]; ?= ? ?? 1?…?? m; Θ=Θ? {?}； im＝ im +1; } … } } } } L1 : i=i+1; //考察下一条规则 } return Θ; };Prolog;;执行方式 有哪些信誉好的足球投注网站：在程序中自上而下地有哪些信誉好的足球投注网站事实和规则； 匹配：将目标中的项与事实和规则进行匹配； 回溯：当目标中一项失败时，如果目标中有已经成功的的项，就重新调用这些成功项中的一个，谋求新的成功。;Prolog语言