一、 名词解释。

（1）、合适公式

（2）、产生式系统

（3）、专家系统

二、 填空题。

（1）知识工程研究的内容一般包括___________、__________、___________、__________、__________。

（2）问题的状态空间，可以记为三元组<S, F, G >，其中S为________，F为________，G为________。

（3）子句被定义为由文字的________所组成的公式。

（4）ai研究的主要途径有三大学派，它们是________学派，________学派和________学派。

（5）人工智能应用的主要领域有_________、_________、_________、_________、_______和__________。

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

（1）与/或图中结点的深度必大于其父辈的深度。（　）

（2）若问题P可以归结为与之等价的一组子问题：p₁, p₂,...,p_n,当且仅当这些子问题全部可解时，原问题P才可解。（　）

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

（4）在图搜索算法中，如果按估价函数 f(n)=g(n)+h(n) 作为OPEN表中的结点排序的依据，则该算法就是 A^* 算法。（　）

（5）在图搜索中，若与结点的后继结点并非全部不可解，则它是可解的。（　）

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

    （1）并非所有的有理数（rational number）都是整数。

  (2）一个充分大的偶数（even）可以表示为两个素数（prime）之和。                      

五、已知

 F:  ∧ ∧

       G: 

   求证：G是F的逻辑结论  （本题10分）

　

六、设有一组规则，推理网络如图所示。

         rule1:  IF  E₁∧E₂   THEN  E₃={a₁, a₂}  cF={0.2, 0.6}

         rule2:  IF  E₅∧E₈   THEN  E₄={b}     cF={0.8}

         rule3:  IF  E₃       THEN  H={h₁, h₂, h₃}  cF={0.2, 0.5, 0.3}

         rule4:  IF  E₄       THEN  H={ h₁, h₂, h₃}  cF={0.3, 0.4, 0.1}

         rule5:  IF  E₆∨E₇   THEN  E₈          cF={0.8}                                                                                 

已知：cF(E1)=0.7               cF(E2)=0.8          cF(E5)=0.6         cF(E6)=0.4         cF(E7)=0.9

                   

   试用D-S证据理论求出cF（H）。

 

七、人工智能研究的最终目的是研制智能计算机，在你心目中的智能计算机应该是个什么样子？
    试通过对冯.诺伊曼计算机的局限，分析智能计算机的一般特点。

         

                                 返回主页