基于三角范数的模糊逻辑中的三I方法(英文)
Triple I Method for t-norm Based Logics作者机构:浙江理工大学数学研究所浙江杭州310018
出 版 物:《模糊系统与数学》 (Fuzzy Systems and Mathematics)
年 卷 期:2006年第20卷第2期
页 面:1-7页
核心收录:
学科分类:01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金:973Project(2003CB316902) NSFProject(60475019)ofChina
主 题:非经典逻辑 模糊推理 Monoidal t-norm based logic 三Ⅰ推理方法 形式三Ⅰ推理方法
摘 要:三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。