李　強

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

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

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