Title :
On “bold” resolution theory
Author :
Thiele, Helmut ; Lehmke, Stephan
Author_Institution :
Dept. of Comput. Sci., Dortmund Univ., Germany
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;
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
DOI :
10.1109/FUZZY.1994.343552
