计算机科学 ›› 2015, Vol. 42 ›› Issue (11): 130-133.doi: 10.11896/j.issn.1002-137X.2015.11.027

• 第十四届中国多值逻辑与模糊逻辑学术会议 • 上一篇    下一篇

对称逻辑公式在L*4逻辑度量空间中的分布

惠小静,赵玛瑙,高姣   

  1. 延安大学数学与计算机科学学院 延安716000,延安大学数学与计算机科学学院 延安716000,延安大学数学与计算机科学学院 延安716000
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金(11471007),陕西省自然科学基金(2014JM1020),陕西省高水平大学建设专项资金(2012SXTS07),延安大学研究生创新基金,陕西省大学生创新训练计划项目(1064)资助

Distribution of Symmetrical Logic Formulas in L*4-logic Metric Space

HUI Xiao-jing, ZHAO Ma-nao and GAO Jiao   

  • Online:2018-11-14 Published:2018-11-14

摘要: 在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。

关键词: 四值逻辑系统L*4,对称逻辑公式,计数问题

Abstract: In four-valued logic system L*4,the concept of symmetric logic formulas was given.The counting problem of the symmetrical logic formulas in the L*4- logic metric space was studied by using Matlab,and the numbers of symmetric logic formulas with 3n,3n+1 and 3n+2 atoms were given.It was proved that the ratio of the number of symmetric formulas with n atoms over the numbers of all formulas with n atoms converges to zero when n tends to infinite.

Key words: Four-valued logic system L*4,Symmetric logic formulas,Counting problem

[1] 王国俊.数理逻辑引论与归结原理(第二版)[M].北京:科学出社,2006 Wang Guo-jun.Introduction to Mathematical Logic and Resolution Principle (2nd Edition)[M].Beijing:Science in China Press,2006
[2] 王国俊,傅丽,宋建设.二值命题逻辑中命题的真度理论[J].中国学(A辑),2001,1(11):998-1008 Wang Guo-jun,Fu Li,Song Jian-she.Theory of truth degrees of propositions in two-valued propositional logic[J].Science in China(ser.A),2001,1(11):998-1008
[3] Wang Guo-jun,Leung Y.Integrated semantics and logic metric spaces [J].Fuzzy Sets and Systems,2003,136(1):71-91
[4] Ying Ming-sheng.A logic for approximate reasoning [J].Journal of Symbolic Logic,1994,59:830-837
[5] Pei Dao-wu,Wang G J.The extensions L*nof formal systems L*n and their completeness [J].Information Sciences,2003,152:155-166
[6] 王国俊,惠小静.概率逻辑学基本定理的推广[J].电子学报,2007,5(7):1333-1340 Wang Guo-jun,Hui Xiao-jing.Generalization of fundamental theorem of probability logic and its application[J].Acta Electronica Sinica,2007,35(7):1333-1340
[7] 惠小静,王国俊.经典推理模式的随机化研究及其应用[J].中国科学(E辑)2007,7(6):801-812 Hui Xiao-jing,Wang Guo-jun.Randomization of classical infe-rence patterns and its application[J].Science in China(ser.E),2007,7(6):801-810
[8] 胡明娣,王国俊.对称逻辑公式在经典逻辑度量空间中的分布[J].电子学报,2011,9(2):419-423Hu Ming-di,Wang Guo-jun.Distribution of the symmetrical logicformulas in the classical logic metric space[J].Acta ElectronicaSinica,2011,39(2):419-423
[9] 王庆平,王国俊.对称逻辑公式在L*3逻辑度量空间中的分布[J].计算机学报,2011,4(1):105-114 Wang Qing-ping,Wang Guo-jun.Distribution of the symmetrical logic formulas in the L*3-logic metric space[J].Chinese Journal of Computers,2011,4(1):105-114
[10] 王庆平.L*3中逻辑公式的范式表示及对称逻辑公式的构造方法[J].计算机学报,2013,6(4):851-861 Wang Qing-ping.The normal form of logic formulae and construction method of symmetrical logic formulae in L*3[J].Chinese Journal of Computers,2013,6(4):851-861

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75 .
[2] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[3] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[4] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[5] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99 .
[6] 周燕萍,业巧林. 基于L1-范数距离的最小二乘对支持向量机[J]. 计算机科学, 2018, 45(4): 100 -105 .
[7] 刘博艺,唐湘滟,程杰仁. 基于多生长时期模板匹配的玉米螟识别方法[J]. 计算机科学, 2018, 45(4): 106 -111 .
[8] 耿海军,施新刚,王之梁,尹霞,尹少平. 基于有向无环图的互联网域内节能路由算法[J]. 计算机科学, 2018, 45(4): 112 -116 .
[9] 崔琼,李建华,王宏,南明莉. 基于节点修复的网络化指挥信息系统弹性分析模型[J]. 计算机科学, 2018, 45(4): 117 -121 .
[10] 王振朝,侯欢欢,连蕊. 抑制CMT中乱序程度的路径优化方案[J]. 计算机科学, 2018, 45(4): 122 -125 .