知识（Knowledge）——一阶逻辑（First-order Logic）

啵啵张

已于 2023-10-15 14:34:10 修改

阅读量744

点赞数

文章标签：人工智能

于 2023-07-20 09:16:02 首次发布

本文链接：https://blog.csdn.net/m0_56945100/article/details/131813160

版权

本文深入探讨了一阶逻辑（First-order Logic, FOL）的优缺点，阐述了FOL的基本语法，包括量词、全称量词实例化和存在量词实例化规则。此外，详细介绍了FOL的推理过程，如合一、前向链接、反向链接和归结推理规则，以及在逻辑程序设计中的应用。" 132179553,7337247,使用Flask和Redis实现多人实时通信,"['编程实践', '开发语言', '架构设计', 'WebSocket']

摘要由CSDN通过智能技术生成

一、命题逻辑（PL）的优点及缺陷

优点：命题逻辑是一种描述性语言，因为它的语义是基于语句和可能世界之间的真值关系；它具有充分的表达能力，可以采用析取式和否定式来处理不完全信息；命题逻辑具有合成性，即语句的含义是它的各部分含义的一个函数；命题逻辑也是上下文独立和无歧义的。

缺点：命题逻辑表达能力有限。基于这一点我们引入比命题逻辑表达能力更强的语言：一阶逻辑。

二、一阶逻辑（FOL）

不同于命题逻辑基于事实，一阶逻辑语言是围绕对象和关系建立起来的。命题逻辑和一阶逻辑之间最根本的区别在于每种语言所给出的本体论约定——即关于现实本质的假设不同。命题逻辑假定世界中的事实要么成立要么不成立。每个事实只能处于真或假两种状态之一。一阶逻辑的假设更多：即，世界由对象构成，对象之间的某种关系或者成立或者不成立。

FOL语法：

FOL的基本句法元素是表示对象、关系和函数的符号。因此这些符号分为三类：

（1）表示对象的常量（constant）符号；（2）表示关系的谓词（predicate）符号；（3）表示函数的函词（function）。

项（Term）、原子语句（Atomic Sentence）、复合语句（Complex Sentence）定义如下表：

全称量词（Universal quantification）（ $\forall$ ）和存在量词（Existential quantification）（ $\exists$ ）：

$\Rightarrow$ 是使用 $\forall$ 时的自然连接词， $\wedge$ 是使用 $\exists$ 时的自然连接词。常见错误：二者连接词颠倒。

嵌套量词性质
$\forall x\forall y \equiv \forall y \forall x$
$\exists x\exists y\equiv \exists y\exists x$
$\exists x\forall y\not\equiv \forall y\exists x$
$\forall x\neg P\equiv \neg\exists x P\left ( \neg P \wedge \neg Q\equiv \neg\left ( P\vee Q \right ) \right )$
$\neg\forall x P\equiv \exists x\neg P\left ( \neg\left ( P\wedge Q \right ) \equiv \neg P\vee \neg Q\right )$