Optimal solutions based on sustentation degree for problems of generalized Modus Ponens

doi:10.1360/jos182712

IR > 理学院

	Optimal solutions based on sustentation degree for problems of generalized Modus Ponens
	Li, Jun1,2 ; Wang, Guo-Jun 1
	2007-11-01
发表期刊	Ruan Jian Xue Bao/Journal of Software
ISSN	10009825
卷号	18 期号:11 页码:2712-2718
摘要	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.
关键词	Artificial intelligence Formal logic Optimization Semantics Collective generalized modus ponens problem Generalized modus ponens problem Optimal solution Sustentation degree Truth degree
DOI	10.1360/jos182712
收录类别	EI
语种	中文
出版者	Chinese Academy of Sciences, P.O. Box 8718, Beijing, 100080, China
EI入藏号	20075210995598
EI主题词	Fuzzy logic
EI分类号	721.1 Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory - 903.2 Information Dissemination - 921.5 Optimization Techniques
来源库	Compendex
分类代码	721.1 Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory - 903.2 Information Dissemination - 921.5 Optimization Techniques
引用统计	无
文献类型	期刊论文
条目标识符	https://ir.lut.edu.cn/handle/2XXMBERH/112193
专题	理学院
作者单位	1.College of Mathematics and Information Science, Shaanxi Normal University, Xi'an 710062, China; 2.School of Science, Lanzhou University of Technology, Lanzhou 730050, China
第一作者单位	兰州理工大学
推荐引用方式 GB/T 7714	Li, Jun,Wang, Guo-Jun. Optimal solutions based on sustentation degree for problems of generalized Modus Ponens[J]. Ruan Jian Xue Bao/Journal of Software,2007,18(11):2712-2718.
APA	Li, Jun,&Wang, Guo-Jun.(2007).Optimal solutions based on sustentation degree for problems of generalized Modus Ponens.Ruan Jian Xue Bao/Journal of Software,18(11),2712-2718.
MLA	Li, Jun,et al."Optimal solutions based on sustentation degree for problems of generalized Modus Ponens".Ruan Jian Xue Bao/Journal of Software 18.11(2007):2712-2718.