基于故障树的逻辑概率法评价电气主结线可靠性

研究与分析了利用基于故障树的逻辑概率法评价发电厂或变电所电气主结线可靠性方法．给出一发电厂厂用电结线的可靠性分析实例，并予以误差分析．

基于命题逻辑概率赋值的近似推理模式

将命题逻辑的赋值域由二值{0,1}推广到给定的概率空间,引进命题公式的概率赋值,概率赋值是经典命题逻辑赋值及各种真度概念的推广.利用概率赋值引入命题公式的概率真度、不可靠度、基于独立事件赋值集的概率真度等概念,通过讨论概率真度的性质,表明概率真度在全体命题公式集F(S)上满足Kolmogorov公理.证明全部命题公式基于独立事件赋值集的真度之集在[0,1]中无孤立点,以及在命题逻辑形式推演中,一个有效推理结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和等结论.在概率赋值的基础上,引进命题公式集的a.e.结论、依概率结论、依概率真度结论等概念,讨论这些概念之间的联系,并提出两个不同类型的近似推理模式.

基于改进概率软逻辑模型的高校学生状态推理方法

随着高等教育的普及,各类管理决策需求增加,基于数据驱动和知识驱动的决策方法成为新的发展趋势。基于此,提出了一种通过改进概率软逻辑模型挖掘知识规律和推理学生状态的方法,该方法通过引入规则挖掘算法,赋予概率软逻辑模型自动挖掘规则的能力。在真实学生状态数据上的实验结果表明,该方法在多项目标关系的推理上,准确率能达到80%以上,并且多层次推理结构的实验效果优于非层次推理结构的实验效果。对于学生状态类非完整知识库数据的挖掘和推理,该方法减少了人工工作量,降低了因人为认知偏差带来的不确定性。

基于概率软逻辑推理模型的高校贫困生识别

贫困大学生作为一个特殊群体在高校大学生中占有较高比例,国家对于高校资助工作的开展一直高度重视。如何精准识别大学生的贫困程度并为其提供资助是众多高校一直着力解决的长期性问题。该研究提出了一种基于概率软逻辑推理模型来预测大学生贫困等级的方法,该方法通过软约束构建规则和逻辑谓词方式将人为可理解的贫困生判别标准和常识引入概率软逻辑推理模型进行推理预测。在高校学生真实数据上的大量实验表明,该方法的识别正确率可达到90%以上。此外,与支持向量机、逻辑回归、决策树等机器学习算法相比,该方法具有更高的推理识别精度,因此,对于大学生的贫困程度识别该方法具有巨大的潜力。

基于逻辑博弈概率Petri网的地铁应急决策建模与分析

为解决逻辑Petri网不能很好地描述动态博弈过程的问题,提出逻辑博弈概率Petri网。将博弈的四要素融合到逻辑Petri网中,博弈的局中人被定义为token的一个属性,为其定义了策略集以及效用函数,并引入了信息库所。引入概率变迁和向量来表示博弈过程中先后验概率的转换关系,在贝叶斯公式的基础上引入模糊理论,以解决决策前期的信息缺失问题,并引入决策变迁来帮助理性人作出决策。使用逻辑博弈概率Petri网对地铁应急决策过程进行建模,构建系统可达图对问题进行分析,并应用Tina仿真验证模型性质,同时验证了所提出方法的可行性。

关于概率中序列事件的逻辑

在概率论的集合语言中,除了补、交、并等运算之外,还有一个重要的运算:乘积。两个基本事件的乘积表示这些事件连续发生。然而,关于概率的逻辑文献中对序列事件的研究却比较少。在本文中,我们提出了一个模态逻辑(记为DML)来刻画概率论中关于序列事件的推理,然后我们在DML逻辑之上构造了一个概率逻辑(记为PL_(DML))。我们将DML与克里普克语义上的标准模态逻辑进行了比较,并证明了DML等价于确定性模型类上的正规模态逻辑。最后,我们还给出了PL_(DML)的演绎系统并证明了其完备性。

用于Buck变换器监测的嵌入式概率数字孪生控制器

