- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
填空題
用歸結(jié)反演方法進(jìn)行定理證明時(shí)，可采取的歸結(jié)策略有（）、（）、（）、（）和（）
答案：
刪除策略；支持集策略；線性輸入策略；單文字子句策略；祖先過(guò)濾策略
你可能感興趣的試題
填空題
人工智能應(yīng)用的主要領(lǐng)域有（），（），（），（），（）和（）
答案：
模式識(shí)別；問(wèn)題求解；定理證明；專家系統(tǒng)；機(jī)器視覺(jué)；機(jī)器學(xué)習(xí)
填空題
人工智能作為一門學(xué)科，它研究的對(duì)象是（），而研究的近期目標(biāo)是（）；遠(yuǎn)期目標(biāo)是（）
答案：
知識(shí)；研究模擬智能程序；研制智能計(jì)算
