问答题X 纠错

简述基于规则的正向演绎系统对事实、规则和目标的化简过程。

参考答案：

（1）用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束；
（2）对规则的处理同（1）；
（3）用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词约束。

进入题库练习
查答案就用赞题库小程序 还有拍照搜题 语音搜题 快来试试吧
无需下载 立即使用

你可能喜欢

问答题

简述基于规则的逆向演绎系统的使用条件。

参考答案：（1）事实表达式是文字合取形式；（2）规则形式为：W→L或W→L1∧L2，其中L为单文字，W为任意形式；（3）目标公式是...
点击查看答案进入题库练习

问答题

简述基于规则的正向演绎系统的使用条件。

参考答案：（1）事实表达式是任意形式；（2）规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式；（3）目标公式为文字...
点击查看答案进入题库练习

问答题

简述基于归结法的问题提取回答的过程。

参考答案：（1）首先用归结法证明结论成立，并画出归结树；（2）找出结论的否定所对应的子句s在归结树中的位置，用重言式s～s代替s，...
点击查看答案进入题库练习

问答题

简述用归结法证明定理的过程。

参考答案：（1）将已知条件化作子句集；（2）将结论的否定化作子句集；（3）从所有子句集中选取两个可归结的子句进行归结；（4）重复过...
点击查看答案进入题库练习

问答题

什么是合一？什么是合一者？

参考答案：若存在一个置换s使得表达式集{Ei}中每个元素经置换后的例有：E1s＝E2s＝E3s＝…，则称表达式集{Ei}是可合一的...
点击查看答案进入题库练习

问答题

什么是置换？置换是可交换的吗？

参考答案：通常用有序对的集合s＝{t1/v1，t2/v2，…，tn/vn}来表示任一置换，置换集的元素ti/vi的含义是表达式中的...
点击查看答案进入题库练习

问答题

在与或图中，什么是能解节点？什么是不能解节点？

参考答案：能解节点：（1）终节点是能解节点；（2）若非终节点有"或"子节点时，当且仅当其子节点至少有一个能解，该非终节点才能解；（...
点击查看答案进入题库练习

问答题

AO*算法的特点是什么？

参考答案：

（1）是一种与或图启发式搜索算法。
（2）当h（n）满足单调条件时，如果问题有解，则AO*算法一定能找到最优解。

点击查看答案进入题库练习

问答题

修正的A*算法可以完全避免重复扩展节点问题吗？

参考答案：不能。只是有可能避免一些重复扩展节点问题。最坏情况下，重复扩展的节点数与A*算法相同。
点击查看答案进入题库练习

问答题

当h满足单调条件时，就可以完全避免重复节点扩展问题吗？为什么？

参考答案：是的。因为当h是单调的时，当A*算法扩展节点n时，就已经找到了从初始节点到节点n的最优路径，因此在以后的搜索过程中，不会...
点击查看答案进入题库练习
赞题库

赞题库-搜题找答案

（已有500万+用户使用）


  • 历年真题

  • 章节练习

  • 每日一练

  • 高频考题

  • 错题收藏

  • 在线模考

  • 提分密卷

  • 模拟试题

无需下载 立即使用
手机版 电脑版

版权所有©考试资料网(ppkao.com)All Rights Reserved