基于概念格的语言真值不确定性推理*

利用概念格来实现不确定性推理的过程中,给出了一个具体的语言真值格蕴涵代数的完备结构;作为概念格的扩充理论,提出了用于处理不确定性信息的语言真值概念格,并基于语言真值概念格给出了内逼近不确定性推理规则和外逼近不确定性推理规则,进而验证了这两种规则的还原性。     

文本蕴涵的推理模型与识别模型

该文首先介绍一个逼近文本蕴涵关系的推理模型,它由带有推理规则集的蕴涵型式知识库和相关的概率评价构成。接着介绍习得推理规则和蕴涵型式及其概率的几种方法,包括从平行或单一语料库中学习和从网络文件中学习。然后介绍基于词汇概率的蕴涵识别模型,包括通过构建词汇蕴涵的概率模型和基于词汇所指的语义匹配模型来逼近文本蕴涵的几种方法。最后介绍基于句法的语义分析模型,包括基于依存树节点匹配、论元结构或原子命题匹配等处理模型。     

语言真值格值命题逻辑系统中广义文字的归结判定

自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语 言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的 逻辑基础。给出了语言真值格蕴涵代数纷相似文献   

泛蕴涵的若干性质

泛蕴涵联结词是广泛存在于经验性思维、不确定性推理和各种多值逻辑系统中并且具有普遍意义的逻辑运算之一。论文首先对文[6]中泛蕴涵联结词的定义进行改进,使其定义更为严格且易于运算,并研究了泛蕴涵联接词的若干性质;其次分别给出泛蕴涵与D-P条件和(T-T1)条件的关系,得出泛蕴涵在什么情形下分别满足它们。     

真值限定的语言真值直觉模糊推理

为了更贴近人类语言的表达,减少推理过程中信息的损失,在直觉模糊逻辑推理的基础上,结合语言真值格蕴涵代数,提出了真值限定的语言真值直觉模糊推理方法。研究了语言真值直觉模糊犹豫度、相容度、不相容度及其相关性质,并通过语言真值直觉模糊相容度的计算,对推理真值进行限定,给出语言真值直觉模糊推理模型的真值限定推理方法。设计推理算法,并将算法应用于实例中。实例说明,该方法在处理同时具有可比性和不可比性的语言真值直觉模糊推理问题中更有效。     

融合决策蕴涵的知识图谱推理方法

决策蕴涵是形式概念分析中的决策知识表示和推理工具。提出了一种基于决策蕴涵的知识图谱关系补全方法。基于知识图谱构建对应的决策背景,证明决策蕴涵可以等价表示知识图谱推理中的规则;为了快速挖掘决策蕴涵,对复杂的决策背景进行多次约简,证明约简后的决策背景也可以获取知识图谱推理中的规则;设计了从简化后的决策背景中获取决策蕴涵的算法,给出了使用决策蕴涵进行关系补全的步骤;最后通过实验验证了上述方法的有效性。该研究为完成知识图谱关系补全任务提供了新的思路,也为融合推理提供了一个新的选择。     

模糊推理中一级泛蕴涵的信息约束研究

基于线性特征测度的定义,本文详细讨论了在模糊推理中一级泛蕴涵满足信息有界性原则的条件,并得出结论:如果命题真值具有正的测量误差,则当命题间是相斥相关,且其广义相关系数h∈[0.5,((n+1)-(n2-n+1)1/2)/2]以及命题间是相克相关(h∈[0,0.5])时,一级泛蕴涵算子满足信息有界性原则;如果命题真值具有负的测量误差,则当命题间是相克相关,且其广义相关系数h∈[0,((n+1)-(n2-n+1)1/2)/2]时,一级泛蕴涵算子满足信息有界性原则.这一结论对于在实际控制应用中,如何给定命题间的广义相关系数h值具有重要的指导意义.     

二值命题逻辑中Γ限制蕴涵度量与近似推理

基于某信息限制下若A则B的推理思想,以真度为基础,在二值命题逻辑系统中引入有限信息限制下的公式蕴涵度概念,由此定义了信息限制蕴涵度量,并通过信息限制蕴涵度量的真度表示式,给出一系列与有限理论结论集相关的限制蕴涵度量不等式,对二值命题逻辑中基于信息限制蕴涵度量的近似推理问题进行讨论。     

融合词义信息的文本蕴涵识别方法

文本蕴涵识别是对两个文本之间语义关系的有向推理,而词汇的词义对理解文本的语义以及推理文本之间的语义蕴涵关系有着重要作用.因此,为了有效利用词汇的词义信息推断文本之间的语义蕴涵关系,该文提出一种融合词义信息的文本蕴涵识别方法.该方法首次提出将原始的词汇转化为对应的目标词义,然后利用词汇的词义信息改善文本的语义表示和文本间...     

蕴涵的决策蕴涵表示研究

形式概念分析能够使用概念格和(属性)蕴涵来对知识进行可视化和表示.决策蕴涵是一种特殊的蕴涵,而决策蕴涵的研究就是在蕴涵中建立并研究一个/多个封闭的子系统(包括决策蕴涵子系统及相应的语义和语构子系统).为了进一步厘清蕴涵和决策蕴涵之间的关系,对由决策蕴涵子系统能不能得到整个蕴涵系统进行了研究.事实上,如果蕴涵可以由决策蕴涵推出,那么关于蕴涵和规范基的研究就可以转化为决策蕴涵和决策蕴涵规范基的研究.首先给出了蕴涵可以由决策蕴涵表示的充要条件;接着通过实例表明,存在一些蕴涵不可由决策蕴涵表示,因此进一步区分了直接表示和间接表示;最后通过研究决策背景中只有一个决策属性时不可被直接表示的蕴涵所具有的特点,给出了蕴涵不可由决策蕴涵直接表示的充要条件,并给出了不可被直接表示蕴涵的生成方法.这种研究为蕴涵和规范基的研究提供了一种新视角,同时也为形式概念分析更深入的理论研究工作奠定了基础.     

