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

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

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

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

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

在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着（），CF（A）=-1，则意味着...

填空题在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着（），CF（A）=-1，则意味着假，CF（A）=1，则意味着真。