1、一、选择题(每题1分,共15分)1、AI的英文缩写是A)AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation2、反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。A)永真式B)包孕式(subsumed)C)空子句3、从已知事实出发,通过规则库求得结论的产生式系统的推理方式是A)正向推理B)反向推理C)双向推理4、语义网络表达知识时,有向弧AKO链、ISA链是用来表达节点知识的()。A)无悖性B)可扩充性C)继承性5、(A→B)∧A=>B是A)附加律 B)