1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 人工智能

人工智能课后答案第三章完整版.pdf

人工智能课后答案第三章完整版.pdf

    1.基于谓词逻辑的机器推理方法：自然演绎推理，归结演绎推理，基于规则的演绎推理。

    2.求下列谓词公式的子句集

    (1)xy(P(x,y)Q(x,y))

    解：去掉存在量词变为：P(a,b)Q(a,b)

    变成子句集{P(a,b),Q(a,b)}

    (2)xy(P(x,y)Q(x,y))

    般合一最一般合一为最一般合一为或用归结原理证明是否可肯定是的逻辑结果证明利用归结反演法先证明是不可满足的求子句集利用归结原理进行归结所以是不可满足得从而是和的逻辑结果证明利用归结反演法证明先证明是

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >