波利亚合情推理模式合理性之新证..docVIP

波利亚合情推理模式合理性之新证 陈翠花 翟永恒 （河南师范大学 数学与信息科学学院，河南 新乡 453007）， P（A）= 其中P(A)∈[0，1], O(A)∈[0，+∞).显然，概率越大则几率越大，当A为不可能事件时O(A)=0, A为必然事件时O（A）=+∞. 2.2 充分性度量与必要性度量 由几率函数定义与概率相关知识可知： ， 充分性度量LS 记LS=, 则O（A|B）=LS·O(A) ① LS反映了B对A的支持程度,LS越大表明B对A越支持，即B的出现对A充分性越大.其中当LS=0时，O（A|B）=0，说明B真则A假；当LS∈（0，1）时，O（A|B）O(A)，说明B排斥A；当LS=1时，O（A|B）＝O(A)，说明B与A无关；当LS∈（1, +∞）时，O（A|B）O(A)，B支持A；当LS=+∞时，B真则A真，说明B的出现对A是充分的. 必要性度量LN 记LN=， 则=LN·O(A) ② LN反映了┐B对A的支持程度，即B的出现对A的必要性.其中当LN=0时, =0，┐B真则A假，说明B的出现对A是必要的；当LN∈(0,1)时O(A)，说明┐B 排斥A；当LN=1时, ＝O(A)，说明┐B与A无关；当LN∈(1, +∞)时, O(A)，说明┐B支持A；当LN=+∞时，┐B真则A真. 2.3 主观贝叶斯推理模型及相关算法 图一是主观贝叶斯推理模型的示意图.其中B、A、LS和LN分别代表证据、结论、推理模型的充分性度量和必要性度量.特别要注意的是，LS和LN的取值范围决定了证据B与结论A间的逻辑关系.例如，若LN=0且LS=+∞，则A与B互为充要条件，即. 使用此模型进行推理基本过程是：根据证据B的先验概率P（B）和LS、LN,将结论A的先验概率P（A）更新为形如P（A|B）、P（A|┐B）的后验概率.其中，P(A)、P(B)、LS、LN的值均由相关领域的专家给出. 由于证据B的真假可能是确定的，也可能是不确定的，还可能是多个证据的组合，而各种情况下A的后验概率计算方法各不相同，所以下面对这三种情况分别进行讨论. 证据B确定 若B真, ③ 若B假， ④ 证据B不确定 现实中，证据B大多是不确定的，需要先对证据B进行考察（记为S），以求出B成立的概率P(B|S).这样，结论A成立的可能性实际上是以考察S为基础的，所以A成立的概率应表示为P(A|S).整个推理过程可以表述为:利用P（B|S）、P(A)、LS和LN，求结论A的后验概率P（A|S）.根据杜达等人1976年证明的一个公式： P（A|S）=P（A|B）P(B|S)+P(A|┐B)P(┐B|S) 可得： ⑤ 从函数图像（图二）容易看出：当P(B|S)=0时，P（A|S）＝P（A|┐B），说明考察S已经断定B假，这时P（A|S）可由④得；当P(B|S)=P(B)时，P(A|S)=P(A),说明对B的考察S无效，推理没有取得进展，结论A成立的可能性仍为P(A)；当P(B|S)=1时，P（A|S）＝P（A|B），说明考察S已经断定B真，这时P（A|S）可由③得.至于如何确定P(B|S)，读者可参阅相关文献. 证据B为若干独立证据的组合 若有n个相互独立的不确定证据Bi（i=1,2,…,n）××…× ⑥ 波利亚合情推理模式及相应的论证模式的统一形式 我们知道,波利亚合情推理模式总共有四种类型:审定猜想A的结论B,即A→B真；审定猜想A的根据B，即B→A真；审定猜想A的不相容猜想B，即A∧B假；审定猜想A的类似猜想B.若把这四种类型中的A和B分别叫作主观贝叶斯推理的结论和证据，并赋予准确的LS与LN值，就可以实现形式上的统一.具体过程如下： 审定猜想A的结论B 由真值表知,当B假时A必假，说明B的出现对A是必要的，LN＝0.对应论证模式一；当B真时，猜想A怎样呢?没有论证结论.然而这种证实却使A变得更为可靠 [2] 2.即B支持A，O（A|B）O(A)，LS1.对应合情推理模式一. 审定猜想A的根据B 由真值表知,当B真时A必真，即B的出现对A是充分的,LS=+∞.对应论证模式二；当B假时，没有论证结论.然而在作为猜想A的可能依据被推翻时，我们对猜想A的信任只能减少[2] 20.即O(A|┐B) O(A)，即0LN1.对应合情推理模式二. 审定猜想A的不相容猜想B 由真值表知,若B真则A必假，故LS=0.对应论证模式三；当B假时，虽然A的命运不能肯定，也可以是假.但当一个不相容