问答题 已知： Rl：IF A1 THEN B1 CF（B1，A1）=0.8 R2：IF A2 THEN B1 CF（B1，A2）=0.5 R3：IF B1∧A3 THEN B2 CF（B2，B1∧A3）=0.8 设初始证据A1，A2，A3的可信度均为1，即CF（A1）=CF（A2）=CF（A3）=1，而对B1几乎一无所知。求CF（B1）和CF（B2）。

问答题 已知：If Fido goes wherever John goes and if John is at school，用归结原理求解：Where is Fido？

问答题 设公理集： P， （P∧Q）→R， （S∨T）→Q， T 用归结原理求证：R