Knowledge 6一階謂詞邏輯的UI和EI和proposotionalization命題化問題

目錄 1.寫在前面 2.instantiation中UI 和EI的概念 3.如何利用Instantiation在knowlegebase中做proposotionalization（命題化）事情   1.寫在前面 我們瞭解了一階謂詞邏輯的基本概念，接下來我們看一下，在一階謂詞邏輯中如何做inference，我們先介紹兩個概念，UI和EI，這兩個都是instantiation。就是把一個變數，替換成

>>阅读原文<<