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

维普资讯 第21卷第 2期 高等函授学报 (自然科学版) Vo1．21No．2 2008年 4月 JournalofHigherCorrespondenceEducation(NaturalSciences) August2008 · 学术经纬 · 波利亚合情推理模式合理性之新证 陈翠花，翟永恒 (河南师范大学 数学与信息科学学院，河南 新乡 453007) 摘 要：本文以主观贝叶斯理论为工具．对波利亚的合情推理模式及相应的论证模式在形式 上予以统一 ，并对猜想的证据不确定情况之合理性进行 了补证 。 关键词 ：主观 贝叶斯理论 ；合情推理模式；概率演算 中图分类号 ：G201 文献标识码 ：A 文章编号 ：1006— 7353(2008)02—0013—04 1 波利亚对合情推理模式合理性的论证 的合理性提供了新的理论工具 。 波利亚借鉴凯恩斯等人的研究成果，使用概 本文借鉴人工智能领域内用来模拟不确定推 率演算的方法对合情推理模式的合理性进行了论 理的主观贝叶斯理论，将各种合情推理模式在形 证。但由于数学猜想没有随机性 (只能真或假)，不 式上予以统一，并对合情推理模式的合理性进行 满足进行概率演算 的前提条件，所 以波利亚首先 了比较全面的论证 。 进行 了一些界定 ：将猜想A成立的可靠性 ，即研究 2 主观贝叶斯理论简介 ] 者对猜想A成立的信心这一带有随机性的值作为 主观贝叶斯理论及相应的推理模型是 由杜达 运算对象，并假定研究者具有客观性。通过这一极 (R ·O ·Duda)等人 1976年提出的，并在斯坦福 富创造性的界定 ，波利亚成功的实现 了对合情推 大学著名的矿藏勘探专家系统PROSPECTOR中 理的首次定量研究 。 获得 了成功的应用。 然而我们知道，合情推理的主要思路是 ：通过 2．1几率函数 几率函数0(A)等价于概率函数 考察猜想A 的相关猜想B 的真假 ，从而帮助判断 P(A)，定 义如下 ： A的真假。波利亚详细分析 了当研究者成功断定 0(A)= ，P(A)= 了B的真假后对A 的认识将如何变化，即P(A I 其中P(A)∈[0，1]，0(A)∈[0，+。。)．显 B)或 P(A }]B)与P(A)相比发生了怎样的变 化。但实际上，猜想B多数也是很难断定真假 的。 然 ，概率越大则几率越大，当A为不可能事件时 对于这种不确定情况，也许是受 当时不确定推 0(A)一0，A为必然事件时0(A)一+。。． 2．2充分性度量与必要性度 量 由几率函数定 理的定量研究还不够成熟 的限制 ，波利亚并没 有对此给出回答 ，并且到 目前为止 ，数学教育领 义与概率相关知识可知 ： 域对不确定情况基本上仍停 留在波利亚的研究 O(A llBB))一一 00((AA)) 成果上 。 今天 ，研究不确定推理的方法 已经很多，如在 OA(II]]BB))一一等 00AA(())．． 人工智能领域广泛使用的主观贝叶斯理论、模糊 充分性度量LS，记LS一