摘要:本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系统,都有个共同的性质,即系统中所有的逻辑运算都是连续的,从而就为在此类逻辑系统中建立统一形式的近似推理提供了可行的框架.
关键词:正则蕴含算子 可测的 积分真度 逻辑伪度量空间 算子的连续性
单位:陕西师范大学数学与信息科学学院; 陕西西安710062; 宝鸡文理学院数学系; 陕西宝鸡721007; 华东师范大学上海高可信计算重点实验室; 上海200062
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社