基于规则的逆向演绎系统是从目标出发,逆向使用规则对目标表达式的与或图进行变换,直到找到一个含有事实节点的一致解图为止。
第1题:
基于规则的逆向演绎系统的使用条件()
第2题:
对基于规则的正向演绎系统,目标表达式中的"∧"号在与或树中表达为"与"的关系,"∨"号在与或树中表达为"或"的关系。
第3题:
基于规则的逆向演绎系统的初始综合数据库是()
第4题:
从已知事实出发,按照知识库中的规则进行推理,得出结论的思维方式就是()。
第5题:
管理目标逆向选择
第6题:
从目标状态出发,按照子目标组成的逻辑顺序向初始状态递归的问题解决策略是()
第7题:
用Skolem函数(对偶形)消去目标公式中的全称量词,化简的公式受存在量词的约束。
用Skolem函数消去事实表达式中的存在量词,化简的公式受全称量词的约束。
对规则的处理同(*)式。
用Skolem函数消去事实表达式中的存在量词,化简的公式受全称量词的约束。(*)
第8题:
结果逆向
功能逆向
原理逆向
结构逆向
第9题:
对
错
第10题:
事实表达式是任意形式
规则形式为:L→W或L1∨L2→W,其中L为单文字,W为任意形式
目标公式为文字析取形
目标公式是任意形式
第11题:
第12题:
第13题:
基于规则的正向演绎系统的使用条件()
第14题:
逆向推理的缺点是若提出的假设目标不符合事实,但是不会降低系统效率
第15题:
演绎推理是从已有的事实和确定的规则出发,按照逻辑推理的法则证明和计算。
第16题:
目标逆向选择
第17题:
从目标状态出发,按照子目标组成的逻辑顺序逐级向初始状态递归。这种解决问题的策略或方法是()。
第18题:
对
错
第19题:
爬山法
逆向工作法
手段目的分析法
尝试错误法
第20题:
正向推理
逆向推理
逻辑推理
匹配推理
第21题:
事实表达式的与或树
目标公式的与或树
与或树
证明树
第22题:
事实表达式是文字合取形式
事实表达式是任意形式
规则形式为:W→L或W→L1∧L2其中L为单文字,W为任意形式。
目标公式是任意形式
第23题:
对
错