Evidence theory in multivalued logic systems

A systematical framework of uncertainty reasoning is proposed based on multivalued logic and Dempster-Shafer's evidence, theory. the uncertainty of the truth value of a proposition is modeled by the use of basic probability assignment over the truth value space [0,1]. This basic probability assignment is interpreted as the probability restriction on the truth value of a proposition. A general approach is provided to find the probability restriction on the truth value of a composite proposition given the probability restrictions on the truth values of its components. Two inference patterns (forward inference pattern and backward inference pattern) are investigated in terms of propagation of probability restrictions. Examples are given to show that the results from applying the proposed theory are consistent with human intuitions. © 1995 John Wiley & Sons, Inc.     

基于矩阵蕴涵运算的格值模糊概念格构造方法

从矩阵角度对一类模糊概念格的构造方法进行了研究.以具体的格蕴涵代数作为刻画对象与属性间不确定性关系的取值域建立了格值模糊概念格;为了便于非数值间的计算,分别定义了矩阵合取运算、析取运算和蕴涵运算,并基于矩阵蕴涵运算给出了格值模糊概念格的构造方法;进而通过实例求出了对应的格值模糊概念格,验证了该方法的正确性.     

广义的直觉模糊蕴涵及剩余格

根据交通流的动态变化情况,实时优化交通信号配时,是减少交通延误,提高交通效率的有效方法。为减少信号优化时间,提高时效性,提出一种并行化的交通信号对比分析算法,该算法首先根据专家经验和交通管理常识设定一定的信号变化区间,然后针对该区间给定变化区间Δ,依次给定相应的信号配时策略,将每一种信号配时策略分配给集群系统中的一个计算节点,由各个计算节点分别进行仿真运算,最后由主节点聚合分析,对比给出最优信号控制方案。以微观交通仿真系统Paramics进行了仿真实验,结果表明,在4个节点组成的并行网络中,加速比为1.75,其提高了仿真效率,且能较好地遴选出最优控制方案。     

命题逻辑的随机真度理论及其应用

引入命题逻辑公式的基于随机变量序列的随机真度概念,并说明其是已有文献中各种真度概念的共同一般化,证明全体公式的随机真度之集在[0,1]中没有孤立点.利用随机真度定义公式间的随机相似度,进而导出全体公式集上的一种伪距离——随机逻辑伪距离,证明在随机逻辑伪距离空间没有孤立点.指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用概率论中的积分收敛定理,证明一个关于真度的极限定理,该定理沟通了已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广到多值命题逻辑.在随机逻辑伪距离空间中提出两种不同类型的近似推理模式.     

Extended possibilistic truth values

A problem with the modeling of uncertainty within the context of an information or knowledge‐based system is the handling of missing information. In this article, extended possibilistic truth values are introduced as a formal means to cope with this problem. The notion of an extended possibilistic truth value has been obtained from the assumption that the truth value of a proposition can be undefined. This is the case if the proposition cannot be evaluated due to the non‐applicability of (some of) its elements. By definition, an extended truth value can either be true, false, or undefined. Using these three values, a ternary strong Kleene propositional logic has been built. An uncertainty model for this logic is proposed, in order to model (linguistic) uncertainty concerning the extended truth value of a proposition. This uncertainty model is based on possibility measures, and leads to the concept of an extended possibilistic truth value. Finally, the algebraic properties of extended possibilistic truth values are presented. © 2002 Wiley Periodicals, Inc.     

规则摄动时模糊蕴涵算子对模糊推理的鲁棒性的影响

列举了模糊规则发生摄动的常见情形,建立了一般性的模糊推理算法对规则摄动的鲁棒性的概念;就多重、链式和多维模糊推理情形,重点研究了一般性的模糊蕴涵算子对几个重要的模糊推理算法的这种鲁棒性的影响,并分别给出了相应的充分必要条件;初步尝试了通过一定的摄动制约来改善这种鲁棒性;同时指出了很多现有的模糊蕴涵算子使得所讨论的这些推理算法拥有好的鲁棒性,此时,即使规则中的隶属度有适度的粗糙或摄动,推理仍是可行的、安全的．文中工作对模糊系统的分析、模糊蕴涵算子的选择以及规则获取过程有一定的指导意义．     

粗糙集代数与蕴涵格

在粗糙集的代数刻画方面,一个重要方法是在偶序对〈R（X）,R（X）〉构成的集合中通过定义基本运算寻找刻画偶序对所成集合的代数结构。其中,最有影响的代数结构是正则双Stone代数和Nelson代数。本文从偶序对〈T（X）,R（X）〉构成的集合入手,通过定义蕴涵运算证明了偶序对〈R（X）,R（X）〉所成集合构成蕴涵格,讨论了粗蕴涵格与
正则双Stone代数的关系。本文的讨论可为粗糙逻辑和粗糙推理奠定基础。     

ON TRUTH FUNCTIONAL MODIFICATION

We provide in this paper a discussion of the concept of truth functional modification. The idea of truth functional modification relates to the question of extracting information from a proposition given we know the truth of proposition. For example, in the binary logic the proposition John is 20 taking the truth value false is equivalent to John is not 20. More generally, we provide a new mechanism for handling truth modified propositions in the theory of approximate reasoning.