多項(xiàng)選擇題

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

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

微信掃碼免費(fèi)搜題