反演归结（消解）证明定理时，若定理得证时，则当前归结式是（）。

AI的英文缩写是（）。A.Automatic IntelligenceB.Artifical Intellig...

单项选择题AI的英文缩写是（）。

如果问题存在最优解，则下面几种搜索算法中，可以认为“智能程度相对比较高”的算法是（）。A.广度优先搜索B.深度...

单项选择题如果问题存在最优解，则下面几种搜索算法中，可以认为“智能程度相对比较高”的算法是（）。

以下属于多智能体模型的是（）。A.BDI模型B.评价模型C.联盟模型D.控制模型

单项选择题以下属于多智能体模型的是（）。