逻辑与推理

Posted 2023-01-22 zhousiyuan0515

1. 命题逻辑
2. 谓词逻辑
3. 知识图谱推理
4. 因果推理

3.1 命题逻辑

逻辑和推理是基于知识的操作。

命题逻辑是应用一套形式化规则对以符号表示的描述性陈述进行推理的系统。在命题逻辑中，一个或真或假的描述性陈述被称为原子命题，对原子命题的内部结构不做任何解析。若干原子命题可通过逻辑运算符构成复合命题。

任何一个命题或为真、或为假或在给定条件下无法判断（需要进一步的条件约束）。可通过命题联结词对已有命题进行组合，得到新命题。这些通过命题联结词得到的命题被称为复合命题。

逻辑等价：给定命题p和命题q，如果p和q在所有情况下都具有同样真假结果，那么p和q在逻辑上等价。

逻辑等价为命题进行形式转换带来了可能，基于这些转换不再需要逐一列出p和q的真值表来判断两者是否在逻辑上等价，而是可直接根据已有逻辑等价公式来判断p和q在逻辑上是否等价。

命题逻辑中的推理规则

命题范式：

• 有限个简单合取式构成的析取式称为析取范式。
• 由有限个简单析取式构成的合取式称为合取范式。
• 析取范式与合取范式统称为范式。
• 一个析取范式是不成立的，当且仅当它的每个简单合取式都不成立。
• 一个合区范式是成立的，当且仅当它的每个简单析取式都是成立的。
• 任一命题公式都存在着与之等值的析取范式与合区范式。

3.2 谓词逻辑

命题逻辑的局限性：在命题逻辑中，每个陈述句是最基本的单位，无法对原子命题进行分解。因此在命题逻辑中，不能表达局部与整体、一般与个别的关系。不同原子命题蕴含个体、群体和关系等内在丰富语义，命题逻辑无法表现内在丰富语义。因此，需要分析原子命题，分离其主语（个体或群体）和谓语（关系）。

在谓词逻辑中，将原子命题进一步细化，分解出个体、谓词和量词，来表达个体与总体的内在联系和数量关系，这就是谓词逻辑研究内容。

谓词与个体：P(x),P是谓词，x是个体。

量词：

• 全称量词：表示一切的、凡是的、所有的、每一个等，表示定义域内所有个体。
• 存在量词：表示存在、有一个、某些等，表示定义域中存在一个或若干个个体。

函数与谓词的区别：

• 函数用个体带入结果仍然是个体；
• 谓词用个体带入后就变成了命题；
• 函数是从定义域到值域的映射，谓词是从定义域到命题（真假）的映射。

谓词逻辑的推理规则

自然语言的形式化

 

3.3 知识图谱

知识图谱可视为包含多种关系的图。在图中，每个节点是一个实体（如人名、地名、事件和活动等），任意两个节点之间的边表示这两个节点之间存在的关系。

知识图谱构成：

• 概念之间层次化关系
• 概念对应的例子或实体
• 概念或实体的属性：属性是对概念或实体内涵的描述
• 概念与实体之间的关系
• 概念或实体的属性描述和关系表达一般通过三元组来表示

构成：

• 概念：层次化组织
• 实体：概念的示例化描述
• 属性：对概念或实体的描述信息
• 关系：概念或实体之间的关联
• 推理规则：可产生语义网络中上述新的元素

知识图谱通过多关系图表示。

归纳逻辑程序设计是机器学习和逻辑程序设计交叉领域的研究内容。ILP使用一阶谓词逻辑进行只是表示，通过修改和扩充逻辑表达式对现有知识进行归纳，完成推理任务。

FOIL

推理思路：从一般到特殊，逐步给目标添加前提约束谓词，知道所构成的推理规则不覆盖任何反例。

3.4 路径排序算法

将实体之间的关系路径作为特征，来学习目标关系的分类器。

特征抽取：生成并选择路径特征集合。生成路径的方式有随机游走、广度优先搜索、深度优先搜索等。

特征计算：计算每个训练样例的特征值。

分类器训练：根据训练样例的特征值，为目标关系训练分类器。当训练好分类器后，即可将该分类器用于推理两个实体之间是否存在目标关系。

路径排序：

1. 对给定目标关系，生成训练样例，正例和反例；
2. 从知识图谱采样得到路径，每一路径链接上述每个训练样例中两个实体；
3. 对于每一个正例/反例，判断上述路径是否可链接其包含的两个实体，将可链接（1）和不可链接（0）作为特征，于是每一个例子得到一个特征向量；
4. 根据训练样本，训练分类器。

3.5 因果推理

DAG可视为因果过程：父辈节点促成了孩子节点的取值。

D-分离

D-分离用于判断集合A中变量是否与集合B中变量相互独立（给定集合C）。

对于一个DAG图，如果A、B、C是三个集合，为了判断A和B是否是C条件独立的，DAG图中考虑所有A和B之间的路径。对于其中的一条路径，如果满足一下两个条件中的任意u一条，则称这条路径是阻塞的。

1. 路径中存在某个节点X是链结构A→C→B或分链结构A←C←B中的节点、且X包含在C中。
2. 或者路径中存在某个节点X是汇联结构A→C←B中节点，并且X或X后代不包含在C中。如果A和B之间所有路径都是阻塞的，那么A和B就是关于C条件独立的；否则A和B不是关于C条件独立。

D-分离方法可用于判断因国土上任意变量间相关性和独立性。

在因果图上，若两个节点间存在一条路径将这两个节点联通，则称之为是有向连接的；若两个节点不是有向连接的，则称之为是有向分离的，即不存在这样的路径将这两个节点联通。当两个节点有向分离时，意味着这两个节点相互独立。

若节点X和节点Y之间的每一条路径都是阻塞的，则称节点X和节点Y是有向分离的；反之，若存在一条路径是非阻塞的，则称节点X和节点Y是有向连接的。

DAG中具有链接箭头的节点之间存在某种因果关系，在DAG上引入因果的概念，就需要引进do算子。do算子的意思可理解为干预。

干预：固定系统中某个变量，然后改变系统，观察其他变量的变化。

为了与X自然取值x进行区分，在对X进行干预时，引入do算子，记作do（X = x）。因此，P（Y = y | X = x）表示当X取值为x时，Y = y的概率；而P（Y = y | do（X = x））表示对X取值进行了干预。

用统计学的属于来说，P（Y = y | X = x）反映了在取值为x的个体X上，Y的总体分布；而P（Y = y | do（X = x））反映的是如果将X每一个取值都固定为x时，Y的总体分布。

 推理总结