Graded reasoning in n-valued Lukasiewicz propositional logic

被引：0
|
作者：
Zhou, Hongjun [1 ]
Wang, Guojun [1 ]
机构：
[1] Shaanxi Normal Univ, Coll Math & Informat Sci, Xian 710062, Shaanxi, Peoples R China
来源：
ADVANCES IN INTELLIGENT WEB MASTERING | 2007年 / 43卷
关键词：
D O I：
10.1007/978-3-540-72575-6_62
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In the present paper we deal with graded reasoning in n-valued Lukasiewicz propositional logic L-n. Firstly we propose an approach to measure the extent to which a theory over L-n is consistent. Secondly, with the concept of consistency degrees of theories, we give several methods of graded reasoning in n-valued Lukasiewicz propositional logic L-n.
引用
收藏
页码：387 / +
页数：3
相关论文
共 50 条
  • [1] Consistency Degrees of Theories in Lukasiewicz Fuzzy and n-valued Propositional Logic systems
    Zhang, Jiancheng
    Su, Lianta
    Chen, Shuili
    ICNC 2008: FOURTH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 7, PROCEEDINGS, 2008, : 342 - +
  • [2] Consistency Degrees of Theories in Lukasiewicz Fuzzy and n-Valued Propositional Logic Systems
    Zhang, Jiancheng
    APPLIED COMPUTATIONAL INTELLIGENCE AND SOFT COMPUTING, 2010, 2010
  • [3] Theory of truth degrees of formulas in Lukasiewicz n-valued propositional logic and a limit theorem
    Li, BJ
    Wang, GJ
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005, 48 (06): : 727 - 736
  • [4] Normal Form of n-Valued Lukasiewicz Logic Formulas
    Wang, Qing-Ping
    QUANTITATIVE LOGIC AND SOFT COMPUTING 2016, 2017, 510 : 81 - 88
  • [5] The Theory of Truth Degree on Vector Representation of Formula in n-valued Lukasiewicz Propositional Logic System
    Gao Xiaoli
    Hui Xiaojing
    Zhu Naidiao
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 3704 - 3709
  • [6] A determination principle for algebras of n-valued Lukasiewicz logic
    Leustean, Ioana
    JOURNAL OF ALGEBRA, 2008, 320 (10) : 3694 - 3719
  • [7] A Quantitative Method of n-valued Godel Propositional Logic
    Li, Jun
    Zhou, Yan
    2011 INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND NEURAL COMPUTING (FSNC 2011), VOL II, 2011, : 81 - 84
  • [8] A Quantitative Method of n-valued Godel Propositional Logic
    Li, Jun
    Zhou, Yan
    2011 INTERNATIONAL CONFERENCE OF ENVIRONMENTAL SCIENCE AND ENGINEERING, VOL 12, PT A, 2012, 12 : 583 - 589
  • [9] Topological Characterization of Consistency of Logic Theories in n-valued Lukasiewicz Logic Luk(n)
    She Yanhong
    Wang Guojun
    He Xiaoli
    CHINESE JOURNAL OF ELECTRONICS, 2010, 19 (03): : 427 - 430
  • [10] MONADIC N-VALUED LUKASIEWICZ ALGEBRAS
    ABAD, M
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1093 - 1093
12345