人工智能原理课程标准
五． 教材编写与选用
《人工智能基础》教材，邵军力、张景等编著，电子工业出版社 参考书目：
《人工智能及其应用》蔡自兴、徐光裕，清华大学出版社。 《人工智能与专家系统》吴泉源、刘江宁，国防科技大学出版社 《人工智能引论》［美］Ｅ.丽奇著，李卫华等译，广东科技出版社 《人工智能导论》林尧瑞、马少平著，清华大学出版社。
六． 课程评价
1、这门学科的评价依据是本课程标准规定的课程目标、教学内容和要求。 2、考试时间：120分钟。 3、考试方式、分制与分数解释
平时成绩×0.3＋期末集中考试×0.7＝总评成绩，
期末考试采用笔试，以百分制评分，60分为及格，满分为100分。 4、题型比例
推导证明题80％，其他20％ 5、样题与目标定位示例
一、将下列谓词公式化成前束范试。（20%） （1） x(P(x) yQ(x,y)) （2） x(P(x) xQ(x))
二、将下列谓词公式化成相应的子句集。（20%） （1） x y z{P(x) x[Q(x,y) R(z)]}
（2） x y z u v w(P(x,y,z,u,v,w) Q(x,y,z,u,v,w) R(x,z,w)) 三、用海伯伦定理证明下列子句集不可满足。（20%）
S {P Q, P Q,P Q, P Q}
四、用归结方法证明下列公式为恒真。（20%）
(H(x) M(x)) H(a) M(a)
五、写出下图中树的接点两个访问序列，要求分别满足以下两个搜索策略。（10%）