格值命题逻辑LP(X)中的语义归结方法

为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。     

格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。     

格值命题逻辑系统Ln ×2P(X)中广义文字的α-归结性

归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑...     

四值非链格值命题逻辑系统LP4(X)的归结原理

基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果，给出了LP4(X)上的归结原理，并证明了其可靠性和完备性。四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构，其上归结原理的研究为归结算法的实现提供了理论基础，从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。     

格值一阶逻辑系统LF(X)中的α-有序语义归结

讨论格值一阶逻辑系统LF(X)中α-语义归结方法和有序归结方法的相容性。给出了LF(X)中α-有序语义归结和α-有序语义归结演绎的概念,通过实例说明LF(X)中α-有序语义归结演绎的有效性和不完备性。     

格值命题逻辑系统LP（X）的α-超归结原理

本文提出了格值命题逻辑系统LP（X）上的α-超归结原理,并证明了其可靠性和完备性。     

直觉算子模糊命题逻辑系统中的归结方法

对直觉算子模糊逻辑(记为IOFL)系统给出初步解释,给出了复杂字(μ,v)-互补及(μ,v)-相似的概念,对(μ,v)-归结演绎作进一步探讨,并讨论了(μ,v)-归结在实例中的应用．     

基于十元格蕴涵代数的语言值评价方法

为了解决评价分析中同时具有可比性和不可比性的语言值问题,采用格蕴涵代数的方法去处理语言值。基于十元语言值格蕴涵代数,建立了一个新的语言值教学评价系统模型。该方法能够很好地表达和处理评价问题中的可比信息和不可比信息,且具有丰富的适用于语言值推理的蕴涵运算。在评价分析过程中语言值直接参与推理和运算。研究结果表明所提出的方法在教学评价系统对处理语言值推理时更有效。该成果将有助于推动智能评价系统的实现。     

上下文相关模糊逻辑系统及其归结方法

提出了一种基于Kripke语义结构的上下文相关模糊命题逻辑系统 ,该逻辑系统中命题的真值是不惟一的 ,它依赖于可能世界W中的个体 .文中还定义了逻辑联结词的运算和公式的语义模型 .最后研究该逻辑系统中的归结方法 .     

一种构造格蕴涵代数的方法

格蕴涵代数是一种重要的逻辑代数,可以分别刻画真值的可比较性和不可比较性,从而形象地描述人类的思维活动。因此,构造新的格蕴涵代数对人工智能的研究具有重要意义。提出了格蕴涵同态像的概念,证明了格蕴涵同态像是格蕴涵代数;并通过已有的格蕴涵同态映射,得到构造格蕴涵代数的新方法。     

Soft-Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic

In this paper,we construct a six-element intuitionistic linguistic truth-valued fuzzy propositional logic (6LTV-IP) based on the framework of linguistic truth-valued propositional logic,which can express both the comparable and incomparable truth values. Truth degree and falsity degree of intuitionistic fuzzy proposition are two truth values with linguistic hedge. With the concrete logic operation of 6LTV-IP,some special properties are obtained. Then based on (α,β)-complementary literals and (α,β)-similar literals,we propose a soft-resolution method of 6LTV-IP.     

The Syntax of Lattice-Valued Propositional Logic System lp（X）

Lattice-valued logic plays an important role in multi-valued logic systems. A lattice valued logic system lp （X） is constructed. The syntax of lp（X） is discussed. It may be more convenient in application and study especially in the case that the valuation domain is finite lattice implication algebra.     

基于格值命题逻辑系统LP(X)的不确定性推理

讨论了基于格值命题逻辑系统LP（X）的不确定性推理,证明了FMP和FMT等不确定推理规则,为进一步讨论语言值逻辑推理提供逻辑基础。     

命题逻辑的序结构

含n个命题变元的合式公式A(P1,P2,…,Pn)组成的集合M关于命题公式的等值关系←→构成的商集M/←→{CA|A↓B∈CA包含M,A←→B}关于如下代数运算∨和序关系≤是一个特殊的双格半群,即F格半群：CA∨CB=CA∨B;CB=CA∧B;CA≤CB当且仅当A的每一成真赋值都是B的成真赋值(A↓CA,CB∈M/←→),这里的∧运算是∨的对偶运算,而M上的∧、∨运算分别是逻辑“或”逻辑“与”,同时给出了它的分子结构,并指出该F格半群与n元真值函数集构成的F格半群是同构的。     

命题公式的一种演绎判定方法

命题公式的判定是人工智能领域中的一个核心问题。目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而这种演绎过程是许多推理性应用的重要依据,本文针对命题演算系统L,给出了一种可同时给出演绎过程的判定方法——演绎判定方法。首先提出了消解复杂性的两种范式：最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P(F),并基于ML语言设计了基于P(F)的演绎判定机DMBD。     

结合了命题逻辑与系统动力学的混合控制

针对多变量多目标控制系统中解决控制目标优先顺序方面的困难,引入命题逻辑,结合系统动力学而构成混合系统,并将其与预测控制结合,得到一种新的混合预测控制策略。进行控制时,通过MIQP来求解多目标优化。工业现场实例仿真研究表明了该方法的有效性。     

命题逻辑等值演算的计算机求解方法

探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算。     

三值命题逻辑随机化的注记

通过引入随机化映射和真度权函数等概念,提出了三值命题逻辑系统中公式的随机真度的等价定义,给出了随机真度的推理规则,研究了随机度量空间上逻辑运算的连续性等问题,为在三值命题逻辑系统中进行近似推理提供了另外的方法.     

逻辑系统G4^2中命题的真度

利用势为4的均匀概率空间的无穷乘积在四值逻辑系统G4^2中引入了公式的真度概念,给出了真度的一些推理规则。