产生式系统有三部分组成综合数据库，知识库和推理机。其中推理可分为（）和反向推理。

广度优先搜索算法中，OPEN表的数据结构实际是一个二叉树，深度优先搜索算法中，OPEN表的数据结构实际是一个（...

填空题广度优先搜索算法中，OPEN表的数据结构实际是一个二叉树，深度优先搜索算法中，OPEN表的数据结构实际是一个（）。

谓词公式与其子句集的关系是（）。

填空题谓词公式与其子句集的关系是（）。

谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。

填空题谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。