%0 Journal Article
%T Optimal Solutions Based on Sustentation Degree for Problems of Generalized Modus Ponens<br>基于支持度理论的广义Modus Ponens问题的最优解
%A LI Jun
%A WANG Guo-Jun
%A <br>李骏
%A 王国俊
%J 软件学报
%D 2007
%I 
%X In order to put fuzzy reasoning into the framework of logic and lays a solid logical foundation for fuzzy reasoning both syntactically and semantically,this paper transforms FMP(fuzzy modus ponens)into GMP (generalized modus ponens)by formalizing fuzzy reasoning and transplanting it into the classical propositional logic.Base on the concept of truth degrees of formulas,the sustentation degrees between formulas are put forward and a new kind of optimal solving mechanism is established for GMP and CGMP(collective generalized modus ponens).Existence theorems of optimal solutions are proved both for GMP and CGMP,and it is pointed out that there exists a completely similar reasoning mechanism between the classical propositional logic and the fuzzy logic. 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.
%K GMP(generalized modus ponens)problem
%K CGMP(collective generalized modus ponens)problem
%K truth degree
%K sustentation degree
%K optimal solution<br>GMP(generalized
%K modus
%K ponens)问题
%K CGMP(collective
%K generalized
%K modus
%K ponens)问题
%K 真度
%K 支持度
%K 最优解
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=72593FECB10B6C4F5B7E360BEDC14CC4&yid=A732AF04DDA03BB3&vid=13553B2D12F347E8&iid=708DD6B15D2464E8&sid=B0CE66E50238735E&eid=2E4D2698311BD5CB&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=26