共查询到18条相似文献,搜索用时 46 毫秒
1.
模糊推理三I算法的逻辑基础 总被引:14,自引:9,他引:5
在模糊推理理论中,近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算,从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*,构建了一个完备的多型变元一阶系统Kms^*,并且将三I算法完全纳入了模糊逻辑的框架之中,从而为模糊推理奠定了严格的逻辑基础。 相似文献
2.
3.
模糊推理的α-三I算法 总被引:4,自引:2,他引:4
三I算法是针对模糊推理的FMP与FMT模型的一种新的推理方法。本文借助蕴涵算子的性质,针对满足一定条件的较一般蕴涵算子,建立了FMP与FMT模型的α-三I算法,并讨论了算法的还原性。 相似文献
4.
区间值模糊推理的三Ⅰ算法 总被引:3,自引:0,他引:3
王向云 《高校应用数学学报(A辑)》2003,18(4):467-472
模糊推理在控制和人工智能等领域已得到了广泛的应用,但其理论基础还不完善,王国俊教授提出的模糊命题逻辑的形式演绎系统和三Ⅰ算法为模糊推理奠定了严格的逻辑基础,本文把三Ⅰ算法用于区间值模糊推理,并且指出一般模糊推理是在区间退化为点时的特殊区间值模糊推理,从而把一般模糊推理纳入于区间值模糊推理的框架之内。 相似文献
5.
6.
模糊推理三I约束算法的一般表示 总被引:1,自引:0,他引:1
讨论模糊推理三I约束算法的表示问题.首先,改进FMP及FMT问题的三I约束原则,进而,为使更多的蕴涵算子纳入统一的算法表示之下,基于较弱的条件建立三I约束算法的一般表示.如此,现有的三I约束算法的统一表示被推广到一种新的形式. 相似文献
7.
8.
9.
10.
从先前提出的泛三I算法出发,面向FMT(fuzzy modus tollens)问题,提出模糊推理的FMT-泛三I约束算法。改进之前的三I约束FMT原则,给出泛三I约束解的存在条件,建立FMT-泛三I约束算法的统一形式的解。并且,针对9种具体的蕴涵算子,获得相应的泛三I约束解。最后,给出并改进FMT-三I约束算法的相关结论。 相似文献
11.
12.
13.
《International Journal of Approximate Reasoning》2014,55(6):1369-1382
Two basic inference models of fuzzy reasoning are fuzzy modus ponens (FMP) and fuzzy modus tollens (FMT). The Triple I method is a very important method to solve the problems of FMP and FMT. The aim of this paper is to extend the Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets. In the paper, we first investigate the algebra operators' properties on the lattice structure of intuitionistic fuzzy information and provide the unified form of residual implications which indicates the relationship between intuitionistic fuzzy implications and fuzzy implications. Then we present the intuitionistic fuzzy reasoning version of the Triple I principles based on the models of intuitionistic fuzzy modus ponens (IFMP) and intuitionistic fuzzy modus tollens (IFMT) and give the Triple I method of intuitionistic fuzzy reasoning for residual implications. Moreover, we discuss the reductivity of the Triple I methods for IFMP and IFMT. Finally, we propose α-Triple I method of intuitionistic fuzzy reasoning. 相似文献
14.
15.
16.
指出了在经典逻辑学中,M T是M P的等价形式;明确了三I FM T是与三I FM P不同的算法,且三I FM P与三I FM T这两种算法是对偶算法,表明三I算法的两个组成部分在理论上是和谐的。指出了如果在Fuzzy推理中模仿M T而计算FM T的解,则会回到FM P问题。 相似文献
17.
FMT问题的两种三Ⅰ算法及其还原性 总被引:30,自引:8,他引:22
进一步研究FMT问题,得到该问题的三Ⅰ算法的一般计算公式,提出该问题的一种新算法三Ⅰ^*算法,给出新算法的一般计算公式,讨论两种算法的还原性问题,明确两种还原性的含义,证明FMT问题的三Ⅰ算法是W-还原的,而三Ⅰ^*算法是Z-还原的。 相似文献