4-2020 第四章-41

【文件属性】：

文件名称：4-2020 第四章-41

文件大小：708KB

文件格式：PDF

更新时间：2022-08-03 17:12:56

人工智能

1.否定Q，得到¬Q 2.把¬Q并入到公式集F中，得到{F, ¬Q} 3.把公式集{F, ¬Q}化为子句集S 4.应用消解推理规则对子句集S中的子句进行消解，并