单项选择题 谓词公式xA（x）xA（x）的类型是（）。

单项选择题 关于传统程序描述正确的是（）。

单项选择题 专家系统的一般结构不包括（）。