多項選擇題

基于歸結(jié)的問題求解方法的優(yōu)點是（）

A.無需專門的機理來實現(xiàn)算子的各種計算
B.計算都是由定理證明程序中的演繹方法來處理
C.求解過程簡單
D.有用的啟發(fā)信息不容易引入求解過程，且所需要的推理常識也都要以專門的公理形式給出各種關(guān)系的描述

微信掃碼免費搜題