【2026年整理】第5章不确定性推理方法概率基础.pptVIP

  • 0
  • 0
  • 约5.91千字
  • 约 39页
  • 2026-05-25 发布于河南
  • 举报

【2026年整理】第5章不确定性推理方法概率基础.ppt

第3章作业的部分问题看清括号,看清联结词的优先顺序求谓词公式的字句集的步骤(P100)消→~移到量词之后扩大量词辖域xP(X)xQ(X)=x(P(X)Q(X))将辖域内变为简单合取式引入skolem函数,消去量词得到子句集(x){P(x)→(y)[P(y)→P(f(x,y))]~(y)[Q(x,y)→P(y)]}x{P(x)→y[P(y)→P(f(x,y))]~y[Q(x,y)→P(y)]}xP(X)xQ(X)=x(P(X)Q(

文档评论(0)

1亿VIP精品文档

相关文档