18 12
发新话题
打印

2006年计算机科学与技术真题答案及解析

回复 #8 gutentagswh 的帖子

归结式的定义:
设C1和C2是子句集中的任意两个子句,如果C1中的文字L1与C2中的文字L2互补,那么可从C1和C2中分别消去L1和L2,并将C1和C2中余下的部分按析取关系构成一个新子句C12,则称这一个过程为归结,称C12为C1和C2的归结式,称C1和C2为C12的亲本子句。
我理解的是只要有互补就应该消去,不应该只限定只消去一对互补。

TOP

回复 #10 gutentagswh 的帖子

您给出通项公式是不对的,详见解析答案。

TOP

回复 #11 sunraising 的帖子

我查过《人工只能原理复习与考试指导》张仰森 编写 p127页,第一行,在求归结式时,不能同时消去两个互补文字对,消去两个互补文字对所得的结果不是两个亲本子句的逻辑结论。
所以A不对,B对

TOP

kankanshareshare

TOP

想要2007 的真题和答案

难道今年的题目都没有公布吗?过这么长时间都没有看到吗?

TOP

先回帖,再下载,然后做题。

TOP

怎么打开还需要密码的呀

TOP

奇怪.

TOP

 18 12
发新话题