人工智能 经典考试试题与其答案.doc

一、选择题(每题分，共分) 、的英文缩写是 ) ) ) ) 、反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。 )永真式 )包孕式（） )空子句 、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 )正向推理 )反向推理 )双向推理 、语义网络表达知识时，有向弧 链、 链是用来表达节点知识的（ ）。 )无悖性 )可扩充性 )继承性 、(→)∧ 是 )附加律　 )拒收律　 )假言推理　 ) 、命题是可以判断真假的 )祈使句　 )疑问句　 )感叹句　 )陈述句 、仅个体变元被量化的谓词称为 )一阶谓词　 )原子公式　 )二阶谓词　 )全称量词 、是 )最一般合一　 )最一般替换　 )最一般谓词　 )基替换 、年５月，著名的“人机大战”，最终计算机以比的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（ ） ）深蓝 ） ）深思 ）蓝天 、下列不在人工智能系统的知识包含的个要素中 )事实　 )规则　 )控制和元知识　 )关系 、谓词逻辑下，子句, ∨‘, ? ∨‘,?若σ是互补文字的（最一般）合一置换，则其归结式（ ） ) ’σ∨’σ　 )’∨’　 )’σ∧’σ　 )’ ∧’ 、或图通常称为 ）框架网络 )语义图 )博亦图 )状态图 、不属于人工智能的学