在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）...

填空题在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。

1.填空题在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。

2.填空题从已知事实出发，通过规则库求得结论的产生式系统的推理方式是（）。

3.填空题自然语言理解不仅包括计算机能正确理解人们用自然语言输入的信息，能正确回答输入信息中的有关问题，而且还包括语法分析、语用分析、（）。

4.填空题机器学习的含义是指（）。

5.填空题开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和知识的运用，知识表示的方法主要有逻辑表示法（谓词表示法），框架，产生式和语义网络等，在语义网络表示知识时，所使用的推理方法有（）和ISA。

6.填空题专家系统的结构包含人机界面、知识库，推理机，动态数据库，（）和解释模块。

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

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

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

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