【四】头歌平台实验-确定性推理

最新推荐文章于 2023-04-27 02:12:36 发布

霜淮子

最新推荐文章于 2023-04-27 02:12:36 发布

阅读量2.3k

点赞数 5

分类专栏：知识表示与处理文章标签：算法自然语言处理

本文链接：https://blog.csdn.net/m0_58369038/article/details/128315707

版权

知识表示与处理专栏收录该内容

10 篇文章 7 订阅

订阅专栏

推理是求解问题的一种重要方法。因此，推理方法成为人工智能的一个重要研究课题。目前，人们已经对推理方法进行了比较多的研究，提出了多种可在计算机上实现的推理方法。

本篇文章主要介绍推理的基本概念，然后着重介绍鲁宾孙归结原理及其在机器定理证明和问题求解中的应用。其基本思想是先将要证明的定理表示为谓词公式，并化为字句集，然后再进行归结，如果归结出空句子，则定理得证。鲁宾孙归结原理使定理证明能够在计算机上实现。

第1关推理概述

1、人们在对各种事物进行分析、综合并最后做出决定时，通常是从已知的事实出发，通过运用已掌握的知识，找出其中蕴含的事实，或归纳出新的事实。这一过程通常称为推理，即从初始证据出发，按某种策略不断运用知识库中的已有知识，逐步推出结论的过程称为推理。（A ）

A、对

B、错

2、下列有关推理的说法错误的是（D ）

A、在人工智能系统中，推理是由程序实现的，称为推理机。

B、已知事实和知识是构成推理的两个基本要素。

C、人工智能作为对人类智能的模拟，相应地也有多种推理方式。

D、已知事实是使推理得以向前推进，并逐步达到最终目的的依据。

3、若按推出结论的途径来分，推理可分为（ABC ）

A、演绎推理

B、归纳推理

C、默认推理

D、单调推理

4、下列有关推理的分类正确的是（ABCD ）

A、按照推理过程中推出的结论是否越来越接近最终目标来划分，可分为单调推理与非单调推理。

B、归纳推理是从个别到一般的过程，是从足够多的具体事例中归纳出一般性知识的推理过程。

C、在单调推理中，随着推理向前推进及新知识的加入，推出的结论越来越接近最终目标。

D、如果推理过程中运用与推理有关的启发性知识，则称为启发式推理，否则称为非启发式推理。

5、下列有关推理方向说法正确的是（ C）

A、正向推理是从假设目标开始往事实方向进行的推理。

B、逆向推理是以事实作为出发点的一种推理。

C、把正向推理和逆向推理结合起来所进行的推理称为混合推理。

D、混合推理是指正向推理和逆向推理同时进行，使推理过程在中间的某一步结合起来。

6、下面哪些是常见的冲突消解策略（ ABCD）

A、按针对性排序。

B、按已知事实的新鲜性排序。

C、按匹配度排序。

D、按条件个数排序。

相关知识：

1、推理的定义

人们在对各种事物进行分析、综合并最后做出决定时，通常是从已知的事实出发，通过运用已掌握的知识，找出其中蕴含的事实，或归纳出新的事实。这一过程通常称为推理，即从初始证据出发，按某种策略不断运用知识库中的已有知识，逐步推出结论的过程称为推理。

在人工智能系统中，推理是由程序实现的，称为推理机。已知事实和知识是构成推理的两个基本要素。已知事实又称为证据，用以指出推理的出发点及推理时应该使用的知识；而知识是使推理得以向前推进，并逐步达到最终目的的依据。

例如，在医疗诊断专家系统中，专家的经验及医学常识以某种表示形式存储于知识库中。为病人诊治疾病时，推理机就是从存储在综合数据库中的病人症状及化验结果等初始证据出发，按某种搜索策略在知识库中搜寻可与之匹配的知识，推出某些中间结论，然后再以这些中间结论为证据，在知识库中搜索与之匹配的知识，推出进一步的中间结论，如此反复进行，直到最终推出结论，即病人的病因与治疗方案为止。

2、推理的方式及其分类

人类的智能活动有多种思维方式。人工智能作为对人类智能的模拟，相应地也有多种推理方式。下面分别从不同的角度对他们进行分类。

a.若按推出结论的途径来分，可分为演绎推理、归纳推理和默认推理

演绎推理：演绎推理是从一般知识到具体判断的推理过程。即从问题领域的一般知识和具体问题的已知事实、判断出发，推导出这个具体问题的一个新的判断。
归纳推理：归纳推理是从个别到一般的过程，是从足够多的具体事例中归纳出一般性知识的推理过程。
默认推理：也叫做缺省推理，指推理时缺少部分前提条件、或部分前提条件没有证据证明为真，在我们假设这部分前提条件为真的情况下，推导出结论的过程。这些缺少的、或没有证据证明为真的部分前提条件，通常是当前推理相关领域的一些常识性知识、事实，并且根据经验其存在、且为真的可能性极大，因此我们有理由默认这部分前提条件存在、且为真。

