GNW条件事件代数的原理和应用

介绍了Goodman等提出的GNW条件事件代数的原理和性质，该代数系统在三值逻辑基础之上，在确保规则概率与条件概率相容的前提下，把布尔代数上的逻辑运算推广到条件事件（规则）集合中。     

基于条件事件代数的贝叶斯网的逻辑推理

条件事件代数理论在数据融合系统中有着重要的应用前景,该理论可用来解决不确定性、概率性和模糊性推理问题。条件事件代数是在确保规则与条件概率相容的前提下,把布尔代数上的逻辑运算推广到条件事件(规则)集合中的逻辑代数系统。对于一些特殊的贝叶斯网(如多树型网络)已经有了一些可行的概率推理的算法,但到目前为止,还没有可行的逻辑推理的算法。随着对不确定性知识研究的深入,迫切需要具有逻辑推理的算法。论文介绍了乘积空间条件事件代数的定义和基本性质,提出了基于乘积空间条件事件代数的贝叶斯网的逻辑推理的算法以及应用。     

条件事件代数研究综述

综述了条件事件代数理论的原理、主要性质和应用．条件事件代数是一门新兴的解决不确定性、概率性和模糊性推理问题的学科,是在确保规则概率与条件概率相容的前提下,把布尔代数上的逻辑运算推广到条件事件(规则)集合中得到的代数系统,目的是为智能系统中的条件推理建立一个数学基础．该文也对比条件事件代数更一般的逻辑系统——关联事件代数理论进行了介绍．     

集合代数是经典命题演算形式系统的语义解释

经典命题演算形式系统(CPC)中的公式只是一些形式符号,其意义是由具体的解释给出的.逻辑代数和集合代数都是布尔代数,都是CPC的解释.集合代数是CPC的集合语义,其中对联结词的解释就是集合运算;对形式公式的解释就是集合函数;对逻辑蕴涵.逻辑等价的解释就是集合包含和集合相等=.标准概率逻辑是在标准概率空间上建立的逻辑体系,命题表示随机事件,随机事件是集合,概率空间中的事件域是集合代数,概率逻辑就是CPC集合语义的实际应用.CPC完全适用于概率命题演算.     

一种基于概率的多最小支持度挖掘算法

传统的Aprion耐算法由于始终保持单一的最小支持度,所以在实际应用中不能挖掘小比例事件中的关联规则。针对这一缺陷,该文提出并实现了一种基于概率的多最小支持度关联规则算法。该算法针对每个项目设定了最小项支持度,最小项支持度与该项目的出现概率相关。实验证明该算法不仅能有效地挖掘出发生概率较低的事件中的关联规则,同时又不丢失原有的大概率事件中的关联规则。另外,实验结果也说明该算法存在候选项集增多的缺点。     

基于规则信息量的规则提取及规则约简

在提出规则信息量的基础上,分析了可能性规则的定义,并利用规则信息量对条件属性类和决策属性类间的概率因果关系进行了描述,重新定义了可能性规则.同时,进一步提出了能充分利用决策表信息系统中统计信息的规则提取算法LRE.本文还基于规则信息量得到了一种新的规则约简算法,这种算法是在对原有的粗集规则约简定义进行合理推广的基础上建立起来的,能很好地抵抗数据中的噪声.     

基于业务规则的工作流管理系统模型

ECA规则通过条件与处理集中定义业务流程中活动与活动间的转换关系,并通过事件驱动机制驱动业务流程中相应业务逻辑实现,在一定程度上增加了系统代码的可维护性,但是并没有改变业务逻辑发生变化时需要修改系统代码以维护系统的现状.业务规则可准确描述业务流程中所有业务逻辑,建立与业务流程事件无关的运行机制,更加直接明确地反映业务需求,适应业务需求变化,而无需修改系统代码,基于此建立基于业务规则的工作流管理系统模型.     

概率逻辑系统是与集合代数同态的布尔代数

联结词的本质是命题的运算,只有对所有命题都适用的真值函数才能用于定义联结词.概率逻辑中由于命题的内涵相关性,任何[0,1]上的函数都不能完全适用于任意命题的运算,概率逻辑的联结词不能定义成真值函数.各种算子可以作为一种计算方法使用和研究,但不能代表一个逻辑系统研究系统的性质.概率逻辑系统是概率空间的逻辑表示,是与概率空间中的事件域(集合代数)同态的布尔代数.用事件域上的集合函数精确定义各种联结词,与经典二值逻辑相容,与事实相符,能够在经典逻辑框架内实现概率命题演算.     

