多做题，通过考试没问题！

人工智能

睦霖题库>大学试题(计算机科学)>人工智能

用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）

正确答案:删除策略；支持集策略；线性输入策略；单文字子句策略；祖先过滤策略
答案解析:有
进入题库查看解析

微信扫一扫手机做题

最新试题
热门试题