Reasoning about mathematical fuzzy logic and its future (Q419039): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:13, 5 March 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