Title :
On a logic based on fuzzy modalities
Author_Institution :
Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
Abstract :
Starting from the author´s previous work (1991) on the S5-modal fuzzy logic, a modal fuzzy logic based on L.A. Zadeh´s (1971) similarity relation is proposed. Several properties similar to that in the rough set are shown. A decision procedure for this logic is given, using a rectangle method based on the tableau method. Remarks on axiomatization and relationships to rough quantifiers are given
Keywords :
fuzzy logic; S5-modal fuzzy logic; decision procedure; modal fuzzy logic; similarity relation; tableau method; Artificial intelligence; Computer science; Data analysis; Fuzzy logic; Fuzzy sets; Information systems; Knowledge representation; Rough sets;
Conference_Titel :
Multiple-Valued Logic, 1992. Proceedings., Twenty-Second International Symposium on
Conference_Location :
Sendai
Print_ISBN :
0-8186-2680-1
DOI :
10.1109/ISMVL.1992.186831