Averaging the truth value of formulas in Godel logic

被引:0
|
作者
Aguzzoli, Stefano [1 ]
Gerla, Brunella [2 ]
机构
[1] Univ Milan, Dipartimento Informat, Milan, Italy
[2] Univ Insubria, Dipartimento Sci Teor & Applicate, Varese, Italy
关键词
AUTOMORPHISM GROUP; FREE ALGEBRAS; STATES;
D O I
10.1109/FUZZ52849.2023.10309744
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Let L be a propositional mathematical fuzzy logic with the real unit interval [0; 1] as its set of truth values. Assume that L has an algebraic semantics given by a variety V of algebras. A finitely additive probability measure (or, state) over the free n-generated V-algebra provides an average value over all assignments of a formula with n many variables in L only if this measure is invariant with respect to automorphisms of the free algebra. In this paper we characterise the states that are invariant with respect to automorphisms of the free n-generated Godel algebra.
引用
收藏
页数:6
相关论文
共 50 条
  • [21] A New Theory of T Truth Degree on Godel n-Valued Propositional Logic System
    Zhu, Nai-Diao
    Hui, Xiao-Jing
    Gao, Xiao-Li
    QUANTITATIVE LOGIC AND SOFT COMPUTING 2016, 2017, 510 : 59 - 70
  • [22] From rational Godel logic to ultrametric logic
    Khatami, S. M. A.
    Pourmahdian, M.
    Tavana, N. R.
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (05) : 1743 - 1767
  • [23] A hedge for Godel fuzzy logic
    Hájek, P
    Harmancová, D
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2000, 8 (04) : 495 - 498
  • [24] Extending possibilistic logic over Godel logic
    Dellunde, Pilar
    Godo, Lluis
    Marchioni, Enrico
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2011, 52 (01) : 63 - 75
  • [25] Automated Deduction in Godel Logic
    Guller, Dusan
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (03)
  • [26] A hedge for godel fuzzy logic
    Hajek, Petr
    Harmancova, Dagmar
    International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems, 2000, 8 (04): : 495 - 498
  • [27] Godel: A life of logic.
    Brody, LH
    LIBRARY JOURNAL, 2001, 126 (01) : 146 - 146
  • [28] Ten problems in Godel logic
    Aguilera, Juan P.
    Baaz, Matthias
    SOFT COMPUTING, 2017, 21 (01) : 149 - 152
  • [29] Monotone operators on Godel logic
    Fasching, Oliver
    Baaz, Matthias
    ARCHIVE FOR MATHEMATICAL LOGIC, 2014, 53 (3-4): : 261 - 284
  • [30] Logic: from zero to Godel
    Maionchi, Umberto
    HUMANA MENTE-JOURNAL OF PHILOSOPHICAL STUDIES, 2007, (03):