时间:2024-11-04 03:53栏目:行业资料

一、选择题(每题1分，共15分)1、AI的英文缩写是A)AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation2、反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A)永真式B)包孕式（subsumed）C)空子句3...

时间:2024-11-03 20:27栏目:综合大类