有限格值命题逻辑的语义理论

导出

摘要基于Pavelka关于模糊命题逻辑的思想,结合L型Fuzzy集合与经典二值命题逻辑理论,初步建立了一种基于有限格蕴涵代数的格值命题逻辑程度化的语义理论.定义了L型重言式和L型矛盾式的概念,给出了几类L型重言式之间的关系定理.从不确定性推理的角度,定义了逻辑公式集在一定水平上的可满足性概念.在此基础之上,定义了基于一个逻辑公式集合的语义结论算子,研究了语义结论算子的性质以及信息的相容性问题.

作者潘小东徐扬

机构地区西南交通大学数学学院西南交通大学智能控制开发中心

出处《中国科学：信息科学》 CSCD 2010年第11期1417-1427,共11页 Scientia Sinica(Informationis)

基金国家自然科学基金(批准号:60875034) 中央高校基本科研业务费专项资金(批准号:SWJTU09BR205 SWJTU09ZT37)资助项目

关键词格值命题逻辑语义理论 L型重言式相容性格蕴涵代数

分类号 O153.1 [理学—基础数学]

引文网络
相关文献

参考文献34

1WANG GuoJun,DUAN QiaoLin.Theory of (n) truth degrees of formulas in modal logic and a consistency theorem[J].Science in China(Series F),2009,52(1):70-83. 被引量：13
2WANG GuoJun1,2 & HUI XiaoJing1,31 Institute of Mathematics, Shaanxi Normal University, Xi’an 710062, China,2 Research Center for Science, Xi’an Jiaotong University, Xi’an 710049, China,3 College of Mathematics and Computer Science, Yan’an University, 716000, China.Randomization of classical inference patterns and its application[J].Science in China(Series F),2007,50(6):867-877. 被引量：26
3汪德刚,谷云东,李洪兴.模糊模态命题逻辑及其广义重言式[J].电子学报,2007,35(2):261-264. 被引量：18
4裴道武,王国俊.The completeness and applications of the formal system B[J].Science in China(Series F),2002,45(1):40-50. 被引量：10
5王国俊.Theory of Σ-(α-tautologies) in revised Kleene systems[J].Science China(Technological Sciences),1998,41(2):188-195. 被引量：9
6王国俊.模糊命题演算的一种形式演绎系统[J].科学通报,1997,42(10):1041-1045. 被引量：194
7王国俊.一类代数上的逻辑学(Ⅱ)[J].陕西师范大学学报（自然科学版）,1997,25(3):1-8. 被引量：43
8王国俊.非经典数理逻辑与近似推理[M]科学出版社,2000.
9Daowu Pei,Guojun Wang.The completeness and applications of the formal system ?*[J]. Science in China Series F: Information Sciences . 2002 (1)
10Vilém Novák.First-order fuzzy logic[J]. Studia Logica . 1987 (1)

二级参考文献21

1尤飞,苗志宏,李洪兴.三值模糊逻辑函数实现静险态的检测[J].模糊系统与数学,2004,18(3):91-94. 被引量：1
2吴望名.关于模糊逻辑的—场争论[J].模糊系统与数学,1995,9(2):1-10. 被引量：58
3徐扬,秦克云.模糊格蕴涵代数[J].西南交通大学学报,1995,30(2):121-127. 被引量：37
4LI Bijing,WANG Guojun.Theory of truth degrees of formulas in Lukasiewicz n-valued propositional logic and a limit theorem[J].Science in China(Series F),2005,48(6):727-736. 被引量：30
5王国俊.计量逻辑学(Ⅰ)[J].工程数学学报,2006,23(2):191-215. 被引量：200
6李骏,王国俊.n值Lkasiewicz命题逻辑中命题的α-真度理论[J].计算机工程与应用,2006,42(31):16-18. 被引量：12
7陈永义，模糊控制技术及应用实例，1993年
8韩邦合,王国俊.二值逻辑中命题的条件真度理论[J].模糊系统与数学,2007,21(4):9-15. 被引量：44
9WANG GuoJun1,2 & HUI XiaoJing1,31 Institute of Mathematics, Shaanxi Normal University, Xi’an 710062, China,2 Research Center for Science, Xi’an Jiaotong University, Xi’an 710049, China,3 College of Mathematics and Computer Science, Yan’an University, 716000, China.Randomization of classical inference patterns and its application[J].Science in China(Series F),2007,50(6):867-877. 被引量：26
10Zadeh,L. A.Fuzzy sets, Inform[].Contract.1965

共引文献259

1张安英,于兴江,张兴芳.基于正则蕴涵算子的条件α-重言式理论[J].鲁东大学学报（自然科学版）,2007,23(2):104-107.
2朱怡权,牛冀平.蕴涵格的同余关系及熵蕴涵格[J].应用数学,2001,14(S1):175-179.
3杜振华,杨芙云.电气装配可靠性工艺研究[J].舰船科学技术,2006,28(z1):69-72. 被引量：2
4王国俊,段巧林.模态逻辑中的(n)真度理论与和谐定理[J].中国科学（F辑:信息科学）,2009,39(2):234-245. 被引量：11
5张家录.形式演绎系统L~*的运算与弱演绎定理[J].湘南学院学报,2004,25(2):25-29.
6王国俊,钱桂生,党创寅.命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论[J].中国科学（E辑）,2004,34(10):1110-1122. 被引量：13
7何颖俞,王国俊.L^＊-Lindenbaum代数的结构与L^＊公理系统的简化形式[J].工程数学学报,1998,15(1):1-8. 被引量：15
8裴道武,王国俊.The completeness and applications of the formal system B[J].Science in China(Series F),2002,45(1):40-50. 被引量：10
9吴洪博,王小敏,韩诚.L^＊系统中的模糊演绎定理的改进形式[J].四川大学学报（自然科学版）,2005,42(1):27-32. 被引量：8
10刘用麟,刘三阳.R_0-代数的正规MP-理想[J].西安电子科技大学学报,2005,32(1):139-141. 被引量：1

1邬晓钧.《网友聚会》解答[J].程序员,2008(4):110-111.
2PAN XiaoDong,XU Yang.Semantic theory of finite lattice-valued propositional logic[J].Science China(Information Sciences),2010,53(10):2022-2031. 被引量：1
3王加阳,蒋外文.命题重言式形式化证明的实现[J].信息技术,2000,24(11):9-11.
4王礼萍,张树功.重言式和矛盾式的代数化证明[J].计算机与数字工程,2009,37(8):17-21. 被引量：3
5李海明,刘鹏仙,徐扬.基于路径搜索的格值命题逻辑自动推理方法[J].西南交通大学学报,2003,38(3):248-252. 被引量：2
6刘熠,徐扬,贾海瑞.基于格值命题逻辑系统LP(X)的多元α-归结原理的注记[J].计算机科学,2015,42(4):249-252. 被引量：1
7张东晓,李翠华.基于α-expansion的超分辨率图像重建[J].中国科技论文,2015,10(8):937-941.
8赵蕾,程国胜.数据扩展的相容性判定问题[J].南京气象学院学报,2007,30(3):424-427.
9赵蕾,程国胜.基本概念格的数据扩展及相容性判定问题[J].大学数学,2008,24(2):100-103.
10陈其明.扩展的逻辑程序系统及其语义理论[J].计算机学报,1991,14(2):81-92. 被引量：2

中国科学：信息科学

2010年第11期

浏览历史

内容加载中请稍等...

有限格值命题逻辑的语义理论

参考文献34

二级参考文献21

共引文献259

相关作者

相关机构

相关主题

浏览历史