- 搜標(biāo)題
- 搜題干
- 搜選項
填空題
用歸結(jié)反演方法進(jìn)行定理證明時，可采取的歸結(jié)策略有（）、（）、（）、（）和（）
答案：
刪除策略；支持集策略；線性輸入策略；單文字子句策略；祖先過濾策略
你可能感興趣的試題
填空題
人工智能應(yīng)用的主要領(lǐng)域有（），（），（），（），（）和（）
答案：
模式識別；問題求解；定理證明；專家系統(tǒng)；機(jī)器視覺；機(jī)器學(xué)習(xí)
