国开04590人工智能导论形考.docx

国开04590人工智能导论形考

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

答案：对

2．合一算法是求非空无限具有相同谓词名的原子公式集的最一般合一。

答案：错

3．设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为永假式。

答案：错

4．解树实际是由可解节点形成的一棵子树，这棵子树的根为初始节点，叶为终止节点，且这棵子树一定是与树。

答案：对

5．分布式专家系统更强调子系统间的协同合作。

答案：错

6．与结点是指所有后续节点只要有一个有解它就有解的节点。

答案：错

7．与或图是一种系统地将问题分解为互相独立的小问题，然后分而解决的方法。

答案：对

8．行为主义学派的原