为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度...为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度概念提出了公式之间的支持度,进一步利用支持度的思想引入了GMP问题以及CGMP(collective generalized modus ponens)问题的一种新型最优求解机制.证明了最优解的存在性,同时指出,在经典命题逻辑系统中存在着与模糊逻辑完全相似的推理机制.该方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示.展开更多
This paper gives a proof of generalized modus ponents (GMP) method R W proposed in , and shows this method has the ability to elimitate the symmetrical and screened effects existing in method R s.
全新 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展开更多
In this study, we are first examining well-known approach to improve fuzzy reasoning model (FRM) by use of the genetic-based learning mechanism [1]. Later we propose our alternative way to build FRM, which has signifi...In this study, we are first examining well-known approach to improve fuzzy reasoning model (FRM) by use of the genetic-based learning mechanism [1]. Later we propose our alternative way to build FRM, which has significant precision advantages and does not require any adjustment/learning. We put together neuro-fuzzy system (NFS) to connect the set of exemplar input feature vectors (FV) with associated output label (target), both represented by their membership functions (MF). Next unknown FV would be classified by getting upper value of current output MF. After that the fuzzy truths for all MF upper values are maximized and the label of the winner is considered as the class of the input FV. We use the knowledge in the exemplar-label pairs directly with no training. It sets up automatically and then classifies all input FV from the same population as the exemplar FVs. We show that our approach statistically is almost twice as accurate, as well-known genetic-based learning mechanism FRM.展开更多
Algorithm of fuzzy reasoning has been successful applied in fuzzy control,but its theoretical foundation of algorithms has not been thoroughly investigated. In this paper,structure of basic algorithms of fuzzy reasoni...Algorithm of fuzzy reasoning has been successful applied in fuzzy control,but its theoretical foundation of algorithms has not been thoroughly investigated. In this paper,structure of basic algorithms of fuzzy reasoning was studied, its rationality was discussed from the viewpoint of logic and mathematics, and three theorems were proved. These theorems shows that there always exists a mathe-~matical relation (that is, a bounded real function) between the premises and the conclusion for fuzzy reasoning, and in fact various algorithms of fuzzy reasoning are specific forms of this function. Thus these results show that algorithms of fuzzy reasoning are theoretically reliable.展开更多
文摘为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度概念提出了公式之间的支持度,进一步利用支持度的思想引入了GMP问题以及CGMP(collective generalized modus ponens)问题的一种新型最优求解机制.证明了最优解的存在性,同时指出,在经典命题逻辑系统中存在着与模糊逻辑完全相似的推理机制.该方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示.
文摘This paper gives a proof of generalized modus ponents (GMP) method R W proposed in , and shows this method has the ability to elimitate the symmetrical and screened effects existing in method R s.
文摘In this study, we are first examining well-known approach to improve fuzzy reasoning model (FRM) by use of the genetic-based learning mechanism [1]. Later we propose our alternative way to build FRM, which has significant precision advantages and does not require any adjustment/learning. We put together neuro-fuzzy system (NFS) to connect the set of exemplar input feature vectors (FV) with associated output label (target), both represented by their membership functions (MF). Next unknown FV would be classified by getting upper value of current output MF. After that the fuzzy truths for all MF upper values are maximized and the label of the winner is considered as the class of the input FV. We use the knowledge in the exemplar-label pairs directly with no training. It sets up automatically and then classifies all input FV from the same population as the exemplar FVs. We show that our approach statistically is almost twice as accurate, as well-known genetic-based learning mechanism FRM.
文摘Algorithm of fuzzy reasoning has been successful applied in fuzzy control,but its theoretical foundation of algorithms has not been thoroughly investigated. In this paper,structure of basic algorithms of fuzzy reasoning was studied, its rationality was discussed from the viewpoint of logic and mathematics, and three theorems were proved. These theorems shows that there always exists a mathe-~matical relation (that is, a bounded real function) between the premises and the conclusion for fuzzy reasoning, and in fact various algorithms of fuzzy reasoning are specific forms of this function. Thus these results show that algorithms of fuzzy reasoning are theoretically reliable.
