国考经典逻辑推理(共127张PPT)精选.pptx

国考经典(jīngdiǎn)逻辑推理第四章经典(jīngdiǎn)逻辑推理基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念基本概念第四章经典(jīngdiǎn)逻辑推理第四章经典(jīngdiǎn)逻辑推理命题逻辑的归结(guījié)法子句(zǐjù)的概念子句(zǐjù)的概念子句(zǐjù)的概念命题逻辑的归结(guījié)法第四章经典(jīngdiǎn)逻辑推理第四章经典(jīngdiǎn)逻辑推理子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤1子句形—谓词(wèicí)公式化为子句集步骤1子句形—谓词(wèicí)公式化为子句集步骤2目标和任何已知的事实都不匹配
归结(guījié)策略
归结时把它所在的子句从子句集中删去。
例：s1={g(x,y)/z,u/w}s2={A/x,B/y,C/w,D/z,w/u}
I(z)∨D(z)
R(x)能阅读(yuèdú)
结论：Herbrand定理
若某条规则匹配成功了，系统能将此规则的结论部分自动加入数据库。
第八十七页，。
例：P[x,f(A)]∨P[x,f(y)]∨Q(y)P[z,f(A)]∨Q(x)
归结(guījié)反演—在定理证明中的应用
A(x,y)∨B(y)∨C(f(x))………….
第一百零九页，。
P(x,y,u,v)表示xy//uv。
证明：有些很聪明的人并不能阅读(yuèdú)。
将该使用规则的后件输入数据库。
国考经典(jīngdiǎn)逻辑推理子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤2子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤3子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤3子句形—谓词(wèicí)公式化为子句集步骤4子句形—谓词(wèicí)公式化为子句集步骤4子句形—谓词(wèicí)公式化为子句集步骤4子句形—谓词(wèicí)公式化为子句集步骤5子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤5子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤6子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤6子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤6子句形—谓词(wèicí)公式化为子句集步骤6子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤6子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤7子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤8子句(zǐjù)形—谓词公式化为子句(zǐjù)集步骤9子句(zǐjù)形子句(zǐjù)形子句(zǐjù)形第四章经典(jīngdiǎn)逻辑推理第四章经典(jīngdiǎn)逻辑推理Herbrand定理(dìnglǐ)Herbrand定理(dìnglǐ)Herbrand定理(dìnglǐ)Herbrand定理(dìnglǐ)Herbrand定理(dìnglǐ)Herbrand定理(dìnglǐ)ANS(Climb(Carry(c,b,Walk(a,c,s4))))
单文字子句策略不完备
基子句：用H域中的元素(yuánsù)代换子句中的变元所得到的子句，即不含变量的子句。
第六十九页，。
结论(jiélùn)：Herbrand定理
s2={A/y}则P[x,f(A),B]
目标和任何已知的事实都不匹配
A(x,y)∨B(y)∨D(x,f(x))
第四十六页，。
A(a,b)……………………………………….
A(x,y)∨B(y)∨C(f(x))………….
第三十四页，。
Herbrand定理给出了一阶逻辑的半可判定算法(suànfǎ)，即仅当被证明定理是成立时，使用该算法(suànfǎ)可以在有限步得证。
例：F={P[x,f(y),B],P[x,f(B),B]}
推论1：子句集S中子句C1和C2的归结式为C12，若用C12代替C1和C2后得到新子句集S1，则S1不可满足性S的不可满足性Herbrand定理(dìnglǐ)（H域）Herbrand定理(dìnglǐ)（H域）Herbrand定理(dìnglǐ)（H域）Herbrand定理(dìnglǐ)（H域）Herbrand定理(dìnglǐ)（H域）Herbrand定理(dìnglǐ)（H域）Herbrand定理(dìnglǐ)Herbrand定理(dìnglǐ)Herbrand定理(dìnglǐ)（H解释）Herbrand定理(dìnglǐ)（H解释）Herbrand定理(dìnglǐ)（H解释）Herbrand定理(dìnglǐ)（H解释）Herbrand定理(dìnglǐ)（H解释）Herbrand定理(dìnglǐ)Herbra