同标签Vague命题的Lawry乘-加逻辑 与Lawry下-上确界逻辑

doi:10.3969/j.issn.0372-2112.2014.05.030

电子学报 ›› 2014, Vol. 42 ›› Issue (5): 1020-1024.DOI: 10.3969/j.issn.0372-2112.2014.05.030

同标签Vague命题的Lawry乘-加逻辑与Lawry下-上确界逻辑

张兴芳, 胡凯

聊城大学数学科学学院, 山东聊城 252059

收稿日期:2012-02-18 修回日期:2013-08-15 出版日期:2014-05-25
- 作者简介:
- 张兴芳 女，1957年生于山东阳谷.教授,研究生导师.研究方向为非经典数理逻辑与近似推理. E-mail:zhangxingfang2005@126.com胡凯男，1980年生于山东淄博.博士，讲师.研究方向为非经典数理逻辑与近似推理.
- 基金资助:
- 国家自然科学基金 (No.61273044)

Lawry Product-Addition Logic and Lawry Infimum-Supfimum Logic of Vague Propositions on the Same Label

ZHANG Xing-fang, HU Kai

School of Mathematical Sciences, Liaocheng University, Liaocheng, Shandong 252059, China

Received:2012-02-18 Revised:2013-08-15 Online:2014-05-25 Published:2014-05-25
- Supported by:
- National Natural Science Foundation of China (No.61273044)

摘要/Abstract

摘要： 作者在另一文中，基于Lawry的不确定模型，提出了一种新的非经典命题逻辑，称为同主语同标签Vague命题的Lawry逻辑.本文又扩充了它的研究对象，利用乘积和加法算子(下确界和上确界算子)引入了同标签Vague命题的Lawry乘-加(Lawry下-上确界)真度的概念，并给出了它们的逻辑规律.由此，本文又提出了新的非经典命题逻辑，称为同标签Vague命题的Lawry乘-加(Lawry下-上确界)逻辑.这两种非经典逻辑不仅新颖，而且相比Lawry的不确定模型适应面更广.

关键词: 非经典逻辑, Vague命题, Lawry逻辑, Lawry乘-加逻辑, Lawry下-上确界逻辑

Abstract: In the other one paper,a new non-classical logic,called Lawry logic of Vague propositions with same subject on same label was presented based on Lawry’s uncertainty model.In the paper,its researchful object is extended.The concept of truth degree of Lawry product-adition (infimum-supremum) of vague propositions on same label,is introduced using product and addition (infimum and supremum),operators.Further,their logical laws are given.Consequently,non-classical logics,called Lawry Product-Addition (Lawry Infimum-Supremum) logic of vague propositions on same label,is presented.These two logics are novel,and comparing Lawry's uncertainty model,their applied scopes are wide.

Key words: non-classical logic, Vague proposition, Lawry logic, Lawry product-addition logic, Lawry infimum-supremum logic

中图分类号:

0141.1

张兴芳, 胡凯. 同标签Vague命题的Lawry乘-加逻辑与Lawry下-上确界逻辑[J]. 电子学报, 2014, 42(5): 1020-1024.

ZHANG Xing-fang, HU Kai . Lawry Product-Addition Logic and Lawry Infimum-Supfimum Logic of Vague Propositions on the Same Label[J]. Acta Electronica Sinica, 2014, 42(5): 1020-1024.

参考文献

[1] Nilsson N.Probability logic[J].Artificial Intelligence,1986,28:71-78.
[2] 王国俊.一种模糊命题的演算系统[J].中国科学(F),1997,42(10):1041-1044. Wang guojun.A fuzzy proposition calculus system[J].Science in China Ser F,1997,42(10):1041-1044.(in Chinese)
[3] Hajek P.Metamathematics of Fuzzy Logic[M].Lodon:Kluwer Acade Mic,1998.
[4] Esteva F,Godo L.Monoidal t-norm based logic:towards logic for left-continuous t-norms[J].Fuzzy Sets and Systems,2001,124:271-288.
[5] 吴洪博,周建仁.计量逻辑中真度的均值表示形式及应用[J].电子学报，2012 40(9):1823-1828. Wu hongbo,Zhou jianren.The form of mean representation of truth degree with applications in quantitative logic[J].Acta Electronica Sinica,2012,40(9):1823-1828.(in Chinese)
[6] 王国俊,宋建社.命题逻辑中的程度化方法[J].电子学报,2006,34(2):252-257. Wang guojun,Song jianshe.Graded method in propositional logic[J].Acta Electronica Sinica,2006,34(2):252-257.(in Chinese)
[7] 李壁镜,王国俊.正则蕴涵算子所对应的逻辑伪度量空间[J].电子学报,2010,38(3):497- 502. Li bijing,Wang guojun.Logic pseudo-metric spaces of regular implication operators[J].Acta Electronica Sinica,2010,38(3):497- 502.(in Chinese)
[8] Elkan C.The paradoxical success of fuzzy logic[J].IEEE Expert,1994,9:47-49.
[9] Liu B.Uncertainty Theory:A Branch of Mathematics for Modeling Human Uncertainty[M].Springer-Verlag,Berlin,2010.
[10] Zhang X.Duality and Pseudo duality of dual disjunctive nrmal forms[J].Knowledge-based Systems,2011,24:1033-1036.
[11] Flaminio T,Marchioni.E.T-norm based logics with an independent involutive negation[J].Fuzzy Sets and Systems,2006,157:3125-3144.
[12] Lawry J.A framework for linguistic modeling[J].Artificial Intelligence,2004,155:1-39.
[13] Lawry J,Tang Y. Uncertainty modeling for vague concepts:A prototype theory approach[J].Artificial Intelligence,2009,173:1539-1558.
[14] 张兴芳,胡凯,李令强，孟广武.同主语同标签Vague命题的Lawry逻辑[J].系统科学与数学,2013,33:1-10. Zhang xingfang，Hu kai，Li lingqiang，Meng guangwu.Vague propositional lawry logic for same subject under same label[J].Journal of System Science and Mathematical,2013,33:1-10.(in Chinese)
[15] 王国俊.数理逻辑引论与归结原理.第二版[M].北京：科学出版社，2006. Wang guojun.Introduction to Mathematical Logic and Resolution Principle[M].Beijing:Science press,2006.(in Chinese)

同标签Vague命题的Lawry乘-加逻辑与Lawry下-上确界逻辑

Lawry Product-Addition Logic and Lawry Infimum-Supfimum Logic of Vague Propositions on the Same Label

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

编辑推荐

Metrics

同标签Vague命题的Lawry乘-加逻辑 与Lawry下-上确界逻辑

Lawry Product-Addition Logic and Lawry Infimum-Supfimum Logic of Vague Propositions on the Same Label

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

编辑推荐

Metrics

同标签Vague命题的Lawry乘-加逻辑与Lawry下-上确界逻辑