旋转对称逻辑公式的构造

给出了n=p_1~(a1)p_2~(a2)···p_(ωn)~(aωn)时已有方法计算长圈个数错误的反例,并得到了此情况下正确的长圈个数计算公式.研究了如何构造汉明重量为某个定值的旋转对称布尔函数.将旋转对称布尔函数引入到计量逻辑学中,提出了旋转对称逻辑公式的概念.找到了如何构造真度为某个定值的旋转对称逻辑公式的方法。     

一类数论函数及其均值分布性质

设正整数n≥ 3,对任一整数1≤a≤n-1且(a,n)=1,显然存在唯一的整数1≤(?)≤n-1使得a(?)≡1(mod n).本文的主要目的是研究差式|a-(?)|的分布性质,给出均值函数:M(n,k)≡sum fron a=1 to n-1(1/n)|a-(?)|~(2k 1)的一个较强的渐近公式.     

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

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

平衡逻辑公式在逻辑度量空间中的分布

引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式.并且n元平衡逻辑公式中等价类关于(一),ν,Λ,→运算封闭,等价类之集[A](A是n元平衡逻辑公式)关于包含序在ν,Λ下构成一个格.证明了n元平衡逻辑公式只占全体n元逻辑公式的很小一部分,其比例随n的增大而趋向于零.其次,n元平衡逻辑公式的真度总是等于1/2,任一n元平衡逻辑公式的任意小的邻城内都有非平衡逻辑公式,但是这些公式的真度随n的增大而趋向于1/2.最后,给出了平衡逻辑公式的表示定理.     

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.     

命题逻辑中概率真度的相似度及伪距离

通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统中公式概率真度的定义,研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0,1]中的稠密性,在此基础上给出了3种相似度,讨论了其性质及关系,并由此定义了3种伪距离,确定了三者之间的比例关系,为推理程度的数值化提供了依据.     

半群O_n(k)的秩

设O_n是有限链[n]上的保序变换半群.对任意1≤k≤n-1,研究半群O_n(k)={α∈O_n:(x∈[n]x≤k→xα≤k}的秩和幂等元秩,证明了半群O_n(k)的秩为2n-3.进一步,得到了半群O_n(k)(2≤k≤n-1)的幂等元秩为n和半群O_n(1)的幂等元秩为n-1.     

逻辑方程解的性质

以二值命题逻辑的真度理论为基础,提出了基于真度理论的逻辑方程的概念,并给出了此种逻辑方程解的存在性定理,并就τ(A→X)=α的逻辑方程展开了讨论,其中,A是舍有 n 个原子公式的合式公式,X是待定的公式,A的真度τ(A)=K/2n,α=m/2n,且1-τ(A)＜α≤1.我们得到了如下结论:(1)以上逻辑方程的解的等价类个数为Cmn+k-2nk·22n-k.(2)α≠1时,上述方程的解集合是不相容的.(3)解集合中公式的相似度最大值为1-1/2n,相似度的最小值为|2n+1-2m-k|/2n.(4)形如τ((A→X)∧(X→A))=α的逻辑方程其解集合是不相容的.     

布尔矩阵行空间基数的存在点

设Bn表示所有的n阶布尔矩阵的集合，R(A)表示A∈Bn的行空间．|R(A)|表示R（A）的基数。设m，n,k为正整数，本证明了当n≥9,[n 5/2]≤k≤n-3时,对任意的m、2^k≤m≤2^k 2^n-k 2 2^n-k 1 … 2^3，存在A∈B．使得|R（A）|=m．     

Goguen命题逻辑系统公理化扩张的k随机真度理论

通过对n值Goguen命题逻辑进行公理化扩张Goguen~,Δ(Π~,Δ)。利用赋值集随机化的方法,在Π~,Δ中提出了公式的k随机真度,讨论了k随机真度的MP规则,HS规则,给出了公式间的k随机相似度与k随机伪度量的概念和性质。同时介绍了三种近似推理模式并证明了三种推理模式之间的等价性。     

经典命题逻辑的Boole语义理论

以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论;证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元;在这种新语义理论中提出了公式的B-度实概念,研究了B-真度的基本性质。     

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

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

四值非线性序集逻辑系统的随机化

利用赋值集的随机化方法,在四值非线性序集逻辑系统L24中提出了公式的随机真度和随机距离,建立了非线性序集逻辑系统上的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在非线性序集逻辑系统上的推广.     

Disturbing Fuzzy Propositional Logic and its Operators

In this paper, the concept of disturbing fuzzy propositional logic is introduced, and the operators of disturbing fuzzy propositions is defined. Then the 1-dimensional truth value of fuzzy logic operators is extended to be two-dimensional operators, which include disturbing fuzzy negation operators, implication operators, “and” and “or” operators and continuous operators. The properties of these logic operators are studied.     

标准序列逻辑系统S_3中公式的概率真度理论

利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架.     

逻辑系统'Luk中命题积分真度的若干等式与不等式

对' Lukasiewicz逻辑系统,利用序结构知识和赋值函数保并、交、补、蕴涵运算的性质研究了命题的积分真度,推出了若干关于积分真度的等式与不等式,修正完善了积分真度的交推理规则,给出了积分真度的等式与不等式的一些应用,使较复杂的积分真度计算得以简化,或进行较合理的估值.     

n值逻辑系统中条件随机真度理论

在n值命题逻辑系统中命题的随机真度、随机逻辑度量空间的基础上,给出了修正的n值G¨odel命题逻辑系统中命题的条件真度、条件相似度的概念并讨论了其性质,建立了条件随机逻辑度量空间。     

关于用多维样条逼近的饱和度

<正> 作者在工作[1]中,研究了一维样条逼近的饱和度问题,得到了下述定理: 定理A 设{△_k}是区间[a,b]的一分划序列,‖△_k‖→0(k→∞),R_(△k)≤β<∞(k=1,2,…),若f(x)∈c~n[a,b],S_(△_k)(x)是(n-1)次多项式样条,如果 对任一p成立,(p=0,1,…,n)则 D~nf(x)≡0. 本文是[1]的续篇,对多维样条进行研究,可得一些类似的结果,为明确起见,我们仅对二维情形进行讨论.