为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度...为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度概念提出了公式之间的支持度,进一步利用支持度的思想引入了GMP问题以及CGMP(collective generalized modus ponens)问题的一种新型最优求解机制.证明了最优解的存在性,同时指出,在经典命题逻辑系统中存在着与模糊逻辑完全相似的推理机制.该方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示.展开更多
全新 Modus 五门版将在九月份来到英国 RENAULT 展示间,与新一代Twingo 以及 Clio 形成完整的产品线。车身尺寸介于休旅车与传统掀背车之间的Modus,后座配备了 RENAULT 最新的Triptic 座椅系统,乘客可自行调整为二人或三人座,让腿部空...全新 Modus 五门版将在九月份来到英国 RENAULT 展示间,与新一代Twingo 以及 Clio 形成完整的产品线。车身尺寸介于休旅车与传统掀背车之间的Modus,后座配备了 RENAULT 最新的Triptic 座椅系统,乘客可自行调整为二人或三人座,让腿部空间更加宽广。Modus 采用与 NISSAN Micra 相同的 Alliance-B 车台,在引擎部分除了三款汽油引擎(75PS/1.2升、98PS/1.4升以及113PS/1.6升)与现役 Clio展开更多
文摘为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度概念提出了公式之间的支持度,进一步利用支持度的思想引入了GMP问题以及CGMP(collective generalized modus ponens)问题的一种新型最优求解机制.证明了最优解的存在性,同时指出,在经典命题逻辑系统中存在着与模糊逻辑完全相似的推理机制.该方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示.