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

• 作者: 双靖宁 惠小静 贺锦瑞
• 来源期刊: 计算机科学与探索
• 学科: 数学
• 关键词: 三值?ukasiewicz逻辑系统 真度 相似度 伪距离
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 人工智能与模式识别
• 页码范围: 1147-1152
• 页数: 6页
• 分类号: O141
• 字数: 3972字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1411023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	惠小静	延安大学数学与计算机科学学院	77	347	9.0	17.0
2	贺锦瑞	延安大学数学与计算机科学学院	5	1	1.0	1.0
3	双靖宁	延安大学数学与计算机科学学院	5	1	1.0	1.0