目前,数字孪生技术已经具备对给定物理系统进行测试和诊断的能力,可以完成对给定物理系统的预测和健康管理。该技术依靠给定物理系统实时更新的数据建立起相应的数字模型,并将数字模型作为与物理系统进行比较的并行参考,通过监测确定物理系统的运行状况。然而在电力电子功率变换器领域,使用此项技术进行控制器监测的研究相对较少,针对此问题,借助概率数字孪生和广义多项式混沌理论,提出一种用于Buck变换器监测的嵌入式概率数字孪生控制器。通过实验验证当功率变换器的占空比和元器件参数发生改变的情况下,所提方案的有效性和可行性。

定律的逻辑概率一定为0吗?

波普尔曾论证"定律的逻辑概率为0"这一论题,以反对基于贝叶斯定理的归纳逻辑。他对该论题的证明本质上有三个:(a)独立性论证;(b)反杰弗里斯论证;(c)维度论证。本文将论证他的这三个论证均不成立。(a)论证的错误在于假定Uij的独立性;(b)论证错误地使用了古德曼类似物;(c)论证中则断定了与概率演算不一致的命题。总的来看,他的错误或许来自于对逻辑和认识论逻辑的混淆。

人工智能科学中的概率逻辑

人工智能科学,从其诞生之日起便与逻辑学密不可分。本文首先对逻辑学的分类、相互关系以及泛逻辑的概念等进行了讨论,并对人工智能中逻辑学的应用及发展进行了必要的分析。然后讲述了逻辑学与概率论两大理论基础之上的不确定性推理方法——概率逻辑,重点研究了二值概率逻辑与三值概率逻辑。最后阐述了概率逻辑在人工智能科学中的应用以及对它的思考。

概率逻辑伪度量空间及其性质

论证有限多个公式的概率分布与生成它的原子公式集的概率分布之间的关系,然后把计量逻辑学与概率逻辑学相结合,提出了概率真度、概率逻辑伪度量空间(F(n),ρP);指出当取均匀概率分布时,概率真度就转化为计量逻辑学中的真度,同时两公式间的概率逻辑伪距离Pρ就转化为计量逻辑学中的伪距离ρ.从而在有限理论中建立了一种更具一般性的概率逻辑伪度量空间理论。

略论卡尔纳普对概率逻辑的研究

卡尔纳普(Rudolf Carnap,1891—1970)是一位有影响的现代哲学家与逻辑学家。他与石里克一道,是维也纳学派的代表人物。他作为一位逻辑学家,不仅对数理逻辑与数学基础、模态逻辑、语义学、语言的逻辑句法等方面作出了贡献,而且在归纳逻辑方面提出了自己的概率逻辑系统,有着重大的影响。就他对逻辑的研究来说,他比较注意对逻辑的全面研究,正如他对待科学持有统一的观点(物理主义)一样,对逻辑也可说持有一种统一的观点,这使他不仅注意演绎逻辑的研究,而且也注意归纳逻辑的研究。尤其有趣的是,他对逻辑的一些研究成果,特别是在语言的逻辑分析、语义学等方面的一些论著。

经典命题逻辑的概率语义及其应用

文中将经典命题逻辑的赋值域由二值({0,1})推广到概率空间,引进了命题公式的概率赋值并建立命题逻辑的概率语义,证明了一个命题公式为重言式当且仅当其在每个概率赋值下的值都等于1.引入了命题公式的概率真度、不确定度、Λ-概率真度、Λ-不确定度等概念,并说明了Λ-概率真度是已有的二值命题逻辑各种真度概念的推广,通过讨论Λ-概率真度的性质,表明Λ-概率真度在全体公式集F(S)上满足Kolmogorov公理.证明在形式推演的一个有效推理中,结论的Λ-不确定度不超过各前提的Λ-不确定度与其必要度的乘积之和.利用公式的Λ-不确定度引进公式间的Λ-相似度和Λ-伪距离,证明了在一定条件下所建立的Λ-伪距离空间没有孤立点且通常的逻辑运算关于Λ-伪距离是连续的.在Λ-伪距离空间中,提出了F(S)上的两种不同近似推理模式,并通过实际应用例子说明所提出的近似推理模式是有效的.

概率逻辑可能世界的Petri网模型

本文研究概率逻辑中推导可能世界的Ｐｅｔｒｉ网模型．该模型为可能世界的产生提供有效算法．这个算法被证明是正确的，它可以产生所有的一致的可能世界．文章中还分析了算法的复杂性．通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是概率逻辑可能世界推导的简单、实用和图形化的工具．

