基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。
基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。
相关考题：
有关教师资格证考试:从目标状态出发,按照子目标组成的逻辑顺序逐级向初始状态递归。这 从目标状态出发，按照子目标组成的逻辑顺序逐级向初始状态递归。这.种解决问题的策略或方法是()。A.爬山法B.逆向工作法C.手段一目的分析法D.尝试错误法
对逆向治疗计划的设计，正确的是（）A、正向治疗计划设计根据临床目标求射野参数B、逆向治疗计划设计是用射野参数去拟合临床结果C、逆向治疗计划设计是根据临床目标求射野参数D、一定能够找到最优解E、只适用于调强放疗
多选题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）A用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。B用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。C对规则的处理同（*）式。D用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
名词解释题目标逆向选择