人工智能-习题2

人工智能 习题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, H1

r2: IF E2 THEN (100, H1

r3: IF H1 THEN (200, ) H2

且已知O(H1)＝， O(H2)＝，又由用户告知：C(E1|S1)=2, C(E2|S2)=1

试用主观Bayes 方法求O(H2|S1,S2) =

4. 设有一组规则

!

R1: IF E1 THEN H

R2: IF E2 THEN H

R3: IF E3 THEN H

R4: IF E4 AND E5 THEN E1

R5: IF E6 AND E7 THEN E2

已知CF(E3)=，CF(E4)=，CF(E5)=，CF(E6)=，E7= E8 OR E9，CF(E8)=，CF(E9)=。试用可信度方法求结论H的不确定性。

5. 设

U=V={1，2，3，4}

】

且有如下推理规则：

IF x is 少 THEN y is 多

其中，“少”与“多”分别是U与V上的模糊集，设

少=1+2+3

多=2+3+4

已知事实为

x is 较少

“较少”的模糊集为

较少=1+2+3

请用模糊关系R m求出模糊结论。