概率逻辑公式集分解的合并聚类算法

为使概率逻辑的不确定性推理方法能应用于较大规模的知识库，本文基于一个实际专家系统知识库的开发经验，在概率逻辑公式一致性区间的一般算法基础上，为概率逻辑公式集的分解设计了一种合并聚类算法．对于不同背景的概率逻辑知识库，只要公式集具有一定的分层结构性质，该算法就能保证Ｄａｎｔｚｉｇ－Ｗｏｌｆｅ分解的联合计算模型适用于概率逻辑推理．测试结果表明，该算法对于数１０个变量和子句的实例可收到很好的效果．

概率计算树逻辑的限界模型检测

为了缓解概率计算树逻辑模型检测中的状态空间爆炸问题,提出了概率计算树逻辑的限界模型检测技术.该技术首先定义概率计算树逻辑的限界语义,并证明其正确性;之后,通过实例说明在传统限界模型检测中,以路径长度作为判断检测过程终止的标准已经失效,基于数值计算中牛顿迭代法的终止准则,设计了新的终止判断标准;然后提出基于线性方程组求解的限界模型检测算法;最后,通过3个测试用例说明,概率计算树逻辑限界模型检测方法在反例较短的情况下能够快速完成检测过程,而且比概率计算树逻辑的无界模型检测算法所需求得的状态空间要少.

基于概率策略逻辑的VANET信息广播模型定量验证方法研究

VANET网络中信息的发送和接收具有随机性和不确定性,IEEE 802.11p广播协议无法适应VANET网络拓扑动态变化,于是研究者们根据不同环境中的具体应用需求提出了各种VANET广播协议,如何对新提出的协议的性能以及可靠性进行分析与验证是一个关键性问题.自动化的定量验证技术能够针对系统需要满足的多个性质进行分析,并给出满足需求的最大或者最小概率.然而研究人员在进行定量验证过程中使用的PTCL、rPATL等逻辑语言都不能够明确描述用户的策略是什么,因此本文提出基于概率策略逻辑的模型定量验证方法.该方法首先对系统中的多个角色使用概率时间接口自动机对其行为建模,然后使用概率策略逻辑语言对系统需要满足的性质进行描述,最后基于定量验证算法自动给出系统相关性质的分析结论.本文将该方法应用到VANET信息广播协议性能分析上,能够针对外界环境的变化选择合理的策略,从而分析出不同环境下信息广播发送成功的最大概率.

基于泛逻辑学的概率命题逻辑的研究与分析

概率逻辑是不确定推理的一个重要逻辑基础,但其目前还不太完善.泛逻辑学是何华灿教授在探索各种不确定性问题求解中建立起来的一种新的柔性逻辑体系.理论上,概率逻辑仅是泛逻辑学的一个特例.在对目前比较典型的几种概率逻辑模型进行分析的基础上,基于命题泛逻辑学的思想和方法,指出了概率命题逻辑中存在的一些主要问题,探讨了解决这些问题的思路与方法.

概率逻辑推理的弱相关分解方法

本文给出了一种新的概率逻辑推理的分解计算模型．若表示专家知识的概率逻辑公式集具有一定的弱相关分解特性，则可分解为多个公式子集．大规模线性规划的Ｄａｎｔｚｉｇ－Ｗｏｌｆｅ分解方法可用于对这种分解的问题求解．

概率逻辑程序

The purpose of this paper is to present the syntax and semantics of probabilistic logic programming to al-low for the correct representation of incomplete information. General logic programming is extended by a subintervalof [0,1] that describes the range for the conditional probability of the head of a clause given the range for the proba-bility of each atom of its body. We define the semantics (answer sets semantics) of such probabilistic logic program-ming and illustrative their applications. We also show some properties of answer sets semantics for the probabilisticlogic programs.

Petri网用于求解概率逻辑的近似可能世界矩阵

概率逻辑中的可能世界随着问题增长而指数性增长，使问题求解难以实现．Ｎｉｌｓ－ｓｏｎ提出了一种矩阵列产生方法［１］，可得到近似而规模小的矩阵，但他没有提出具体的算法．本文提出一种Ｐｅｔｒｉ网模型，可为Ｎｉｌｓｓｏｎ方法的求解提供有效途径．