n值S-MTL命题逻辑系统中公式真度的统一理论

给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能.

区间值模糊命题逻辑系统的广义恒真式

建立区间值模糊命题逻辑系统 F(∨ ,∧ ,θ⊥ ,c) ,其中 ,aθ⊥ b=(a) c⊥ b,⊥是 I[0 ,1]中的 t-余范 ;讨论系统 F(∨ ,∧ ,θ⊥ ,c)与对应的模糊命题逻辑系统 F(∨ ,∧ ,θ⊥ ,c)在广义恒真式方面的相互关系 ,得到定理 :T[0 ,α] (F(∨ ,∧ ,θ⊥ ,c) ) =Tα(F(∨ ,∧ ,θ⊥ ,c) )。

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

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

增加Δ算子的G?del n值命题逻辑系统理论的平均真度

在添加了Δ算子G?deln值命题逻辑系统中,给出了G?del n值命题逻辑系统中有限理论的平均真度的定义,给出了该系统下的一些重要结论并给予证明,验证了在该系统下平均真度的一些基本性质,为进一步在该系统下研究平均真度奠定了基础。

一类n值命题逻辑系统中改进的相似度及伪距离

基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度,并利用真度给出一种改进了的相似度定义,进而导出全体公式集F(S)上的一种伪距离,最后讨论了相似度及伪距离的重要性质.

四值非链格值命题逻辑系统L_4P(X)的语义归结方法

为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。

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

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

三值命题逻辑系统中公式的随机真度的向量化

从向量的角度对三值命题逻辑系统进行了讨论,将公式间相关的计算转化成向量的内积运算,以此为基础对公式间的随机伪距离进行了讨论,得出了逻辑连接词在(F(S),ρp)中是连续的结论。

G?del n值命题逻辑系统的真度理论

首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。

二值命题逻辑中的极大命题集与完备命题集

系统讨论了二值命题逻辑系统中极大命题集与完备命题集,给出了两种命题集的等价描述和表示定理,揭示了极大命题集和完备命题集的深刻内涵和联系。

连续值逻辑系统中的代换定理

在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L G R,并在此基础上研究了模糊逻辑系统中的代换定理 。

三值命题逻辑系统L3^＊中逻辑理论性态的拓扑刻画

对三值命题逻辑系统L3^＊中逻辑理论的相容性、全发散性以及逻辑闭性给出了它们在三值逻辑度量空间（F（S）,ρ3）中的拓扑刻画.证明了闭理论Γ相容当且仅当Γ不含内点,当且仅当Γ具有真度遗漏性质,当且仅当Γ不含非空正则球面;证明了理论Γ全发散当且仅当其逻辑闭包在（F（S）,ρ3）中稠密.还证明了有限理论Γ的逻辑闭包是（F（S）,ρ3）中的拓扑闭集.

二值命题逻辑系统的不可靠度及F度累积定理

本研究在二值命题逻辑系统中提出了与随机真度相对应的F度,根据演绎定理证明了F度累积定理,即有效推理结论的F度不超过其各前提的F度之和,从而通过F度累积定理给出了推理前提与结论的真度关系。最后把F度累积定理与概率逻辑学不可靠度累积定理作比较,说明了F度累积定理与不可靠度累积定理是两种不同的表现形式。

G?del n值命题逻辑系统中的Δ真度

在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。

根与F(S)中的近似推理

基于一组公式集的根的理论与公式的真度理论,讨论了二值命题逻辑系统L,Fuzzy命题逻辑系统L*中根与命题集的发散度、相容度之间的内在联系,重点论述了其在F(S)的近似推理误差分析中所起的作用．