謂詞公式中子句集提取的實現pdf

李　強

摘要：在人工智能里的知識表達與推理中，經常需要對謂詞公式進行演算，以達到子句集的表達，便于以后的推理或證明。本文就是通過二叉樹來實現對任意謂詞公式中的子句的提取，實現對謂詞公式的完善表達。

關鍵詞：謂詞公式子句集合人工智能推理二叉樹

“注：本文中所涉及到的圖表、注解、公式等內容請以PDF格式閱讀原文”。