填空题
广度优先搜索算法中，OPEN表的数据结构实际是一个二叉树，深度优先搜索算法中，OPEN表的数据结构实际是一个（）。
单链表
填空题 谓词公式与其子句集的关系是（）。
填空题 谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。
填空题 在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着（），CF（A）=-1，则意味着假，CF（A）=1，则意味着真。
