Abstract
One of the desirable properties of generalized modus ponens in fuzzy logic is X is A → Y is B X is not A/Y is unknown. From a truth-value viewpoint, unknown can be represented as the interval [0, 1]. However, most existing fuzzy reasoning mechanisms use the truth value 1 to represent 'unknown'. In this paper, we propose a new approach to fuzzy reasoning based on a possible world approach. We show that our approach obtains the desired interval truth value [0, 1] when the antecedent is known to be false. We also compare our approach to Baldwin's and Godo's approaches and discuss the impact of the proposed approach to other desired properties of generalized modus ponens and generalized modus tollens.
Original language | English (US) |
---|---|
Title of host publication | Proc 3 Int Symp Uncert Model Anal Annu Conf North Amer Fuzzy Inf Process Soc |
Publisher | IEEE |
Pages | 792-797 |
Number of pages | 6 |
State | Published - 1995 |
Event | Proceedings of the 3rd International Symposium on Uncertainty Modeling and Analysis and Annual Conference of the North American Fuzzy Information Processing Society, (ISUMA - NAFIPS'95) - College Park, MD, USA Duration: Sep 17 1995 → Sep 20 1995 |
Other
Other | Proceedings of the 3rd International Symposium on Uncertainty Modeling and Analysis and Annual Conference of the North American Fuzzy Information Processing Society, (ISUMA - NAFIPS'95) |
---|---|
City | College Park, MD, USA |
Period | 9/17/95 → 9/20/95 |
All Science Journal Classification (ASJC) codes
- Computer Science(all)
- Mathematics(all)