DocumentCode
2270286
Title
On “bold” resolution theory
Author
Thiele, Helmut ; Lehmke, Stephan
Author_Institution
Dept. of Comput. Sci., Dortmund Univ., Germany
fYear
1994
fDate
26-29 Jun 1994
Firstpage
1945
Abstract
The research in applying resolution theory to fuzzy logic so far has concentrated on fuzzy logic generated by the `standard connectives´ min and max for logical AND and OR, respectively, and the Lukasiewicz negation 1-x for NOT. The expressive power of this logic, however, is very low. In this paper, we try to direct interest to resolution in fuzzy logics generated by `nonstandard connectives´ by showing that the resolution rule is correct and complete if AND and OR are interpreted by the `bold´ connectives, which is especially valuable because the logic thus generated has very high expressive power
Keywords
fuzzy logic; fuzzy set theory; AND logic; Lukasiewicz negation; OR logic; expressive power; fuzzy logic; nonstandard connectives; resolution theory; Computer science; Fuzzy logic; Power generation; Standards publication;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Systems, 1994. IEEE World Congress on Computational Intelligence., Proceedings of the Third IEEE Conference on
Conference_Location
Orlando, FL
Print_ISBN
0-7803-1896-X
Type
conf
DOI
10.1109/FUZZY.1994.343552
Filename
343552
Link To Document