谓词公式中子句集提取的实现pdf

李　强

摘要：在人工智能里的知识表达与推理中，经常需要对谓词公式进行演算，以达到子句集的表达，便于以后的推理或证明。本文就是通过二叉树来实现对任意谓词公式中的子句的提取，实现对谓词公式的完善表达。

关键词：谓词公式子句集合人工智能推理二叉树

“注：本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文”。