三值?ukasiewicz逻辑系统中公式的向量表示及其研究??

摘要：

以经典命题逻辑中公式的向量表示形式为基础，利用三值?ukasiewicz逻辑系统中公式的赋值及赋值顺序给出了公式的向量表示形式。利用向量表示形式给出了公式真度的定义和公式间的相似度、伪距离的计算公式；得到了公式的真度和公式间相似度、伪距离的一些简单性质；证明了在伪距离空间(F(S)'ρ)中，一元运算逻辑连接词?和二元运算逻辑连接词?、ú、ù均关于ρ是连续的。相关结论为进一步研究多值?ukasiewicz逻辑系统中近似推理打下了夯实的基础。

关键词：三值?ukasiewicz逻辑系统、真度、相似度、伪距离

分类号：O141(数理逻辑、数学基础)

资助基金：The National Natural Science Foundation of China under Grant No.11471007;the Natural Science Foundation of Shaanxi Province of China under Grant No.2014JM1020;the Special Fund of Higher Level University of Shaanxi Province under Grant No.2012SXTS07;the Doctoral Foundation of Yan’an University under Grant No. YDBK2013-12;the Special Fund of Yan’an under Grant No.2013-KG16;the Graduate Innovation Fund of Yan’an University

在线出版日期：2015-09-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1147-1152