一种推导概率逻辑结果的新方法.pdfVIP

第21卷增刊 计 算 机 学 报 V01．21Suppl． CHINESE 1998年8月 J．COMPUTERS Aug．1998 一种推导概率逻辑结果的新方法 赵 俊 (宁波大学自动化与计算机技术系 宁波315211) 摘要本文从概率推理形式化的角度叙述了概率逻辑的一些基本概念，在最短距离准则下给出 了一种推导概率逻辑结果的新方法．该方法只需通过求解一个线性方程组便可得以完成，适用于较 大命题集的概率逻辑结果的推导． 关键词人工智能，专家系统，概率逻辑，概率推理 分类号：TPl8 PRoBABILISTIC ANEWMETHODoFDEDUCING ZHAO Jun and 315211) ofAutomation (Department ComputerTechnology，NingboUniversity，Ningbo AbstractInthis basic in arenarratedfromformaliza— paper，someconceptionsprobabilisticlogic anewmethodof entailmentis under tionfor and probabilisticreasoning deducingprobabilistic given shortestdistancecriterion．Themethodis alinear and the system completedonlybysolving equation issuitablefor entailmentwith set． probabilistic propositional deducing larger Artificial Keywords intelligence，expertsystem，probabilisticlogic，probabilistiereasoning． 1引言 不良结构闯题所带的不确定性是智能问题的本质特征，无论是人类智能还是人工智能都离不开不确定 性的处理．因此，不确定推理模型是人工智能与专家系统的一个核心研究课题．概率推理是处理不确定性的一 种重要方法．迄今，人们基于概率论中的Bayes定理已经建立了多种概率推理模型及其成功的专家系统实 例Ⅱ_“．然而，这些概率推理模型主要是讨论命题概率的直觉概念的，存在着对概率的多种多样解释．把它们 应用于具体的问题领域时，将依赖于对“概率”这一概念的理解． 统一模式的概率逻辑方面做了一些研究．他们定义了命题的概率逻辑真值、命题集的概率逻辑结果等若干形 式化概念，还给出了命题集较小时推导概率逻辑结果的方法．他们的方法基于概率分布的最大熵原则，经由求 解一个非线性方程组来完成，其中所涉及的非线性方程的次数随命题集内命题个数的增加而升高，因而只适