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 条