知道谓词逻辑

摘要

本文在前人研究的基础上，对知道谓词逻辑系统的构建及其语义一致性和完全性进行分析探讨，使逻辑形式系统研究的内容更接近自然语言的表达方式。　　本文分析了“知道”一词的逻辑含义和逻辑性质，并对“知道”的几种情况和“知道者”进行了讨论；介绍了其初始符号和形成规则，并对其进行语义解释，尤其是对知道算子“Ka”的解释；探讨了知道谓词逻辑系统；探讨了在构建知道谓词逻辑系统中遇到的一些困难。

目录

文献综述

导言

一、知道命题

1.1知道命题的形式结构

1.2“知道”的分析

1.3“知道主体”的分析

1.4复杂知道命题

二、知道谓词逻辑的形式语言(LKQ)

2.1 LKQ的初始符号

2.2LKQ的形成规则

2.3LKQ的语义解释

2.4知道谓词逻辑中的“可满足”和“有效”概念

三、知道谓词逻辑系统

3.1 Km+KBF系统

3.2 KS4+KBF系统

3.3 KS5+KBF系统

3.4知道谓词逻辑系统的完全性

四、构建知道谓词逻辑系统中的困难

4.1主体知识的一致性—跨世界识别个体的问题

4.2逻辑全能问题

结束语

主要参考文献

后 记