Knowledge 3

一、写在前面 我们之前讲过了命题逻辑中，一套形式推演系统由11条规则构成，这次我们要讲另外一个形式推演系统，这个形式推演系统只有一条规则，我们会形式化证明其可靠性和完备性。这个系统我们称为Resolution归结原理。 二、归结原理 假设我们有一个KB，在KB中有很多sentence，构成了一个集合，这个集合中，sentence是由合取连接而成，我 我们可以把这个KB变成一个合取范式。 合取范式：

>>阅读原文<<