判断题基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。A对B错
判断题
基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。
A
对
B
错
参考解析
解析：
暂无解析
相关考题：
下列关于单代号网络图与双代号网络图绘制规则的区别的说法中正确的是（ ）。A：双代号网络图中严禁出现从一个节点出发，顺箭头方向又回到原出发点的循环回路，单代号网络图可以这样绘制B：双代号网络图中的箭线应保持自左向右的方向，单代号网络图中的箭线可以逆向C：双代号网络图中严禁出现双向箭头和无箭头的连线，单代号网络图则可以这样绘制D：在绘制单代号网络图时，当网络图中有多项开始工作时，应增设一项虚拟的工作（S），作为该网络图的起点节点
对逆向治疗计划的设计，正确的是（）A、正向治疗计划设计根据临床目标求射野参数B、逆向治疗计划设计是用射野参数去拟合临床结果C、逆向治疗计划设计是根据临床目标求射野参数D、一定能够找到最优解E、只适用于调强放疗
关于演绎系统的搜索策略的说法正确的是（）A、在寻找完所有解图之后，再判断解图的一致性。B、首先找一个任意解图，再检验其一致性，看是否是一致解图。如果这个候选解图不一致，则继续搜索直到找到一个一致解图为止。C、在扩展局部的候选解图前，就进行一致性的检验，修剪不一致的局部候选解图，致使效率提高。D、建立规则连接图结构，从而提高系统的求解效率。
下面哪个不是图搜索方式的特点（）A、图中的每一个节点代表问题的状态，节点间的弧代表应用的规则。B、就是从隐含图中搜索出含有解路径的子图来。C、对每一个状态可应用的所有规则都要去试，并把结果记录下来。D、沿着单独的一条路向下延伸搜索下去。
多选题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）A用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。B用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。C对规则的处理同（*）式。D用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
单选题对逆向治疗计划的设计，正确的是（）A正向治疗计划设计根据临床目标求射野参数B逆向治疗计划设计是用射野参数去拟合临床结果C逆向治疗计划设计是根据临床目标求射野参数D一定能够找到最优解E只适用于调强放疗
单选题下面哪个不是图搜索方式的特点（）A图中的每一个节点代表问题的状态，节点间的弧代表应用的规则。B就是从隐含图中搜索出含有解路径的子图来。C对每一个状态可应用的所有规则都要去试，并把结果记录下来。D沿着单独的一条路向下延伸搜索下去。