经典逻辑推理 .pptVIP

*郑州大学振动工程研究所4.1基本概念目前解决冲突的策略有多种，其基本思想都是对知识进行排序，常用的有以下几中：1、按针对性排序设有如下两条产生式规则：r1:IFA1andA2and…AnTHENH1r2:IFB1andB2and…BmTHENH2如果存在最一般合一，使得r1中每一个Ai都可变成相应的Bi，即r2中除了包含的r1全部条件A1,A2,…,An外，还包含其它条件，则称r2比r1有更大的针对性，r1比r2有更大的通用性。第31页，共73页，星期日，2025年，2月5日*郑州大学振动工程研究所4.1基本概念上面的策略是优先选用针对性较强的产生式规则。(即应选用r2)因为它要求的条件较多，其结论一般更接近目标，一旦得到满足，可缩短推理过程。第32页，共73页，星期日，2025年，2月5日*郑州大学振动工程研究所4.1基本概念2、按已知事实的新鲜性排序在产生式系统推理过程中，每应用一条产生式规则就会得到一个或多个结论，数据库就会增加新的事实。把数据库后生成的事实称为新鲜的事实，即后生成的事实比先生成的事实具有较大的新鲜性。设规则r1可与事实组A匹配成功，规则r2可与事实组B匹配成功，则A与B中哪一组新鲜与它匹配的产生式规则就先被应用。第33页，共73页，星期日，2025年，2月5日*郑州大学振动工程研究所3、按匹配度排序在不确定性匹配中，为了确定两个知识模式是否可以匹配，需要计算这两个模式的相似程度，当其相似程度达到某个预定的值时，就认为它们是可匹配的。若两条规则均按匹配度匹配成功，则匹配度大的那条规则优先启用。第34页，共73页，星期日，2025年，2月5日*郑州大学振动工程研究所4、根据领域问题的特点排序某些领域问题可事先知道它的某些特性，可根据这些特性把知识排成固定的顺序，按照领域知识特性决定匹配顺序。第35页，共73页，星期日，2025年，2月5日*郑州大学振动工程研究所5、按上下文限制排序把产生式规则按它们所描述的上下文分成若干组，在不同的条件下，只能从相应的组中选取有关的产生式规则。这样可以减少冲突的发生6、按冗余限制排序若哪一条产生式规则被应用后产生冗余知识，则就降低它被应用的优先级。7、按条件个数排序如果有多条产生式规则生成的结论相同，则要求条件少的产生式规则被优先应用。第36页，共73页，星期日，2025年，2月5日*郑州大学振动工程研究所4.2自然演绎推理从一组已知的事实出发，直接运用经典逻辑推理规则推出结论的过程称为自然演绎推理。其中，基本的推理规则是P规则、T规则、假言推理、拒取式推理等。假言推理的一般形式是：P，P?Q?Q拒取式的一般形式是P?Q，?Q??P以下是自然演绎推理的例子：第37页，共73页，星期日，2025年，2月5日*郑州大学振动工程研究所4.2自然演绎推理（续）例1：已知A，B，A?C，B?C?D，D?Q求证Q1、AP规则2、A?CP规则3、CT规则1和24、BP规则5、B?CT规则3和46、B?C?DP规则7、DT规则5和68、D?QP规则9、QT规则7和8问题得证P规则：在推理的任何步骤上都可引入前题T规则：在推理时，如果前面步骤中有一个或多个永真蕴涵公式S，则可把S引入推理过程。第38页，共73页，星期日，2025年，2月5日*郑州大学振动工程研究所4.2自然演绎推理（续）例2设已知如下事实；（1）凡是容易的课程小王（Wang)都喜欢。（2）C班的课程都是容易的。（3）ds是C班的一门课程求证小王喜欢ds这门课程。证明：首先定义谓词如下：EASY(x):x是容易的LIKE(x,y):x喜欢yC(x):x是C班的一门课程于是问题可以表示成：第39页，共73页，星期日，2025年，2月5日*郑州大学振动工程研究所4.2自然演绎推理（续）已知：?x(EASY(x)?LIKE(Wang,x))?x(C(x)?EASY(x))C(ds)求证：LIKE(Wang,ds)证明：1、?x(C(x)?EASY(x))P规则2、C(ds)?EASY(ds)T规则13、?x(EASY(x)?LIKE(Wang,x))P规则4、EASY(ds)?LIKE(Wang