填空題

用歸結(jié)反演方法進行定理證明時，可采取的歸結(jié)策略有（）、（）、（）、（）和（）

答案： 刪除策略；支持集策略；線性輸入策略；單文字子句策略；祖先過濾策略
在線練習
題目列表

你可能感興趣的試題

填空題

人工智能應用的主要領(lǐng)域有（），（），（），（），（）和（）
答案： 模式識別；問題求解；定理證明；專家系統(tǒng)；機器視覺；機器學習
填空題

人工智能作為一門學科，它研究的對象是（），而研究的近期目標是（）；遠期目標是（）
答案： 知識；研究模擬智能程序；研制智能計算
微信掃碼免費搜題