舆论摘要：ζˉ*体例中的一类广义重言式与ζˉ*体例的一种蔓延

　　朦胧论理动作典范数理论理的一个要害分支是人为智能与消息科学等很多范围中推导体制的普通。按Zadeh的看法，朦胧论理有广义与广义之分，个中广义朦胧论理（FLn）是好像推导的情势化论理体例。它的接洽是与论理代数的接洽密不行分的。FLn的规范真值集为单元尊敬[0,1]，而且结合词的真值因变量使得[0,1]变成一个真值代数。与FLn相映的[0,1]上的真值代数称为规范论理代数。 　　1996年，鉴于为朦胧推导创造庄重的论理普通的商量，帝国俊熏陶创造了朦胧命　题　验算体例ζˉ*并提出了一种新的朦胧包括算子，即R_0算子，从而提出了R_0-代数表面。他运用局部赋值的广义重言式表面矫正了Zadeh的CRI算法，提出了三I算法，为朦胧推导创造了有理的语文普通。R_0算子动作幂零极小t-模的结余具备很多很好的本质，对朦胧论理与朦胧推导来讲，它是一种比拟理念的蕴函算子，另一上面，为创造左贯串t-模及其结余的论理，F.Esteva和L.Godo迩来给出了MTL论理体例，并在蔓延后获得了对于幂零极小t-模及其结余的所谓NM论理体例，究竟上，ζˉ*体例与NM论理是等价的且相映的代数构造（R_0-代数与NM代数）也是沟通的。如许，各别的鸿儒从各别的动身点获得了沟通的论理体例。 　　正文的处事是对ζˉ*体例（NM体例）与R_0－代数（NM代数）接洽的连接。正文对R_0－尊敬W的广义重言式表面从几个上面举行了扩充，在引入了正则R_o－代数的普通上对广义重言式举行了较为精致的计划与分门别类。结果，正文还给出了ζˉ*体例的一种蔓延。正文共分三局部：