Knowledge 6一阶谓词逻辑的UI和EI和proposotionalization命题化问题

目录 1.写在前面 2.instantiation中UI 和EI的概念 3.如何利用Instantiation在knowlegebase中做proposotionalization（命题化）事情   1.写在前面 我们了解了一阶谓词逻辑的基本概念，接下来我们看一下，在一阶谓词逻辑中如何做inference，我们先介绍两个概念，UI和EI，这两个都是instantiation。就是把一个变数，替换成

>>阅读原文<<