人工智能-习题2.doc

.人工智能 习题21. 把下列谓词公式分别化为相应的子句集：（1）（2）（3）2. 假设有以下前提知识:（1）自然数都是大于零的整数。 （2）所有整数不是偶数就是奇数。（3）偶数除以2是整数。求证：试用归结演绎推理证明“所有自然数不是奇数就是其一半为整数的数”。3. 设有如下推理规则 r1: IF E1THEN (2, 0.001) H1 r2: IF E2THEN (100, 0.001) H1 r3: IF H1THEN(200, 0.01 ) H2且已知O(H1)0.1， O(H2)0.01，又由用户告知：C(E1|S1)=2, C(E2|S2)=1 试用主观Bayes方法求O(H2|S1,S2) = ?4. 设有一组规则R1: IF E1 THEN H (0.8) R2: IF E2 THEN H (0.6) R3: IF E3 THEN H