事实表达式是文字合取形式
事实表达式是任意形式
规则形式为：W→L或W→L1∧L2其中L为单文字，W为任意形式。
目标公式是任意形式
第1题：
基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。
第2题：
基于规则的正向演绎系统的使用条件（）
第3题：
基于规则的演绎系统主要有（）、（）和（）
第4题：
逆向物流系统的构建可以基于企业已有的物流体系，即在原由的物流基础上增加逆向物流，完善自己的物流体系。
第5题：
与基于条件的分离相关的发明原理包括（）。
第6题：
基于规则的逆向演绎系统的使用条件（）
第7题：
对基于规则的正向演绎系统，目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。
第8题：
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
第9题：
逆向物流系统的构建可以基于企业已有的物流体系，即在原有的物流基础上增加逆向物流，完善自己的物流体系。
第10题：
（）是专家系统使用最多的推理方法。