首页> 中文学位 >命题逻辑公式集上的相似度、伪距离与近似推理
【6h】

命题逻辑公式集上的相似度、伪距离与近似推理

代理获取

目录

文摘

英文文摘

声明

前言

第一章几种命题逻辑系统及其完备性

1.1命题逻辑系统

1.2二值命题逻辑系统L

1.3 Lukasiewicz命题逻辑系统

1.4R0型命题逻辑系统Ln*,L*

第二章命题逻辑公式集上的相似度

2.1真度

2.2两种相似度的定义

2.3正则相似度

2.4半正则相似度

第三章伪距离和逻辑度量空间

3.1伪距离

3.2三种度量空间的等价性

第四章发散度、近似推理和误差

4.1逻辑理论的发散度

4.2 F(S)中的近似推理理论

4.3 L中的三种近似推理理论等价

总结

参考文献

致谢

攻读硕士学位期间的研究成果

展开▼

摘要

人工智能是一个受到广泛重视的研究领域,而人工智能中的推理研究又是最为活跃的。传统的计算机的推理系统是基于二值逻辑的,而能够真正模拟人类思维方式的智能计算机采用的是合情推理,即是一种近似推理。在近似推理中,衡量公式之间的距离非常重要,用来确定公式在近似推理中的作用。本文从命题逻辑公式的相似度入手,研究命题逻辑公式集上的伪距离和近似推理。 第一章基础知识。介绍命题逻辑系统的五个组成部分以及二值逻辑系统£、Lukasiewicz多值命题逻辑系统、尺n型命题逻辑系统L n。 第二章介绍真度、相似度ξ1、ξ2和二值逻辑系统中的正则相似度。简化了正则相似度的定义,引入半正则相似度,并定义了相似度ξ0。证明在二值逻辑中,ξ0与ξ1是J下则的,在2n值逻辑度量空间,ξ0是半正则的。 第三章证明三种相似度可以诱导出三种伪距离空间。给出了三种伪距离之间的大小关系。证明三种伪距离空间是拓扑等价的。 第四章介绍命题逻辑公式集上的发散度。针对王国俊教授所提出的各系统中的三种近似推理的误差的关系问题,在二值系统中,将误差定义为三种距离,计算出三种距离是相等的,从而证明三种近似推理的误差是等价的。部分地解决了这一公开问题。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号