基于有限布尔命题集上的条件事件代数及应用

本文以Ｇｏｏｄｍａｎ条件事件代数理论为基础，在有限布尔命题集上建立了一个自由布尔多项式代数，Ｂ并在Ｂ上利用布尔关系给出条件事件的一种新的表示法。     

一种基于概率的加权关联规则挖掘算法

针对关联规则数据挖掘在实际应用中出现的问题:不能挖掘小概率事件中的关联规则, 提出了基于概率分布的加权关联规则挖掘算法。该算法同时改进了加权支持度计算方法,保持 Apriori算法的频繁集向下封闭的特性,并在实践中得到了有效的应用。     

基于PCED的过程控制系统安全分析方法

针对常用安全分析技术应用中存在的不足,提出一种基于过程控制事件框图（PCED）的计算机过程控制系统安全分析方法。该方法根据系统的特点建立描述其控制逻辑的PCED模型,构造＂动作-部件-变量＂的影响路径,通过算法分析控制逻辑的安全性。以计算机控制化学反应过程系统为例用该方法进行安全分析。     

Compact and efficiently verifiable models for concurrent systems

Partial orders are a fundamental mathematical structure capable of representing concurrency and causality on a set of atomic events. In many applications it is essential to consider multiple partial orders, each representing a particular behavioral scenario or an operating mode of a system. With the exploding growth of the complexity of systems that software and hardware engineers design today, it is no longer feasible to represent each partial order of a large system explicitly, therefore compressed representations of sets of partial orders become essential for improving the scalability of design automation tools. In this paper we study two well known mathematical formalisms capable of the compressed representation of sets of partial orders: Labeled Event Structures and Conditional Partial Order Graphs. We discuss their advantages and disadvantages and propose efficient algorithms for transforming a set of partial orders from a given compressed representation in one formalism into an equivalent representation in another formalism without explicitly enumerating every partial order. The proposed algorithms make use of an intermediate mathematical formalism which we call Conditional Labeled Event Structures that combines the advantages of both structures. Finally, we compare these structures on a number of benchmarks coming from concurrent software and hardware domains.     

连续值命题逻辑系统中公式的条件概率真度

基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、数学期望、条件概率真度的定义,并得到了一些概率真度的推理规则。证明了Lukasiewicz逻辑系统中概率真度、条件概率真度在[0,1]中稠密。     

基于音位属性和边界信息的音素识别

在检测出音位属性的基础上,提出了一种基于音位属性后验概率的音素边界检测算法,并将音位属性与边界信息应用于基于条件随机场的音素识别.该方法首先计算得出相邻帧音位属性后验概率向量间的夹角,然后将夹角的极大值点所在的帧选为侯选边界,最后通过约束条件去除极值点中的错误边界.本文将音素边界与音位属性信息进行组合,作为基于条件随机场模型的识别系统的观测特征,实验结果表明,增加边界信息后,音素正确识别率有了显著提升.     

NOTIONAL LOGIC OF SYSTEMS

In this paper the authors develop a dialectical logic of complex system notions within a mathematical linguistic theory of models. In the set of notions defined in a system, it is considered an order relationship and the Boole Algebra of the notions. This study obtains a tool, which is the metatheoretical base of such theory. The study of the complex systems as well as their modelling allows us to accomplish their analysis in the context of mathematical linguistics (Villacampa and Usó-Domènech 1999). The mathematics modelling determine texts - models and their study from a text theory (Villacampa et al. 1999). These theories imply the existence of a problem that must be studied in terms of classic logic: extension/ comprehension. These opposite categories form an entity within the same text/model and they are studied by the dialectical logic. The bases of the Dialectical Logic are necessary in the study of the Systems, since the dialectics formulate how the phenomena of the reality of the system should be studied as a means to examine any object, or system, which allows the perception of the Essence, or real nature. It will be necessary to consider the development and the changes of the system, and the system must be defined without antagonism between the dialectical and formal logic.     

一种五元格值逻辑上命题真度的分布

利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念,给出了真度的一些推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,给出了全体公式真度的表达通式,为在五元格值逻辑系统中建立近似推理理论提供了一种可能的框架。     

命题逻辑系统中公式的概率真度理论

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,明确了概率真度在[0,1]中的分布情况,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系。     

连续值命题逻辑中公式的概率真度及相似度

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系.