李　強(qiáng)

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

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

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