APP下载

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

2009-02-03

现代经济信息 2009年8期
关键词:子句二叉树谓词

李 强

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

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

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

猜你喜欢

子句二叉树谓词
命题逻辑中一类扩展子句消去方法
CSP真题——二叉树
二叉树创建方法
被遮蔽的逻辑谓词
——论胡好对逻辑谓词的误读
命题逻辑可满足性问题求解器的新型预处理子句消去方法
党项语谓词前缀的分裂式
康德哲学中实在谓词难题的解决
西夏语的副词子句
一种由层次遍历和其它遍历构造二叉树的新算法
也谈“语言是存在的家”——从语言的主词与谓词看存在的殊相与共相