《人工智能考试试卷及答案》

中南大学考试试卷2011年第2学期,考试时间110分钟一、选择题（共20分，每题2分）1、消解原理是一种用于A、 表达式变换的推理规则 B、 变量运算的推理规则C、一定的子句公式的推理规