谓词公式中子句集提取的实现pdf
2009-02-03李强
现代经济信息 2009年8期
李 强
摘要:在人工智能里的知识表达与推理中,经常需要对谓词公式进行演算,以达到子句集的表达,便于以后的推理或证明。本文就是通过二叉树来实现对任意谓词公式中的子句的提取,实现对谓词公式的完善表达。
关键词:谓词公式子句集合人工智能推理二叉树
“注:本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文”。
2009-02-03李强
李 强
摘要:在人工智能里的知识表达与推理中,经常需要对谓词公式进行演算,以达到子句集的表达,便于以后的推理或证明。本文就是通过二叉树来实现对任意谓词公式中的子句的提取,实现对谓词公式的完善表达。
关键词:谓词公式子句集合人工智能推理二叉树
“注:本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文”。