一般化分离规则是分离规则（Modus Ponens）的提升版本——它将分离规则从命题逻辑提高到一阶逻辑。

GMP（一般化分离规则）可用于确定子句的知识库（也称为确定性逻辑程序）中。确定子句是一种形式化的表示方法，其中每个子句都是一个析取式，而每个析取式都是由一个或多个文字（原子命题或它们的否定）构成的。确定子句知识库中的每个子句都是形如以下形式的规则：

L1 ∧ L2 ∧ … ∧ Ln → Q

其中，L1，L2 … Ln 是原子命题或它们的否定，并且 Q 是一个原子命题。这种表示方法的优点是简洁、易于处理和推理。

GMP 在确定子句知识库中的应用如下：

从前提中提取出每个原子命题和结论，形成 L1，L2 … Ln 和 Q。

找到一个最一般的替换 θ，使得前提中的每个原子命题都可以用替换后的形式匹配前提中的相应原子命题。

将结论实例化为 Qθ。

将 Qθ 添加到确定子句知识库中。

例如，假设我们有以下确定子句知识库：

现在我们想知道 John 是男性还是女性。我们可以使用 GMP 推理出 John 是男性，因为 John 是 Mary 的父亲，而所有的父亲都是男性。

这个推理过程可以用以下步骤表示：

因此，我们可以得出结论：John 是男性。

FC和BC对于Horn KBs是完整的，但对于一般FOL KBs是不完整的： 存在一个负文字