填空题
产生式系统有三部分组成综合数据库，知识库和推理机。其中推理可分为（）和反向推理。
正向推理
填空题 广度优先搜索算法中，OPEN表的数据结构实际是一个二叉树，深度优先搜索算法中，OPEN表的数据结构实际是一个（）。
填空题 谓词公式与其子句集的关系是（）。
填空题 谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。
