機器智能-高頻問題：一階邏輯退化到命題邏輯

一階邏輯退化到命題邏輯： a、每個一階邏輯的知識庫都能被命題化web b、思路：實例化KB和查詢（即實例化）；歸結；返回結果svg c、命題邏輯致使的知識庫的擴張多是無限的（當包含涵詞的時候，對象無限多可能會致使知識庫無限擴張）xml d、命題化可能產生許多無關語句對象 e、對於p個k階謂詞（謂詞中有多少個參數）和n個常數（參數能夠用多少個常數代替），共產生pn^k個實例化blog 合一操做：un

>>阅读原文<<