一、 名词解释。

（1）归结反演

（2）机器学习

（3）状态空间

二、 填空题。

   （1）知识表示的方法主要有____ 、____、_____、_____ 和_____。

   （2）所谓的本原问题就是____________________。

   （3）所谓元知识就是指__________________。

   （4）不确定知识处理的方法主要有____、____ 、____ 、____ 和____。

   （5）确定因子法中函数MB是描述__________ ，而函数MD是描述____________ 。

三、 判断题。( 正确的在题后括号内打“√”，错误的打" X”。)

（1）任一表达式均可以转换成与/或形式。（　）

（2）目标公式L在逻辑上遵循S，那么满足S的每个解释也满足L。（　）

（3） 。（　）

（4）专家系统的瓶颈是知识的获取。（ ）

（5）对叶子结点进行静态估计后，为了计算非叶子结点的估计值，必须从叶子结点向上倒推计算。（　）

 四、 用一阶谓词逻辑表示下列的句子。

    （1）计算机系97级的男生（man_student）除了看电影的人外，其余的都去听学术报告（academic_report）。

  (2）对于任意集合（set）X，存在有一个集合Y，使的Y集合的基（cardinal）大于X集合的基。