学苑中心学员交流论坛-同等学力,十月联考,考博论坛 » 计算机科学与技术 » 针对2006年人工智能选择题第四题的答案的讨论

gutentagswh 发表于 2007-5-8 09:00

针对2006年人工智能选择题第四题的答案的讨论

（4）子句c1= ~pv~q和c2=pvq 的归结式是（  ）
A 空子句                 B 重言式 C 任意子句
本题中，在学苑中心给出的答案是A
本人觉得不对，应该选择B
在张仰森编写的人工智能原理复习与考试指导一书的127页第一句话，在求归结式时，不能同时消去两个互补文字对，消去两个互补文字对所得的结果不是两个亲本子句的逻辑结论。
所以该题有消去一个后取获取为重言式
不知道大家的看法如何

hyawind 发表于 2007-5-14 02:45

这题肯定是B啊...

qhdshya 发表于 2007-5-16 14:39

回复 #1 gutentagswh 的帖子

课本说的是对的，答案是B也没错。归结消去p和 ~p后，剩余的做析取，为~qvq，正好为1，所以为重言式。
人工智能老师也讲到了这里。

[[i] 本帖最后由 qhdshya 于 2007-5-16 14:41 编辑 [/i]]

查看完整版本: 针对2006年人工智能选择题第四题的答案的讨论