人工智能专题-归结原理_把下列谓语公式分别化为相应的子语集,人工智能导论第五版

作者：IT小白 | 2024-06-19 09:39:01

踩

把下列谓语公式分别化为相应的子语集,人工智能导论第五版

文章目录

- 归结演绎推理步骤1- 谓词公式化为子句集

在这里插入图片描述

归结演绎推理步骤1- 谓词公式化为子句集

1 消去谓词公式中的“→”和“ $< - >$ "少符号
2. 把否定符号—移到紧靠谓词的位置上
3. 变量标准化
4.消去存在量词
a.存在量词不出现在全称量词的辖域内。
b.存在量词出现在一个或者多个全称量词的辖域内。
5.化为前束形
前束形=（前缀）{母式}
(前缀）:全称量词串。
{母式}:不含量词的谓词公式。
在这里插入图片描述

在这里插入图片描述

声明：本文内容由网友自发贡献，不代表【wpsshop博客】立场，版权归原作者所有，本站不承担相应法律责任。如您发现有侵权的内容，请联系我们。转载请注明出处：https://www.wpsshop.cn/w/IT小白/article/detail/736082