2024年11月24日
人工智能原理期末速成——消解反演与反演求解
摘要： 消解反演：证明真或假 反演求解：求解变量值 消解反演解法： 1.否定命题，将否定后的命题加入前提 2.通过前提之间互相组合，得到新的前提 3.最终前提与前提互相矛盾，得到NIL，此时证明完成 注：在第1步之后第2步之前，还需要将所有的命题转换成子句形式 例1： 设已知： （1）能阅读的人是识字的 （ 阅读全文
posted @ 2024-11-24 14:22 Rakuen 阅读(364) 评论(0) 推荐(0)