管理信息化人工智能人工智能最全考试总结29.pdfVIP

管理信息化人工智能人工智能最 全考试总结 29 一、选择题(每题 1 分，共 15 分) 1 、AI 的英文缩写是 A)AutomaticIntelligenceB)ArtificalIntelligence C)AutomaticeInformationD)ArtificalInformation 2 、反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。 A)永真式 B) 包孕式（subsumed）C)空子句 3 、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 A)正向推理 B)反向推理 C)双向推理