基于支持度理论的广义Modus Ponens问题的最优解

摘要：

为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度概念提出了公式之间的支持度,进一步利用支持度的思想引入了GMP问题以及CGMP(collective generalized modus ponens)问题的一种新型最优求解机制.证明了最优解的存在性,同时指出,在经典命题逻辑系统中存在着与模糊逻辑完全相似的推理机制.该方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示.

关键词：GMP(generalized modus ponens)问题、CGMP(collective generalized modus ponens)问题、真度、支持度、最优解

所属期刊栏目：18

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金10331010;陕西师范大学校科研和教改项目;兰州理工大学校科研和教改项目

在线出版日期：2008-01-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2712-2718