S-逻辑系统中的积分相似度与对称逻辑公式在L 4 * 逻辑度量空间中的分布

发布时间：2023-10-11 21:23

　　与通常相似度定义在真度基础上不同,本文在S-逻辑系统中提出了基于S-蕴含算子的积分相似度,给出了积分相似度的推理性质.建立了与之相对应的伪距离,证明了伪距离空间(FS(S,)ρ)中逻辑蕴涵算子”(?)，∧，∨，→”都是连续的,并研究了S-逻辑系统中的近似推理.在L4*逻辑度量空间中,给出了对称四值R0。函数与对称逻辑公式的定义.通过将对称逻辑公式在L4*逻辑度量空间中的计数问题转化为求解方程的整数解的个数问题,使用MATLAB实现了方程的整数解,从而解决了对称逻辑公式在L4*逻辑度量空间中的计数问题.证明了3n,3n+1,3n+2元对称逻辑公式在L4*中的计数公式.通过具体的例子,给出两种方法实现了对称逻辑公式在L4*逻辑度量空间中的个数问题,得出了相同的结果,证明了结论的正确性.得出了n元对称逻辑公式占全体n元逻辑公式的比例随着n的增大而趋于0;论证了对称逻辑公式的真度之集在[0,1]中稠密.

【文章页数】：43 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
前言
第一章 预备知识
    1.1 S-蕴涵算子基本理论
    1.2 L4
*逻辑度量空间
第二章 S-逻辑系统中积分相似度及伪距离
    2.1 S-蕴涵算子的积分相似度
    2.2 伪距离空间及其性质
    2.3 F_S(S)中的近似推理
第三章 对称逻辑公式在逻辑度量空间中的分布
    3.1 对称逻辑公式
    3.2 对称逻辑公式在L4
*逻辑度量空间中的计数问题
    3.3 对称逻辑公式在L4
*逻辑度量空间中的分布
总结
参考文献
致谢
攻读硕士学位期间已发表论文
附录



本文编号：3852816