BL命题逻辑系统的强同余关系及演绎系统

通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念, 并引入强同余关系, 讨论BL系统中演绎系统和强同余关系之间的联系, 给出二者之间相互转换的方法, 并得到了二者之间相互转换的还原性.     

逆P-集合的扰动定理与数据的扰动挖掘

逆P-集合是把动态特征引入到有限普通元素集合内提出的,逆P-集合具有动态特征。逆P-集合的动态特征来自集合的元素(属性)迁移,元素迁入使得集合的边界发生扩展扰动,元素迁出使得集合的边界发生收缩扰动。本文基于逆P-集合的概念与结构,提出内逆P-集合的F-扰动度、外逆P-集合的(-overF)-扰动度与逆P-集合的(F,(-overF))-扰动度概念,给出它们的度量,并给出F-扰动定理、(-overF)-扰动定理与(F,(-overF))-扰动定理,以及在扰动存在的条件下,逆P-集合、逆P-集合族与有限普通元素集合X的关系。利用这些结果,提出数据的F-扰动挖掘定理、(-overF)-扰动挖掘定理与(F,(-overF))-扰动挖掘定理。最后给出基于扰动度的数据挖掘应用。     

Frobenius扩张下模的无挠性和自反性

设A/R是环的Frobenius扩张。证明了在环的Frobenius扩张下,一个模的无挠性和自反性是保持的,即对于任意的A-模 M,M_A是无挠模(或自反模)当且仅当M作为R-模是无挠模(或自反模)。     

对偶τ-Rickart模

设τ=(T,F)表示遗传挠理论,引入了对偶τ-Rickart模的概念.称M是对偶τ-Rickart模,如果对任意ψ∈End(M),π^－1_τ(Im ψ－)=Im ψ+τ(M)是M的直和因子.研究了对偶τ-Rickart模的性质,给出了对偶τ-Rickart模的等价刻画.进而,证明了M是τ-Rickart模并且Mτ(M)具有C₂条件当且仅当M是对偶τ-Rickart模并且Mτ(M)具有D₂条件.     

有界Heyting代数上基于理想的一致拓扑空间

为了利用拓扑学工具研究有界Heyting代数的性质和结构问题,基于由理想概念诱导的一类同余关系在有界Heyting代数(H,≤,→,0,1)上构造一致拓扑空间(H,τ)并考察其基本性质和拓扑性质,证明了(H,τ)是非连通的局部连通、局部紧、零维、第一可数的完全正则空间,(H,τ)是T1空间当且仅当(H,τ)是Hausdorff空间,获得了(H,τ)成为离散空间和紧致空间的充要条件,指出了(H,≤,→,0,1)中格运算和蕴涵运算关于一致拓扑τ都是连续的,从而构成拓扑有界Heyting代数。同时,讨论了(H,τ)的商空间性质。     

BL代数的(,∨(-overq))-模糊滤子格

对BL代数的(,∨(-overq))-模糊滤子理论作进一步深入研究。给出了(,∨(-overq))-模糊滤子的若干新性质, 定义了由BL代数上的一个模糊集生成的(,∨(-overq))-模糊滤子并建立了其表示定理, 证明了BL代数的全体(,∨(-overq))-模糊滤子之集构成一个完备的分配格。     

外P-模糊集的截集与扩展粗集模型

P-模糊集是由内、外P-模糊集构成的集合对,内、外P-模糊集是两类不同的动态模糊集。截集方法是研究模糊集理论最常用的方法,提出外P-模糊集的λ-截集、λ-强截集、区间截集及其截集粒度的概念,讨论了外P-模糊集的截集序列粒度定理、区间截集序列粒度定理,给出外P-模糊集区间截集分解定理。利用外P-模糊集粗隶属度函数的概念,给出外P-模糊集A^F的(α_F,β_F)粗集、(1_F,0_F)粗集、(α_F,β_F)概率粗集、(α_F,β_F)的变精度粗集四种粗集扩展模型,讨论了外P-模糊集的(α_F,β_F)粗集定理,并给出其数量特征及关系讨论。     

异分数阶chen系统的动力学特性及其多元电路实现

通过选取不同的分数阶数q(q1=0.9,q2=0.9,q3=0.8)构造了异分数阶3维chen系统,对其相图、分岔图和Poincaré 截面等动力学特性进行了分析,以树型、链型以及树链混合型的方式设计了系统的多元电路,并进行Multisim模拟仿真,电路仿真与Matlab数值仿真结果一致,证实了所设计的多元电路的有效性.     

半群PD(n,r)的秩和相关秩

设自然数n≥3, PDn是有限链［n］上的保距部分一一奇异变换半群。PD(n,r)={α∈PDn:|im(α)|≤r}(0≤r≤n-1)是半PDn的双边理想。通过对半群PDn的秩为r的元素的分析,获得了半群PD(n,r)的极小生成集和秩。进一步确定了当0≤l≤r时,半群PD(n,r)关于其理想PD(n,l)的相关秩。     

一类自适应网络上的传染病模型研究

利用多项分布下的三元组逼近公式,对自适应网络中的SIS矩封闭传染病模型进行封闭,研究多项分布下自适应行为对传染病传播的影响,通过定性与稳定性理论,得到了模型的基本再生数R0,分析了平衡点的稳定性.得到断边重连自适应行为对传染病传播具有多重作用:当相对传染率足够小时,模型发生标准的前向分支,R0<1时疾病趋于灭绝;反之,从数学理论上严格证明了重连可导致后向分支和鞍结点分支等复杂动力学行为的发生,因此R0<1不足以控制传染病的传播。     

QBL-代数及其与BL-代数的等价性

根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征, 将基础逻辑系统BL中的部分公理代数化, 建立一种新的代数结构QBL-代数, 并证明了QBL-代数与BL-代数的等价性, 以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.     

逻辑系统G3中命题的D-条件真度与近似推理

基于条件概率的思想,利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入公式的D-条件真度,证明了D-条件真度的MP规则和HS规则。引入公式间的D-条件相似度和D-条件伪距离,建立了D-条件逻辑度量空间,推导出D-条件伪距离的若干性质,证明了D-逻辑度量空间中二元运算“∨”,“∧”,“→”关于D-条件伪距离的连续性。在D-条件逻辑度量空间中提出了三种不同类型的近似推理模式并研究了它们之间的关系。     

带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

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

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

均匀逻辑公式的基本性质及其真度的分布

基于密码学中布尔函数的等重性在二值命题逻辑中引入了均匀公式的概念。证明了每个均匀公式的真度都小于或等于1／2, 全体均匀逻辑公式的真度之集在逻辑度量空间中有惟一的聚点0。 研究了均匀逻辑公式的基本性质, 给出了含有同样原子公式的二均匀逻辑公式的析取式真度以及二者之间的相似度的简单计算方法。     

命题逻辑与数学证明方法（Ⅲ）

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结.     

有效论证与好论证的关系

有效论证和好论证都是积极的论证评价,两者既有区别又有联系;从非形式逻辑的视阈看,有效论证是好论证的重要条件;从命题逻辑推演、语义层面和论证图示的角度分析,有效论证既不是好论证的充分条件也不是好论证的必要条件;有效性在形式逻辑和非形式逻辑中有明显的量的差异,从有效论证和好论证的关系可以更好理解形式逻辑和非形式逻辑的关系.     

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

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