基于三角范数的模糊逻辑中的三Ⅰ方法

摘要：

三Ⅰ推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制.最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化.本文基于这类逻辑将三Ⅰ推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据.

关键词：非经典逻辑、模糊推理、Monoidal t-norm based bgie、三Ⅰ推理方法、形式三Ⅰ推理方法

所属期刊栏目：20

分类号：O141.1(数理逻辑、数学基础)

资助基金：科技部科研项目2003CB316902;国家自然科学基金60475019

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

页数：共7页

页码：1-7