基于支持度理论的广义Modus Ponens问题的最优解
李骏[1,2] 王国俊[1]
[1]陕西师范大学数学与信息科学学院,陕西西安710062 [2]兰州理工大学理学院,甘肃兰州730050
摘 要:
为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础，通过将模糊推理形式化的方法移植到经典命题逻辑系统中，把FMP（fuzzy modus ponens）问题转化为GMP（generalized modus ponens）问题，并基于公式的真度概念提出了公式之间的支持度，进一步利用支持度的思想引入了GMP问题以及CGMP（collective generalized modus ponens）问题的一种新型最优求解机制．证明了最优解的存在性，同时指出，在经典命题逻辑系统中存在着与模糊逻辑完全相似的推理机制．该方法是一种程度化的方法，这就使得求解过程从算法上实现成为可能，并对知识的程度化推理有所启示．
学科分类:
TP18[工业技术 > 自动化技术、计算机技术 > 自动化基础理论 > 人工智能理论]
相关期刊
关注本文的人:
看过本文的人还看过:
cqvip.com