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
来源：
2023 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, FUZZ | 2023年
关键词：
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 条
  • [1] Hyperresolution for Godel logic with truth constants
    Guller, Dusan
    FUZZY SETS AND SYSTEMS, 2019, 363 : 1 - 65
  • [2] Defuzzifying formulas in Godel logic through finitely additive measures
    Aguzzoli, Stefano
    Gerla, Brunella
    Marra, Vincenzo
    2008 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5, 2008, : 1888 - +
  • [3] Unsatisfiable Formulae of Godel Logic with Truth Constants and Δ Are Recursively Enumerable
    Guller, Dusan
    COMPUTATIONAL INTELLIGENCE, IJCCI 2014, 2016, 620 : 213 - 234
  • [4] Godel, Tarski and truth
    Wolenski, J
    REVUE INTERNATIONALE DE PHILOSOPHIE, 2005, 59 (234) : 459 - 490
  • [5] Expanding Godel Logic with Truth Constants and the Equality, Strict Order, Delta Operators
    Guller, Dusan
    COMPUTATIONAL INTELLIGENCE, IJCCI 2015, 2017, 669 : 241 - 269
  • [6] The theory of Δ truth degree in Godel n-valued propositional logic system
    Zhu Naidiao
    Hui Xiaojing
    Gao Xiaoli
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 3698 - 3703
  • [7] A Note on Truth Value in Uncertain Logic
    Chen, Xiaowei
    Ralescu, Dan A.
    PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON INFORMATION AND MANAGEMENT SCIENCES, 2009, 8 : 739 - 741
  • [8] A note on truth value in uncertain logic
    Chen, Xiaowei
    Ralescu, Dan A.
    EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (12) : 15582 - 15586
  • [9] Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
    She, Yanhong
    He, Xiaoli
    Wang, Guojun
    FUNDAMENTA INFORMATICAE, 2011, 111 (02) : 223 - 239
  • [10] Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
    She, Yanhong
    He, Xiaoli
    Wang, Guojun
    FUNDAMENTA INFORMATICAE, 2011, 107 (01) : 67 - 83
12345