文献类型：期刊文章

作　　者：于鹏[1] 王国俊[2,3]

机构地区：[1]陕西科技大学理学院,陕西西安710021 [2]陕西师范大学数学与信息科学学院,陕西西安710062 [3]西安交通大学基础研究中心,陕西西安710049

出　　处：《模糊系统与数学》

基　　金：陕西科技大学自然科学基金项目资助(ZX07-37);国家自然科学基金资助项目(10771129)

年　　份：2009

卷　　号：23

期　　号：1

起止页码：12-18

语　　种：中文

收录情况：BDHX、BDHX2008、CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、核心刊

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

关 键 词：Blooe函数  真度 相似度 发散度 逻辑方程 不相容理论  

分 类 号：O235] O153[数学类]