Reasoning about mathematical fuzzy logic and its future (Q419039): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 6 users not shown) | |||
Property / review text | |||
The author surveys developments in formalized fuzzy logic. On the one hand he discusses the basic mathematical fuzzy logics like BL and MTL, as well as some of their schematic extensions. On the other hand he gives a more extended discussion of fuzzy logics with graded notions of consequence, particularly his own favorites: the fuzzy logic with evaluated syntax and the fuzzy type theory. These latter approaches are presented together with their main applications toward approximate reasoning, as well as natural language modeling and common-sense reasoning, particularly generalized quantifiers and their syllogistic inference rules. | |||
Property / review text: The author surveys developments in formalized fuzzy logic. On the one hand he discusses the basic mathematical fuzzy logics like BL and MTL, as well as some of their schematic extensions. On the other hand he gives a more extended discussion of fuzzy logics with graded notions of consequence, particularly his own favorites: the fuzzy logic with evaluated syntax and the fuzzy type theory. These latter approaches are presented together with their main applications toward approximate reasoning, as well as natural language modeling and common-sense reasoning, particularly generalized quantifiers and their syllogistic inference rules. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B52 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68T30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68T37 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68T50 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6036176 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fuzzy logic | |||
Property / zbMATH Keywords: fuzzy logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fuzzy type theory | |||
Property / zbMATH Keywords: fuzzy type theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
graded consequence relations | |||
Property / zbMATH Keywords: graded consequence relations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
common-sense reasoning | |||
Property / zbMATH Keywords: common-sense reasoning / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
evaluated syntax | |||
Property / zbMATH Keywords: evaluated syntax / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
approximate reasoning | |||
Property / zbMATH Keywords: approximate reasoning / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Siegfried Johannes Gottwald / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: ETPS / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.fss.2010.09.019 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2116314945 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An introduction to mathematical logic and type theory: To truth through proof. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relations in fuzzy class theory: initial steps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy class theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From fuzzy logic to fuzzy mathematics: a methodological manifesto / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy logics as the logics of chains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relational compositions in fuzzy class theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Learning rule base in linguistic expert systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic foundations of many-valued reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weakly implicative (fuzzy) logics. I: Basic properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Triangular norm based predicate fuzzy logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal systems of fuzzy logic and their fragments / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction: Progress in formal commonsense reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3143835 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy logic deduction with crisp observations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal theories and linguistic descriptions. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3533552 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representable good EQ-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On expansions of WNM t-norm based logics with truth-constants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: MV-algebras with internal states and probabilistic fuzzy logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residuated lattices. An algebraic glimpse at substructural logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy quantifiers. A computational theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The logic of inexact concepts / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3135091 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mathematical Fuzzy Logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5692481 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metamathematics of fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ten questions and one problem on fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4817203 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: What is mathematical fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On theories and models in fuzzy predicate logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The sorites paradox and fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness in the theory of types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theory of prepositional types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4836218 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Solution of a system of linear equations with fuzzy numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Filters in fuzzy class theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3113046 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4982403 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5695960 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy control. Fundamentals, stability and design of fuzzy controllers. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a generalization of quantifiers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3142018 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994407 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3484812 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4341181 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Are fuzzy sets a reasonable tool for modeling vague phenomena? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On fuzzy type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Which logic is the real fuzzy logic? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy logic with countable evaluated syntax revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A comprehensive theory of trichotomous evaluative linguistic expressions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A formal theory of intermediate quantifiers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: EQ-algebra-based fuzzy type theory and its extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: EQ-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logical structure of fuzzy IF-THEN rules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the semantics of perception-based fuzzy logic deduction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4269081 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analysis of seasonal time series using fuzzy approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal forms in BL-algebra and their contribution to universal approximation of functions. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logical approximation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logical foundations of rule-based systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Product Logic with Truth-constants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4329299 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342068 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantifiers, modifiers and qualifiers in fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantitative fuzzy semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The concept of a linguistic variable and its application to approximate reasoning. III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A computational approach to fuzzy quantifiers in natural languages / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:21, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reasoning about mathematical fuzzy logic and its future |
scientific article |
Statements
Reasoning about mathematical fuzzy logic and its future (English)
0 references
18 May 2012
0 references
The author surveys developments in formalized fuzzy logic. On the one hand he discusses the basic mathematical fuzzy logics like BL and MTL, as well as some of their schematic extensions. On the other hand he gives a more extended discussion of fuzzy logics with graded notions of consequence, particularly his own favorites: the fuzzy logic with evaluated syntax and the fuzzy type theory. These latter approaches are presented together with their main applications toward approximate reasoning, as well as natural language modeling and common-sense reasoning, particularly generalized quantifiers and their syllogistic inference rules.
0 references
fuzzy logic
0 references
fuzzy type theory
0 references
graded consequence relations
0 references
common-sense reasoning
0 references
evaluated syntax
0 references
approximate reasoning
0 references
0 references
0 references
0 references
0 references