问题求解的基本方法
多选题 (10 分)
A.
归约法

B.
产生式

C.
搜索法

D.
推理法

E.
归结法
出自:国家开放大学人工智能导论