Formalized Solutions for Problems of Generalized Modus Ponens under Theory of Sustentation Degree
Guojun Wang · Dianzi xuebao · 2008
By means of truth degrees of formulas,the present paper puts forward a new concept of sustentation degree among formulas in n-valued-R0 propositional logic.A new kind solving mechanism based on the idea of sustentation degree for problems of generalized modus ponens,as well as collective generalized modus ponens are introduced,existence theorems of solutions are proved.This work further lays a logical foundation for Triple-I methods of fuzzy reasoning both syntactically and semantically.The graded method presented in this paper makes the algorithmic realization of solution procedure possible and serves as a guideline for the graded reasoning about knowledge.