Reasoning about mathematical fuzzy logic and its future (Q419039): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 / reviewed by | |||
Property / reviewed by: Siegfried Johannes Gottwald / 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 |
Revision as of 21:15, 29 June 2023
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