经典推理模式的随机化研究及其应用（Ⅱ）.pdfVIP

维普资讯 第 22卷第 3期 模 糊 系 统 与 数 学 Vo1．22，No．3 2008年 6月 FuzzySystemsandMathematics Jun．，2008 文章编号：1001—7402(2008)03—0021—06 经典推理模式的随机化研究及其应用 (Ⅱ) 惠小静h，王 国俊 (1．延安大学 数学与计算机科学学院，陕西 延安 716000； 2．陕西师范大学 数学研究所 ，陕西 西安 710062； 3．西安交通大学 基础科学研究中心，陕西 西安 710049) 摘 要 ：证 明了D一逻辑度量空间中三种近似推理模式是等价的，指 出了全体原子公式之集在 D一逻辑度 量空间中未必是全发散 的。 关键词 ：D一随机真度 ；D一逻辑度量空间；近似推理 中图分类号 ：O141 文献标识码 ：A 1 引言 文献[1]～[4]从把逻辑概念程度化人手，提出了真度概念并引发了一系列后继研究L5—9]，逐步形成 了计量逻辑学n n]。在计量逻辑学中，每个公式都被赋予了一个真度，在该真度意义下，每个原子公式 都有相同的真度，而且如果两个公式形式完全一致 ，比如 口一 与 口。一 口，那么它们的真度一定相等。 这种把每个原子公式的真度等同看待的观点与现实世界 中各种简单命题成立的概率不尽相同的事实相 悖。事实上各简单命题是否为真以及在多大的程度上为真是不确定的、随机的。所以赋予不同原子公式 以不 同的真度 ，可以使由此产生的公式的真度更具实用性 ，这种基于随机性的逻辑概念的程度化方法已 经成为当前概率化人工智能研究的一个热点课题，从而展示了更为广阔的应用前景。文[12]正是以此为 出发点，把计量逻辑学与概率逻辑学L1。 相结合 ，利用 自然数集N上的随机数列提 出了公式的D一随机 真度的概念，给出了两公式间的随机相似度，建立了D一逻辑度量空间，证明了该空间无孤立点。从而把 计量逻辑学中的程度化研究及近似推理模式纳入了更宽泛的研究体系之中。 本文是在文E12]基础上的进一步研究成果，首先它解决了文EI2]中提出的一个公开问题，即三种近 似推理模式的等价性问题，对此，本文给出了肯定的回答 。其次，指出全体原子公式之集在 D一逻辑度量 空间中未必全发散 ，它取决于给定 的随机数列的分布 ，这是 D一随机真度与真度之间的差异在理论发散 度中的反映。这为从更深层次上展开近似推理研究做好了准备。 2 预备知识 定义 2．I 设Ⅳ一 {1，2，…}，D一 (尸l，P2，…)，0 P l(n一 1，2，…)，称D为 (O，1)中的一 个随机数列 。 收稿 日期 ：2007—07—17 基金项 目：国家 自然科学基金重点资助项 目10771129) ‘ 作者简介 ：惠小静 ，女 ，博士研究生 ，研究方 向：概率逻辑 ；王国俊 ．男 ，博士生导师 ．研究方向：不确定性推理 。 维普资讯 22 模 糊 系 统 与 数 学 2008钲 设 S一 {q，q。，…}为原子公式集 ，F(5)是5生成的 (一 ，一)型 自由代数 ，称F(5)中的元为公式。 设 A—A(q ”，)∈F(5)，则 对应一个 元 Boole函数fA：{0，1}一 {0，1}如下 ：Vd一 (z 一，z，) ∈ {0，1}，用 z^取代 A(q 一，)中的 (是一 1，… ，)，并按一z一 1一z和 z一 一 (1一xk)Vz 解释逻辑连接词 一 与一，则得 (z，…，z)。称 为 诱导的Boole函数 。 定义 2．2E地 设 D一 (P ，P2，…)是 (O，1)中的随机数列，Vd一 ( ”，z)∈ {0，1}，令