Title :
Fuzzy abduction based on Lukasiewicz infinite-valued logic and its approximate solutions
Author :
Yamada, Koichi ; Mukaidono, M.
Author_Institution :
Adv. Technol. Center, Yamatake-Honeywell Co. Ltd., Yokohama, Japan
Abstract :
Fuzzy abduction is the procedure for deriving a fuzzy set of hypotheses which explains a given fuzzy set of events using a set of implications with a truth value. The derived fuzzy set of hypotheses is called a fuzzy explanation. This paper starts with reexamination of modus ponens and modus tolens in a multi-valued logic. Then, it introduces the concepts of fuzzy explanation and fuzzy abduction based on the examination, and discusses the necessary and sufficient conditions of existence for fuzzy explanations. The authors then propose a procedure by which to obtain approximate fuzzy explanations which may be necessary when the conditions are not satisfied
Keywords :
explanation; fuzzy logic; multivalued logic; Lukasiewicz infinite-valued logic; approximate solutions; fuzzy abduction; fuzzy explanation; fuzzy set; hypotheses; implications; modus ponens; modus tolens; multi-valued logic; necessary and sufficient existence conditions; truth value; Computer science; Expert systems; Fuzzy logic; Fuzzy sets; Multivalued logic; Natural languages; Sufficient conditions;
Conference_Titel :
Fuzzy Systems, 1995. International Joint Conference of the Fourth IEEE International Conference on Fuzzy Systems and The Second International Fuzzy Engineering Symposium., Proceedings of 1995 IEEE Int
Conference_Location :
Yokohama
Print_ISBN :
0-7803-2461-7
DOI :
10.1109/FUZZY.1995.409702
