信念算子运算的语义解释研究

摘要

在基于知识的推理中，由于知识源的不完全可靠和来自不同的知识源的知识可能相互抵触等原因，我们不能把这些知识看成绝对真理，只能将它们作为信念，对信念的处理是人工智能研究中的一个关键问题。 本文汲取算子模糊逻辑的思想，将[0，1]区间上的实数作为信念算子，用以描述命题的可信程度，从而在命题逻辑的基础上建立了带有信念算子的命题逻辑，称其为信念算子命题逻辑。用一个实系数多项式函数定义信念算子之间的运算，证明了这种定义方法在一些比较基本的假设之下的唯一性。这个运算具有良好的数学性质和直观背景。为了实现基于信念的推理，我们将布尔算子模糊逻辑中公式的恒真水平的概念引入到信念算子命题逻辑中，根据信念算子运算的特点，建立了信念算子命题逻辑中求任意给定公式的恒真水平的机械推导算法BMD。这种方法优于算子模糊逻辑中的λ-归结方法。根据形式推导算法BMD，给出了求解任意给定公式恒真水平的实现系统。该系统主要包括规则库模块、函数模块、逻辑联结词化简模块、模糊原子计算模块以及回溯求解模块。运行时，系统接收一个公式作为输入，自动计算出该公式的恒真水平。

目录

文摘

英文文摘

声明

第1章绪论

1.1引言

1.2国内外研究现状

1.3主要研究工作

1.4论文的组织结构

第2章信念逻辑概述

2.1模糊逻辑

2.1.1模糊逻辑的发展历程

2.1.2算子模糊逻辑

2.2信念逻辑的概述

2.2.1信念理论概况

2.2.2不一致信念的处理办法

2.2.3信念算子的实现基础

第3章命题逻辑上的信念算子

3.1命题逻辑

3.1.1命题逻辑基本概念

3.1.2命题逻辑中的基本等值式

3.2信念算子命题逻辑

3.2.1基本定义

3.2.2基本性质

3.3信念算子运算唯一性

第4章信念算子的应用

4.1信念算子命题逻辑中公式的恒真水平

4.1.1恒真水平概念

4.1.2求解恒真水平的理论基础

4.2求解给定公式的恒真水平

4.2.1求解主要思想

4.2.2简化理论求解算法

4.3实例求解

第5章系统实现

5.1开发环境配置

5.1.1开发语言

5.1.2集成开发环境

5.2系统设计

5.3模块实现

5.3.1规则库模块

5.3.2函数模块

5.3.3逻辑联结词化简模块

5.3.4模糊原子计算模块

5.3.5回溯求解模块

5.4系统运行和分析

5.4.1系统运行过程

5.4.2运行结果分析

第6章总结与展望

6.1论文总结

6.2工作展望

参考文献

致 谢