Fuzzy inference in a formal theory of semantic equivalence (Q1119563)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Fuzzy inference in a formal theory of semantic equivalence |
scientific article; zbMATH DE number 4099260
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fuzzy inference in a formal theory of semantic equivalence |
scientific article; zbMATH DE number 4099260 |
Statements
Fuzzy inference in a formal theory of semantic equivalence (English)
0 references
1989
0 references
This paper is devoted to fuzzy inference in a formal theory of semantic equivalence. The author shows how ten different fuzzy implication operators can be represented within a formal axiomatization of the theory of approximate reasoning. The aim of this work is to move the theory of approximate reasoning one step closer to providing a sound basis for a new system of fuzzy-logic programming.
0 references
fuzzy inference in a formal theory of semantic equivalence
0 references
fuzzy implication operators
0 references
approximate reasoning
0 references
fuzzy-logic programming
0 references
