逻辑公式间的Jaccard距离及其应用

摘要：

对命题逻辑的相关概念进行量化处理,是命题逻辑研究的一种新方法,是一种有别于语构与语义的研究方法,是研究命题集结构的一个有力工具.通过运用向量间的Jaccard相似系数,在经典逻辑系统L中给出了公式间的Jaccard相似度、Jaccard距离等概念,给出了计量逻辑学中公式真度的Jaccard相似度表示形式,建立了一种新的量化模型.讨论了由Jaccard距离导出的逻辑度量空间(F(S),ρJ)的一些性质.得到结论:矛盾式是逻辑度量空间(F(S),ρJ)中唯一的孤立点;逻辑度量空间(F(S),ρJ)中的非空开球是不相容理论.

关键词：Jaccard相似系数、近似推理、计量逻辑学、逻辑度量空间

所属期刊栏目：14

分类号：TP181(自动化基础理论)

资助基金：The National Natural Science Foundation of China under Grant Nos.61976130,61871260国家自然科学基金;the Scientific Research Program of Shaanxi Provincial Education Department under Grant No.18Jk0099陕西省教育厅专项科研项目;the Scien-tific Research Start-up Fund of Shaanxi University of Science and Technology under Grant No.2019BJ-41陕西科技大学博士科研启动基金

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

页数：共6页

页码：1975-1980