张　顺

(南京大学 哲学系，南京　210023)



科学确证的贝叶斯网络模型

张顺

(南京大学 哲学系，南京210023)

摘要：科学确证的假说演绎模型与贝叶斯确证模型分别体现了定性确证与定量确证的内涵，然而科学确证是一个在纵横方向都具备复杂内涵的问题，两种模型均没克服因确证本身的复杂性与非单调性所带来的一些难题。为此，将贝叶斯网络方法运用到确证理论的建构中，通过图论与贝叶斯确证理论的结合开拓确证理论研究的新进路，并构建贝叶斯确证网络的简单模型。同时，从模型的定义、结构建模、推理等方面阐述贝叶斯确证网络的基本内容。

关键词：科学确证；贝叶斯确证；贝叶斯确证网络

一、前言

观察证据E确证假说H，当且仅当，(1) E为偶然真；(2) H├E。

这些重构方案各自存在着不同程度的缺陷，这些缺陷在H-D的现有框架内是无法克服的，因为这个简洁模型无法完全表现确证的本质。这一模型基本成功地刻画了确证的第一层含义，它表明证据为理论提供了某种确定性的支持，这是确证的定性层面。然而，就科学检验的定性层面而言，不存在完全证实，只有弱证实性确证。我们可以做的只能是越来越逼近那不可能达到的证实，不断提高理论的确证程度。这就涉及到科学检验的定量层面，需要引进逻辑概率进行定量刻画。

贝叶斯确证理论的要义在于用概率来定量地测度证据对假说的支持程度。凯恩斯认为概率关系应当表示为P(a/h)，即a与h之间的相对概率，对于不同的前提h，a/h的值可能不同。……