设有置换集S，首先根据S构造U1、U2两个表达式，其中U1由置换集S中的所有被置换的变量组成，U2由与U1中的变量所对应的置换项组成。当U1、U2可以合一时，它们的mgu就是该置换集的（）。

基于规则的正向演绎系统的初始综合数据库是（）。

A.事实表达式的与或树
B.目标公式的与或树
C.与或树
D.证明树

点击查看答案

要用产生式系统来求解一个具体的问题，需要把这个问题的叙述转化为产生式系统的三个组成部分，在人工智能中通常称为（）。

A.问题的表示
B.产生式规则集
C.控制系统
D.综合数据库

点击查看答案