经典命题逻辑中的近似推理与强近似推理

基于命题逻辑公式之间相似度的概念,在经典命题逻辑系统中提出了两种近似推理模式,得到了它们的一些基本性质。讨论了这两种推理模式与经典推理模式之间的关系。此外,当理论Γ有限时,本文分别给出Γ在α程度上近似推出公式A和理论Σ的充要条件。最后,我们给出公式A与有限理论Γ的结论集D(Γ)之间距离的计算公式。     

二值命题逻辑中基于前提信息的近似推理理论

以真度为基础,给出二值命题逻辑系统中基于前提信息的相似度和伪距离的概念以及伪距离的真度表示式,对二值命题逻辑中具有前提信息的近似推理问题进行讨论.     

二值命题逻辑中的三种Г近似推理模式及其等价性

在二值命题逻辑中引入了公式的Г蕴涵真度，证明了全体有限理论的蕴涵真度值在[0，1]中稠密。在Г蕴涵真度的基础上，定义了公式间的Г蕴涵相似度及伪距离。最后讨论了基于Г蕴涵真度的三种近似推理模式，得出了这三种近似推理模式之间是等价的结论。     

二值命题逻辑中的三种Γ近似推理模式及其等价性

在二值命题逻辑中引入了公式的Γ蕴涵真度,证明了全体有限理论的蕴涵真度值在[0,1]中稠密.在Γ蕴涵真度的基础上,定义了公式间的Γ蕴涵相似度及伪距离.最后讨论了基于Γ蕴涵真度的三种近似推理模式,得出了这三种近似推理模式之间是等价的结论.     

应用标准序列逻辑蕴涵的近似推理

本文讨论了应用标准序列逻辑蕴涵R_s的近似推理方法及其具有的良好性质,并给出在离散论域下计算的实例和程序,与其它方法作了比较,还给出了R_s下的多重多维推理公式。     

分层的格值命题逻辑系统Lvpl中的推理规则

格值命题逻辑系统Lvpl中的推理规则体现了逻辑系统的语法功能,推理规则越多逻辑系统的语法演绎能力越强.针对推理规则的具体例子的研究已有很多成果,但其中对于推理规则需要满足的条件缺乏系统研究.本文通过研究分析二值逻辑中推理规则的特点,来研究Lvpl中的推理规则.给出Lvpl中推理规则的公式演绎部分需要满足的条件,为Lvp...     

扰动模糊命题逻辑系统中的广义重言式

通过定义二维R0-蕴涵算子，将王国俊教授在逻辑系统形中的广义重言式理论推广并应用到二维赋值的扰动模糊命题逻辑系统西中，证明了这一系统中（μ，δ）-重言式就是某个（λ，1-λ）-重言式，最终获得与一维线性赋值格上完全相应的广义重言式分类。     

基于系统L（X）的几种近似推理

本文在格值命题逻辑系统Ｌ（Ｘ）研究工作的基础上，借助于Ｌ（Ｘ）的语法推演规则，针对四种近似推理模型分别提出了几种近似推理方法。     

扰动模糊命题逻辑的代数结构及其广义重言式性质

着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.     

模糊值命题逻辑FP^＊（X）

In this paper,we take,f[0,1],the set of fuzzy subesets of [0,1],as the set of truth values to establish a fuzzy-valued propositional logic system.     

一种算子命题逻辑系统及其T-不变量推理算法

定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。     

Fuzzy推理机与真值流推理

本文介绍“Fuzzy信息处理与机器智能”国家自然科学基金重大项目第一子课题中的学术思想。这个子课题的任务是研制Fuzzy推理机,本文将对其中所依据的一种数学理论——真值流推理进行介绍。     

命题逻辑系统中理论的发散度与近似推理的若干性质

基于演绎定理和完备性定理研究了二值命题逻辑系统、Lukasiewicz命题逻辑系统和R0-命题逻辑系统的理论的发散度与近似推理,获得了用Г中公式的真度表示其发散度的计算公式和若干可用于近似推理的不等式。     

Lukasiewicz三值命题逻辑中命题的真度理论

利用势为3的均匀概率空间的无穷乘积在Lukasiewicz三值命题逻辑中引入了公式的真度概念，证明了全体公式的真度值之集在[0，1]上是稠密的，并给出真度的表达式；利用真度定义公式问的相似度，进而导出全体公式集上的一种伪距离，为三值命题的近似推理理论提供一种可能的框架。     

经典命题逻辑中公式的D-条件真度及近似推理

基于条件概率的思想,利用赋值集的随机化方法,在经典命题逻辑系统中引入命题的D-条件真度和D-条件相似度及伪距离,建立了D-Γ逻辑度量空间;推出了D-条件真度的若干性质,证明了D-Γ逻辑度量空间中逻辑运算的连续性;并在DΓ-逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性。     

经典命题逻辑中公式的Γ-随机真度与近似推理

利用概率空间的无穷乘积,在经典二值命题逻辑中引入了公式的Γ-随机真度概念以及公式间的Γ-相似度概念.进而导出了全体公式集上的一种伪距离,建立了逻辑度量空间.最后提出了基于Γ-随机真度的三种不同的近似推理模式,并且证明了这三种近似推理模式之间是相互等价的.     

经典命题逻辑中理论的D-条件发散度与近似推理

在经典命题逻辑系统中,给出了D-г逻辑度量空间中理论的D-条件发散度和公式到理论的D-条件距离的真度表达式,推出了它们的若干性质;并利用这些性质研究了D-г逻辑度量空间中近似推理的相关问题.     

n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理

利用赋值集的随机化方法,在n值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和随机伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.     

格值命题逻辑系统L（X）（I）

本文通过泛代数的概念与方法建立了以格蕴涵代数为真值域的格值命题逻辑系统Ｌ（Ｘ），并讨论了它的语义问题。