文献类型：期刊文章

作　　者：于鹏[1]

YU Peng(School of Arts and Sciences,Shaanxi University of Science and Technology,Xi'an 710021,China)

机构地区：[1]陕西科技大学文理学院,西安710021

出　　处：《计算机科学与探索》

基　　金：国家自然科学基金Nos.61976130,61871260;陕西省教育厅专项科研项目No.18Jk0099;陕西科技大学博士科研启动基金No.2019BJ-41。

年　　份：2020

卷　　号：14

期　　号：11

起止页码：1975-1980

语　　种：中文

收录情况：BDHX、BDHX2017、CSCD、CSCD2019_2020、IC、JST、ZGKJHX、核心刊

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

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

分 类 号：TP181]