（《机器学习》完整版系列）第15章规则学习——15.8 三种蕴涵（你会区分么？）

本文链接：https://blog.csdn.net/qiy_icbc/article/details/129762210

有三种蕴涵概念，需通过上下文区分。

蕴涵

蕴涵是借用集合论中的概念，字面意思是“包含”，由于有好几个相关的概念，故理解及区分上有一定难度，这里我们并不去讨论它严格定义，而是从实用角度进行通俗理解。

规则学习中有几个蕴涵符：

1.蕴涵（implication，imply）

（1）运算子 $A\leftarrow B$ （或 $\rightarrow$ ）：它是命题间的运算子，在规则中陈述“推出”关系（IF-THEN），表示由始端“推出”末端的规则，注意：它仅仅是陈述，并不是说一定成立，如，假命题即是不成立的蕴涵陈述。因此，它的“成立”需要另行说明，如是你经常看到这样的表述：“该命题成立”、“该规则成立”等等。

另外，后续几个蕴涵均是表达“已成立”。

（2）语构蕴涵（ $A\vdash B$ ）：意指可以凭借公理体系从 $A$ 证明出 $B$ 来，它是形式推理（deduction），即不去考虑符号的意义，而是按表达的形式去应用公理（“形似”）进行证明。

2.蕴涵（entailment，entail）
语义蕴涵（ $A\vDash B$ ）：它也是一种推理，即逻辑推导，需要考虑语义表达的概念的关系（即子句集的包含关系），语义通常可由真值表来定义的。 “ $A\vDash B$ ”表示一切使 $A$ 为真的情况也使得 $B$ 为真（即“命题 $A\rightarrow B$ 成立”），当然，它不排斥在某些情况下： $A$ 为假但 $B$ 也为真。

语义蕴涵还可表达式子之间关系，如
$\begin{align} (x=0)\ \vDash\ (xy=0) \tag{15.17} \end{align}$

我们抽象一下：设 $m$ 使 $A$ 为真（即 $m$ 满足 $A$ ，称为 $A$ 的模型），所有 $A$ 的模型 $m$ 的集合记为 $M (A)$ ，则如下二者是等价的：
$\begin{align} A\vDash B\tag{15.18} \\ M(A)\subseteq M(B)\tag{15.19} \end{align}$

由此，对于函数可以借助真值表进行判断，我们来看一个例子：回到表~\ref{tab:15-a}，它是包含 $\alpha,\beta ,\gamma$ 的完整的真值表（为方便叙述，我们加了编号）。

表中的每一个即为一个 $m$ ，若去掉第 $7$ 行，则由 $\alpha \wedge \beta$ 列和 $\gamma$ 有： $(\alpha \wedge \beta)\ \vDash\ \gamma$ ，即 $(\alpha \wedge \beta)\ \vDash\ \gamma$ 表示行集： ${1,2,3,4,5,6,8\}$ （7个），同样： $\alpha \ \vDash\ \gamma$ 表示行集： ${1,2,3,4,6,8\}$ （6个）， $\beta \ \vDash\ \gamma$ 表示行集： ${1,2,4,5,6,8\}$ （6个），比较它们， ${1,2,3,4,5,6,8\}$ （7个）中有如下规则成立：
$\begin{align} (\alpha \wedge \beta)\ \vDash\ \gamma \ \rightarrow\ \alpha \ \vDash\ \gamma\lor \beta \ \vDash\ \gamma \tag{15.20} \end{align}$

相互语义蕴涵的称为逻辑等价，用“三横线”表示，如
$\begin{align} (A\wedge B)\equiv (B\wedge A) \tag{15.21} \end{align}$

3.蕴涵（subsumption）

$\theta$ -蕴涵：当 $C_1\theta \subseteq C_2$ 时，称 $C_1$ （子句） $\theta$ -蕴涵 $C_2$ （子句），这里 $\theta$ 为以常量置换变量（见~\ref{ch15:exc}）， $C_1\theta \subseteq C_2$ 指 $C_1\theta$ 中的子句也是 $C_2$ 的子句（即 $C_1\theta\vdash C_2$ ）。这时三者： $C_1,C_1\theta , C_2$ ，从左向右逐步特化，从右向左为逐步泛化。即当 $C_1$ \ $\theta$ -蕴涵 $C_2$ 时，有： $C_1\vDash C_2$ ，但反之不成立。

例如，谓词 $f$ 表是“是三角形”，谓词 $g$ 表是“是四边形”，现有： $C_1:(\forall x \in\{a,b,c\})f(x)$ ， $C_2:f(a)\lor g(a)$ ，对 $C_1$ 作置换 $\theta$ （以常量 $a$ 置换变量 $x$ ）得 $C_1\theta :f(a)$ ，则有 $C_1\theta \subseteq C_2$ ，
又当 $C_1$ 为真时，有 $f(a)\land f(b) \land f(c)$ 为真，即有 $f (a)$ 为真，故有 $C_1\vDash C_2$ 。