人工智能-习题.docx

人工智能-习题 人工智能 习题 2 1. 把下列谓词公式分别化为相应的子句集： （1） ()( )( ( , ) ( , ) x y P x y Q x y （2） ()( )( ( , ) ( ( , ) ( , ) x y P x y Q x y R x y $ （3） ()( )( )( ( , ) ( , ) ( , ) x y z P x y Q x y R x z $ 2. 假设有以下前提知识: （1）自然数都是大于零的整数。 （2）所有整数不是偶数就是奇数。 （3）偶数除以 2是整数。 求证：试用归结演绎推理证明所有自然数不是奇数就是其一半为整数的数。 3. 设有如下推理规则 r1: IF E1 THEN (2, 0.001) H1 r2: IF E2 THEN (100, 0.001) H1