Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6858750 | International Journal of Approximate Reasoning | 2018 | 9 Pages |
Abstract
The quintuple implication inference methods for fuzzy reasoning characterizes the solution Bâ(Aâ) for the fuzzy modus ponens (fuzzy modus tollens) as the formula that is best supported by AâB, AââA and Aâ(AâB,BâBâ and Bâ). In this study, we provide a predicate formal representation of the solution for the quintuple implication inference methods based on the many-sorted first-order formal system Monoidal t-norm based logic MTLâms, including detailed logic proofs. We bring the quintuple implication inference methods within a logical framework and provide a sound logic foundation for the quintuple implication inference methods of fuzzy reasoning.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Minxia Luo, Kaiyan Zhou,