基于支持度理论的广义MP问题的形式化解

作者：李骏; 王国俊广义mp问题集体广义mp问题真度支持度

摘要：在n值R0命题逻辑系统Ln^＊中，基于命题的真度概念提出了命题之间的支持度，并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制，并给出了解的存在性定理．本文的工作进一步从语构和语义两个方面为模糊推理的三I算法奠定了逻辑基础．本文的方法是一种程度化的方法，这就使得求解过程从算法上实现成为可能，并对知识的程度化推理有所启示．

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社