一类二值谓词逻辑中公式的准真度理论

在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集．在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念，证明了关于准真度而言MP规则与HS规则成立，并基于准真度对全体谓词公式之集进行了分类．准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合，但可证明存在一类公式，对该类公式而言，逻辑有效性等价于准真度为1，矛盾性等价于准真度为0．所以准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广．     

几种逻辑系统中的近似推理理论

借助于逻辑系统中命题的真度理论, 引入命题之间的逻辑度量的概念, 并讨论其性质, 以此在几种常见的逻辑系统中讨论近似推理问题.     

D-逻辑度量空间与近似推理

通过随机化赋值集的方法,在二值逻辑中提出了公式的 D- 随机真度概念,证明了全体公式的 D-随机真度之集在[0,1]中没有孤立点;提出了 D- 逻辑伪距离和 D- 逻辑度量空间,证明了该空间中没有孤立点;指出当取均匀概率测度,且各概率测度均为 1/2 时,D- 随机真度就转化为计量逻辑学中的真度,同时两公式间的 D- 逻辑伪距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间;最后在 D- 逻辑度量空间中提出了3种不同类型的近似推理模式,并证明了这三种模式是等价的.     

L~*中的典型赋值中介与公理系统的简化

出于为模糊推理奠定逻辑基础之需要,文献[1]提出了形式系统Ｌ.基于此文献[2～4]从语义的角度为ＦＭＰ及ＦＭＴ建立了严格的逻辑依据.为从语构的角度开展进一步的工作,本文首先证明了Ｌ中Ｆ(Ｓ)的典型赋值中介[Ｆ]的结构定理,然后将Ｌ中的14条公理作了简化,得出了仅含9条公理的等价系统Ｌ°.设Ｓ是无限集,是一元运算,∨与→是二元运算,以Ｆ(Ｓ)记由Ｓ生成的(,∨,→)型自由代数.称由Ｆ(Ｓ)、文献[1]中的14条公理(Ｌ1),(Ｌ3)—(Ｌ6),(Ｍ1)—(Ｍ9)以及ＭＰ规则与交推理规则组成的系统为Ｌ.设Ａ,Ｂ∈Ｆ(Ｓ),定义Ａ～Ｂ　　当且仅当├(Ａ→Ｂ)且├…     

BR0代数中的模糊布尔滤子

在BR0代数中引入模糊滤子和模糊布尔滤子的概念，给出了BR0代数中模糊滤子的充要条件以及若干性质。讨论了模糊布尔滤子与截集的关系。最后得到了模糊布尔滤子的几个等价刻画。     

再论城市测量平面坐标系统的选择——怎样处置"投影长度变形"超限的问题

本文就城市大比例尺基本地形图如普遍采用国家统一3度带系列,将经常会出现"投影长度变形"超限这个问题,初步讨论了包括长度和面积的实时具体改正方法.     

论聚合与推理的顺序

给定一组推理规则，可以先把这组规则聚合为一个超规则，然后依此超规则进行推理；也可先分别依据各给定规则进行推理，然后将所得结果进行聚合。本文证明了这两种方法都可以是相容的，并指出Ｂｕｃｋｌｅｙ与Ｈａｙａｓｈｉ关于前者一定不相容的论断是错误的。     

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

利用条件概率的思想在Lukasiewicz三值命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;以条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为三值Lukasiewicz逻辑系统中给出在信息Г下的近似推理理论提供了一种可能的框架.     

命题演算系统L*与谓词演算系统K*中统一的近似推理理论

引入了度量R₀-代数和R₀型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L^*与一阶逻辑系统K^*的近似推理理论,并得到了统一的完备性定理.     

逻辑系统L*n中命题的真度理论

利用势为n的均匀概率空间的无穷乘积, 在n值广义Lukasiewicz命题逻辑系统Ln^＊中引入命题的真度概念, 证明了全体公式的真度值之集在上是稠密的, 并给出了公式真度的表达通式及真度推理规则; 利用真度定义了公式间的相似度, 进而导出了全体公式集上的一种伪距离, 为n值命题逻辑的近似推理理论提供了一种可能的框架.