Graded method of lattice-valued logic based on MV-algebra semantics

被引：0
作者：
机构：
[1] Department of Mathematics and Information Science, North China University of Water Resources and Electric Power, Zhengzhou
来源：
Zuo, W.-B. (zuoweibing@ncwu.edu.cn) | 1600年 / Chinese Institute of Electronics卷 / 41期
关键词：
Approximate reasoning; Lattice-valued logic; MV-algebra; Probability logic metric space; Probability truth degree;
D O I：
10.3969/j.issn.0372-2112.2013.10.026
中图分类号：
学科分类号：
摘要：
Based on the notion of MV-algebra semantics, probability measure is set up in MV-algebra evaluation lattice and set of all propositions, and a probability truth degree of propositions in lattice-valued logic is proposed with integral. Thus pseudo-metric in set of all propositions is induced, probability logic metric space is established in lattice-valued logic, and graded reasoning is developed. In summary, approximate reasoning method in quantitative logic is expanded to lattice-valued logic, and it is feasible in graded in lattice-valued logic.
引用
收藏
页码：2035 / 2040
页数：5
相关论文
共 25 条
  • [1] Rosser J.B., Turquette A.R., Many-valued Logics, (1952)
  • [2] Pavelka J., On fuzzy logic (I, II, III), Zeitschr f Math logik u Grundlagen d Math, 25, (1979)
  • [3] Ying M.S., A logic for approximate reasoning, Journal of Symbolic Logic, 59, 3, pp. 830-837, (1994)
  • [4] Wang G.J., Fu L., Et al., Theory of truth degrees of propositions in two valued logic, Sci China Ser A-Math, 45, 9, pp. 1106-1116, (2002)
  • [5] Wang G.J., Leung Y., Integrated semantics and logic metric spaces, Fuzzy Set and Systems, 136, 1, pp. 71-91, (2003)
  • [6] Li B.J., Wang G.J., Theory of truth degrees of formulas in Lukasiewicz n-valued propositional logic and a limit theorem, Sci China Ser F-Inf Sci, 48, 6, pp. 727-736, (2005)
  • [7] Zhou H.J., Wang G.J., Zhou W., Consistency degrees of theories and methods of graded reasoning in n-valued R<sub>0</sub>-logic (NM-logic), International Journal of Approximate Reasoning, 43, 2, pp. 117-132, (2006)
  • [8] Li J., Wang G.J., Theory of truth degress of propositions in the logic system L<sub>n</sub><sup>*</sup>, Sci China Ser F-Inf Sci, 49, 4, pp. 471-483, (2006)
  • [9] Wang G.J., Hui X.J., Randomization of classical inference patterns and its application, Sci China Ser F-Inf Sci, 50, 6, pp. 867-877, (2007)
  • [10] Wang G.J., Zhou H.J., Quantitative logic, Information Sciences, 179, 3, pp. 226-247, (2009)
123