文献类型：期刊文章

作　　者：裴道武[1]

机构地区：[1]浙江理工大学数学研究所,浙江杭州310018

出　　处：《模糊系统与数学》

基　　金：973Project(2003CB316902);NSFProject(60475019)ofChina

年　　份：2006

卷　　号：20

期　　号：2

起止页码：1-7

语　　种：中文

收录情况：BDHX、BDHX2004、CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、核心刊

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

关 键 词：非经典逻辑 模糊推理 Monoidal  T-NORM based  LOGIC 三Ⅰ推理方法  形式三Ⅰ推理方法  

分 类 号：O141.1[数学类] O159]