Operations fitting triangular-norm-based biresiduation (Q1304216): Difference between revisions
From MaRDI portal
Removed claims |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Vilém Novák / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Vladik Ya. Kreinovich / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3135091 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4836218 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Triangular norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994407 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PARADIGM, FORMAL PROPERTIES AND LIMITS OF FUZZY LOGIC / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3336431 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0165-0114(98)00260-7 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2061234097 / rank | |||
Normal rank |
Latest revision as of 10:22, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Operations fitting triangular-norm-based biresiduation |
scientific article |
Statements
Operations fitting triangular-norm-based biresiduation (English)
0 references
16 November 1999
0 references
In classical (2-valued) logic, the truth value of each logical operation \noindent \(f(a_1,\ldots,a_n)\) does not change if we replace each value \(a_i\) with the equivalent value \(b_i\). In formal terms, in classical logic, we have \(((a_1\Leftrightarrow b_1)\&\ldots\& (a_n\Leftrightarrow b_n))\Rightarrow (f(a_1,\ldots,a_n)\Leftrightarrow f(b_1,\ldots,b_n))\). For fuzzy equivalence \(\Leftrightarrow\), this is not always true, because if \(a_1\) is ``almost'' equivalent to \(b_1\), etc., then these differences accumulate, and the resulting difference between \(f(a_1,\ldots,a_n)\) and \(f(b_1,\ldots,b_n)\) may become too large. In many cases, however, this implication becomes true if in the conjunction \((a_1\Leftrightarrow b_1)\&\ldots\), we repeat each term \(a_i\Leftrightarrow b_i\) several (\(k_i\)) times. An operation \(f\) for which this property is true for some values \(k_i\) is called fitting. In the paper under review, the authors describe which operations are fitting under different fuzzy equivalences. One of the most natural ways to define a fuzzy equivalence \(a\Leftrightarrow b\) is to define it via fuzzy implication, as \(\min(a\Rightarrow b,b\Rightarrow a)\), where, for a given t-norm \(\&\), \(a\Rightarrow b\) can be naturally defined as \(\sup\{z |x\& z\leq y\}\). This natural implication operation is called a residuation, and the resulting equivalent operation is called biresiduation. For several most widely used t-norms, the authors describe all unary and binary operations which are fitting w.r.t. corresponding biresiduations.
0 references
fuzzy logic
0 references
fuzzy equivalence
0 references
t-norms
0 references