b.按照推理时所用知识的确定性来划分，可分为确定性推理和不确定性推理

确定性推理：推理时所用的知识与证据都是确定的，推出的结论也是确定的，其真值或者为真或者为假。
不确定性推理：推理时所用的知识与证据不都是确定的，推出的结论也是不确定的。不确定性推理又可分为下面两种：

c.按照推理过程中推出的结论是否越来越接近最终目标来划分，可分为单调推理与非单调推理

单调推理：随着推理向前推进及新知识的加入，推出的结论越来越接近最终目标。
非单调推理：由于新知识的加入，不仅没有加强已推出的结论，反而要否定它，使推理退回到前面的某一步，重新开始。

d.若按照推理中是否运用与推理有关的启发性知识来划分，可分为启发式推理和非启发式推理。如果推理过程中运用与推理有关的启发性知识，则称为启发式推理，否则称为非启发式推理。

3、推理的方向

推理过程是求解问题的过程。问题求解的质量和效率不仅依赖于所采用的求解方法（如匹配方法、不确定性的传递算法等），而且还依赖于求解问题的策略，即推理的控制策略。推理的控制策略主要包括：

正向推理
*正向推理是以事实作为出发点的一种推理。** 基本思想：从用户给出的问题的事实开始，扫描系统知识库，得到适用于当前事实的所有知识的集合；运用某种冲突消解策略，从得到的知识集合中选择一条知识；将这条知识与当前事实结合进行推理，推导出新的事实或判断；将推导的结论加入原有的事实集合；重复上述过程，直到到达目标、或知识库中再没有知识可用。

逆向推理
从假设目标开始往事实方向进行的推理。基本思想：用户假设一个目标，找寻这个假设目标成立的证据，首先寻找假设目标的事实证据、或用户交互提供的证据；如果找不到事实证据，接着扫描系统知识库，找寻适用于这个假设的所有知识，使用某种冲突消解策略选择一条知识应用于假设目标，产生新的假设，即子目标；对每个子目标重复前面的过程，直到由假设目标产生的所有子目标都得到事实证据、或用户交互提供的证据。

混合推理
把正向推理和逆向推理结合起来所进行的推理称为混合推理。先正向后逆向：这种方法先进行正向推理，从已知事实出发推出部分结果，然后再用逆向推理对这些结果进行证实或提高它们的可信度。先逆向后正向：这种方法先进行逆向推理，从假设目标出发推出一些中间假设，然后再用正向推理对这些中间假设进行证实。

双向推理
是指正向推理和逆向推理同时进行，使推理过程在中间的某一步结合起来。

4、冲突消解策略

在推理过程中，系统要不断地运用当前的已知的事实与知识库中的知识进行匹配。此时，可能发生如下三种情况：

已知事实恰好只与知识库中的一个知识匹配成功；
已知事实不能与与知识库中的任何一个知识匹配成功；
已知事实可与知识库中的多个知识匹配成功。或者多个（组）已知事实可与知识库中的某一个知识匹配成功；或者有多个（组）已知事实可与知识库中的多个知识匹配成功。

对于第一种情况，由于匹配成功的知识只有一个，所以它就是可应用的知识，可直接把它应用于当前的推理。对于第二种情况，由于找不到可与当前已知事实匹配成功的知识，使得推理无法继续进行下去。这或者是由于知识库中缺少某些必要的知识，或者由于要求解的问题超出了系统功能范围等，此时可根据当前的实际情况作相应的处理。对于第三种情况刚好与第二种情况相反，推理过程中不仅有知识匹配成功，而且有多个知识匹配成功，称为发生了冲突。按一定的策略从匹配成功的多个知识中挑出一个知识用于当前的推理过程称为冲突消解。解决冲突时所用的策略称为冲突消解策略。目前已有多种冲突消解策略，其基本思想都是对知识进行排序，常见的有如下几种：

（1）按针对性排序：优先选择针对性较强的产生式。

（2）按已知事实的新鲜性排序：在产生式系统推理的过程中，每应用一条产生式规则就会得到一个或多个结论或者执行某个操作，数据库就会增加新的事实。另外，在推理时还会向用户询问有关的信息，也会使数据库的内容发生变化。一般把数据库中后生成的事实称为新鲜的事实，即后生成的事实比先生成的事实有较大的新鲜性。若一条规则被应用后生成了多个结论，则即可认为这些结论有相同的新鲜度，也可以认为排在前面（或后面）的结论有较大的新鲜性，根据情况决定。

（3）按匹配度排序：在不确定推理中，需计算机已知事实与知识的匹配度，当匹配度达到某个预先规定的值时就认为它们是匹配的。若产生式r1与r2都匹配成功，则优先选择匹配度较大的产生式规则。

（4）按条件个数排序（少的更接近充要）：如果有多条产生式规则生成的结论相同，则优先应用条件少的产生式规则，因为条件少的规则匹配时花费的时间较少。

第2关：自然演绎推理

