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

Volume

1

fYear

1995

fDate

20-24 Mar 1995

Firstpage

343

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/FUZZY.1995.409702

Filename

409702