您好、欢迎来到现金彩票网!
当前位置:刘伯温四肖中特料 > 推理子句 >

《人工智能教程(张仰森)》(二)

发布时间:2019-06-19 07:34 来源:未知 编辑:admin

  依照推理过程所用知识的确定性,推理可分为确定性推理和不确定性推理。自然演绎推理和归结推理是经典的确定性推理。

  1)依照推理的逻辑基础分为演绎推理(由一般到个别,最经常使用的是三段论)、归纳推理(由个别到一般,最经常使用的是数学归纳法)和默认推理(在知识不完备的情况下如果某些条件已经具备)。演绎推理不能增殖新的知识,而归纳推理即归结推理能产生新的知识。

  3)依照推理过程的单调性分为单调推理(所得结论会越来越接近于终于目标)和不单调推理(会出现结论否定和退回,在知识不全然时发生,现实中常见)。

  2)反向推理。初始目标的选取一般有两种方法:由用户指定目标和智能系统自助选择。

  把正向推理和反向推理结合起来使用,又可分为先正向后反向的混合推理和先反向后正向的混合推理。

  它适用的场合是:已知事实不够充分。由正向推理推出的结论可信度不高。希望得出很多其它的结论。

  4)双向推理。指正向推理和反向推理同一时候进行,在中间的某一步骤汇合而结束。整个推理过程中,两种推理算法根据一定的控制策略交替运行。

  最后谈了推理的冲突消解策略。基本思想是对匹配的知识或规则进行排序,以决定匹配规则的优先级别。经常使用的排序方法有:

  谓词逻辑是在命题逻辑的基础上发展起来的,命题逻辑可看做是谓词逻辑的一种特殊形式。

  首先谈了命题。给出了两个定义:一是可以分辨真假的语句称为命题。二是原子命题是命题中最主要的单位。普通情况仅仅有陈述句才干是命题。但并非全部的陈述句都是命题。通经常使用大写字母表示命题,又可分为命题常量和命题变量。

  最后谈了命题公式。给出了几个连接词,当中—表示“双条件”,P—Q表示“P当且仅当Q”。接着又给出了命题公式的定义,连接词的优先级别次序依次是:非、合取、析取、蕴含、双条件。

  命题逻辑无法把所描写叙述的客观事物的结构及逻辑特征反映出来。也不能把不同事物的共同特征表示出来。

  首先谈了谓词与个体。在谓词逻辑中,将原子命题分解为谓词和个体两部分。一个谓词以一个个体相关联称为一元谓词,刻画了个体的性质;一个谓词与多个个体相关联,称为多元谓词,刻画了个体间的关系。谓词的一般形式是:P(x1, x2, ..., xn),当中P是谓词一般大写,xi是个体一般小写。

  谓词中包括的个体数目称为谓词的元数。另一阶谓词和二阶谓词的概念。个体变元的取范围称为个体域,能够是有限的也能够是无限的。

  然后谈了谓词公式。分别给出了连接词、量词、原子、合式公式、量词辖域(位于量词后面的单个谓词或用括号括起来的合式公式)、约束变元(在辖域内与量词中同名的变元)、自由变元(不受约束的变元)。

  先给出了解释的定义,指出普通情况下谓词公式的线;都是针对某一解释而言的。接着给出了永真性和永假性(不可满足性或不相容性)的定义。对于谓词公式P,假设至少存在一个解释使得公式P在此解释下的线;为T。则称公式P是可满足的。

  给出了谓词等价的概念P=Q,另一些经常使用的等价式:交换律、结合律、分配律、狄摩根定律、否定之否定定律、吸收率、补余律、逆否定率、连接词化定律、量词转换率、量词分配律。

  给出了永真蕴含P—Q。另一些经常使用的永真蕴含式:化简式、附加式、析取三段论、假言推理、拒取式、假言三段论、二难推论、全称固化、存在固化。

  最后谈了置换与合一。在进行知识模式的匹配时,依据两模式的相程度分为确定性匹配和不确定性匹配。基于谓词逻辑的归结推理方法是一种确定性的推理方法。也是一种确定性的匹配。先给出了置换的定义:形如{t1/x1。t2/x2,...。tn/xn}的一个有限集,空置换以ε表示。置换乘法是将两个置换合称为一个置换。

  置换具有结合律,除空置换外,置换不具有交换律。最后谈了合一置换和最一般合一置换(mgu,不唯一)。通过不一致集(两个谓词公式的项从左到右进行比較,那么不同样的项所狗成的集合)的概念引出了求最一般合一置换的算法。

  首先给出了自然演绎推理的概念。它是从一组已知为真的事实出发,直接运用命题逻辑或谓词逻辑中的推理规则推出结论的过程。

  最后谈到了演绎推理的特点。演绎推理所推导出的结论总是蕴含在一般性知识的前提中。它不能增殖新的知识。

  长处是符合人的思维习惯。缺点是easy产生知识或规则的组合爆炸。即推理过程中得到的中间结果数量可能会按指数增长。

  首先谈了谓词公式与子句集。先提出了范式的概念。谈到了两种范式:一是前束型范式(所有量词均非否定地出如今公式的最前面。其辖域一直延伸到公式之末,且不出现连接词—和—),二是Skolem范式(从前束型范式中消去所有存在量词所得到的公式)。给出了将谓词公式化为Skolem标准型的步骤 。

  还谈了子句和子句集,以及谓词公式G与其子句集S在不可满足的意义上是一致的。因此为了证明一个谓词公式G是不可满足的,仅仅要证明其对应的子句集S是不可满足的就能够了,也就是接下来要做的工作了。

  接下来就谈到了Herbrand理论。构造了一个特殊域(称为Herbrand域或H域)。仅仅要对H域上的全部解释进行判定,就可得知谓词公式是否是不可满足的。

  还谈了原子集和H域上的解释(涉及到的定理较多,不再赘述)。Herbrand定理知识从理论上给出证明子句集不可满足的可行性及方法,但在计算机上实现其证明过程却是十分困难的。随后Robinson提出了归结原理,是对自己主动推理的重大突破,使机器定理证明变成现实。

  基本思想是:检查子句集S中是否有空子句。若有。则表明S是不可满足的;若没有。就在子句集中选择合适的子句对其进行归结推理。假设能推出空子句。就说明子句集是不可满足的。

  随后分别谈了命题逻辑中的归结原理、一阶谓词逻辑中的归结原理以及归结原理的完备性。

  3)应用归结原理证明子句集S的不可满足性,从而证明谓词公式G的不可满足性。

  首先谈了引入控制策略。因为採用盲目的归结策略,产生了大量没用的归结式,造成了极大的浪费,所以要引入控制策略。归结策略可分为两类:一是删除策略(删除某些没用的子句来缩小归结的范围),二是限制策略(通过对參加归结的子句进行种种限制,尽可能降低归结的盲目性)。

  1)纯文字删除法。假设文字L出如今S中,而~L不出如今S中,便说L为S的纯文字。应删除。

  假设一个子句中同一时候包括互补文字时,称该子句为重言式。取永线)包孕删除法。设有子句C1和C2。假设存在一个替换σ。使得C1σ∈C2,则称C1包孕于C2。可从子句集中删去那些被包孕的字句。

  1)线性归结策略。从子句集中选取一个顶子句C0開始作归结,每次归结操作都用到上次归结结论的子句。

  3)输入归结策略。要求參加归结的两个子句中,必须至少有一个子句是初始子句集中的子句。这样的归结策略也是不完备的,可是具有简单高效的长处。

  4)支持集策略。要求每一次归结时。參加归结的两个子句中至少有一个是由目标公式的否定所得到的子句,或者是它们的后裔。

  。1)模型方法。分为数方法(分为基于概率的方法和模糊推理方法)和非数方法(包含逻辑法等)两类。

  2)控制方法。控制策略的选择和研究是关键。如启示式搜索、相关性制导回溯等。

  2)推理计算。须要解决不确定性传递问题、证据不确定性的合成问题、结论不确定性的合成问题。

  。1)单个证据的不确定性获取方法。初始证据可信度由用户指定,推出结论可信度由不确定性传递算法计算得到。

  2)组合证据的不确定性的获取方法。当证据是多个单一证据的合取时。取全部单一置信度里的最小。当时析取时,取最大。

  。1)仅仅有单条知识支持结论时。结论可信度的计算方法。计算公式为CF(H) = CF(H,E) × max{ 0, CF(E) }。没有考虑证据为假时对结论H所产生的影响。

  3)在已知结论原始可信度的情况下。结论可信度的更新计算方法。即已知CF(H,E)和CF(H),求CF(H/E),依据CF(E)的区间有不同的公式。

  。并通过几个样例进行了说明。可是贝叶斯公式要求条件相互独立,而且先验概率和证据的条件概率非常难得到保证。

  。推理网络是把全部规则知识连接成一个有向图,图中各节点代表如果结论,弧代表规则。每一条弧与两个数(LS, LN)联系,LS表现规则成立的充分性,用于指出证据E对结论H为真的支持程度。LN表现规则成立的必要性。用于指出E对结论H为真的必要性程度。他们的取范围是[0,1),由领域专家给出详细。

  。知识就是推理网络中的一条弧,它的不确定性是以一个数(LS,LN)来进行描写叙述的。

  。对于单个证据不确定性的表示,将后验概率P(E/S)和C(E/S)的关系规定为分段线;关系。对于组合证据不确定性的表示方法,假设是多个单一证据的合取,还是取全部里面的最小,析取时取最大。又谈了

  1)确定性证据。分别讨论了证据肯定出现的情况、证据肯定不出现的情况以及关于知识规则强度(LS,LN)的意义讨论。

  2)不确定性证据。分别讨论了用概率表示证据的不确定性,用可信度表示证据的不确定性。

  。证据理论是用集合来表示命题的,在D-S理论中。知识是用产生式表示的,其不确定性通过一个集合形式的“可信度因子”来表示,证据和结论是用集合表示的,其不确定性是用信任函数和然函数来表示的。之后分别介绍了

  1)概率分配函数:作用是把样本空间D上的随意一个子集A都映射为[0,1]上的一个数M(A)。当A相应一个命题时,M(A)则是对相应命题不确定性的度量。各子集的概率分配数并非概率。

  2)信任函数:又称下限函数,用Bel(A)来表示命题A为线;然函数:又称上限函数。用Pl(A) = 1 - Bel(~A) 表示命题A不为假的信任程度。Pl(A) - Bel(A) 表示既不为真也不为假的情况,即“不知道”。对命题A。用区间(Bel(A), Pl(A))来描写叙述A的不确定性。并把Bel(A)和Pl(A)作为度量其信任程度的下限和上限。

  4)概率分配函数的正交和。假设遇到了几个不同的概率分配函数。则可用概率分配函数的正交和运算将它们合并成一个概率分配函数。

  。定义了仅仅有单个元素构成的子集和样本空间D本身的基本概率数有可能大于0,其它子集的基本概率数均为0。

  1)证据不确定性的表示。用信任度函数 f(E) 表示。初始简单证据时由用户给出,推理所得结论作证据时由推理计算得到。合取组合证据取最小,析取组合证据取最大。

  。模糊集与隶属函数是一一相应的,模糊集中的元素实际上就是论域中各元素的隶属函数,因此隶属函数的构建是建立模糊集的关键。

  。提出了模糊命题的概念,又说明了模糊知识的表示:模糊产生式规则。IF E THEN H (CF,λ)。

  最后是模糊推理模型。在模糊匹配过程中,对其相度的计算就转化成了对其对应模糊集的计算了。

  冲突消解的方法有:按匹配度大小排序法、按加权平均法、按广义顺序关系排序。模糊推理有三种基本推理模式:模糊假言推理、拒取式推理、模糊假言三段论。当知识中仅仅含有简单条件且不带可信度因子时,称为简单模糊推理。模糊关系的构造方法有:扎德方法、麦姆德法、米祖莫托法。最后又举了几个样例。

http://mojdzwonek.com/tuiliziju/292.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有