1、下列说法正确的是（ C）

A、任何文字的合取式称为字句。

B、空字句是可以满足的。

C、原子谓词公式是一个不能再分解的命题。

D、原子谓词公式及其否定统称为字句。

2、将下列谓词公式转化为字句集: (∀x){[﹁P(x)∨﹁Q(x)]→(∃y)[S(x,y)∧Q(x)]}∧(∀x)[P(x)∨B(x)] 下列步骤中哪些是错误的（ F）

A、消去蕴含符号：( ∀ x ){ ¬ [ ¬ P ( x ) ∨ ¬ Q ( x ) ] ∨ ( ∃ y )[ S ( x ,y ) ∧ Q ( x ) ] } ∧ ( ∀ x ) [ P ( x ) ∨ B ( x ) ]

B、把否定符号转移到谓词前面：( ∀ x ){ [ P ( x ) ∧ Q ( x ) ] ∨ ( ∃ y )[ S ( x ,y ) ∧ Q ( x ) ] } ∧ ( ∀ x ) [ P ( x ) ∨ B ( x ) ]

C、变量标准化：( ∀ x ){ [ P ( x ) ∧ Q ( x ) ] ∨ ( ∃ y )[ S ( x ,y ) ∧ Q ( x ) ] } ∧ ( ∀ w ) [ P ( w ) ∨ B ( w ) ]

D、消去存在量词，设 y 的 Skolem 函数是 f( x )：( ∀ x ){ [ P ( x ) ∧ Q ( x ) ] ∨[ S ( x ,f ( x ) ) ∧ Q ( x ) ] } ∧ ( ∀ w ) [ P ( w ) ∨ B ( w ) ]

E、化为前束形：( ∀ x )( ∀ w ){ [ P ( x ) ∧ Q ( x ) ] ∨[ S ( x ,f ( x ) ) ∧ Q ( x ) ] } ∧ ( ∀ w ) [ P ( w ) ∨ B ( w ) ]

F、化为 Skolem 标准形： ( ∀ x )( ∀ w ){ Q ( x ) ∧ [ P ( x ) ∨ S ( x ,f ( x ) ) ∧Q ( x ) ] ∧ [ P ( w ) ∨ B ( w ) ] }

G、略去全称量词：Q ( x ) ∧ [ P ( x ) ∨ S ( x ,f ( x ) ) ] ∧ [ P ( w ) ∨ B ( w ) ]

H、取消合取词，把母式用字句表示：{Q ( x ) , [ P ( x ) ∨ S ( x ,f ( x ) ) , P ( w ) ∨ B ( w ) }

I、字句变量标准化，即使每个字句中的变量符号不同：{Q ( x ) , P ( y ) ∨ S ( y ,f ( y ) ) ∧ Q ( y ) , P ( w ) ∨ B ( w ) }

第3关：鲁宾孙归结原理

1、谓词公式不可满足的充要条件是其字句集不可满足。（）

A、对

B、错

2、为了要证明字句集S的不可满足性，只要对其中可进行字句进行归结，并把归结式加入字句集S，或者用归结式替换它的亲本字句，然后对新字句集（S1或S2)证明不可满足性就可以了。（）

A、对

B、错

3、设C1=¬P∨Q∨R,C2=¬Q∨S,L1=Q,L2=¬Q，通过归结方法可得C12=¬P∨R∨S

A、对

B、错

第4关：归结反演

S = []  # 以列表形式存储子句集S

""" 读取子句集文件中子句，并存放在S列表中 - 每个子句也是以列表形式存储 - 以析取式分割 - 例如：～p ∨ ～q ∨ r 存储形式为 ['～p', '～q', 'r'] """


def readClauseSet(filePath):
    global S
    for line in open(filePath, mode='r', encoding='utf-8'):
        line = line.replace(' ', '').strip()
        line = line.split('∨')
        S.append(line)


""" - 为正文字，则返回其负文字 - 为负文字，则返回其正文字 """


def opposite(clause):
    if '～' in clause:
        return clause.replace('～', '')
    else:
        return '～' + clause


""" 归结 """


def resolution():
    global S
    end = False
    while True:
        if end: break
        father = S.pop()
        for i in father[:]:
            if end: break
            for mother in S[:]:
                if end: break
                j = list(filter(lambda x: x == opposite(i), mother))
                if j == []:
                    continue
                else:
                    print('\n亲本子句：' + ' ∨ '.join(father) + ' 和 ' + ' ∨ '.join(mother))
                    father.remove(i)
                    mother.remove(j[0])
                    #********** Begin **********#
                    if father == [] and mother == []:
                        print('归结式：NIL')
                        end = True
                    elif father == []:
                        print('归结式：' + ' ∨ '.join(mother))
                    elif mother == []:
                        print('归结式：' + ' ∨ '.join(father))
                    else:
                        print('归结式：' + ' ∨ '.join(father) + ' ∨ ' + ' ∨ '.join(mother))
                    #********** End **********#