判断题
在语言学中，决定任意一个符号序列是不是一个句子的问题，是一个句法分析问题，我们可以用产生式系统来分析这个问题。
正确(↓↓↓ 点击‘点击查看答案’看答案解析 ↓↓↓)
判断题 基于规则的逆向演绎系统是从目标出发，逆向使用规则对目标表达式的与或图进行变换，直到找到一个含有事实节点的一致解图为止。
判断题 基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
多项选择题 关于演绎系统的搜索策略的说法正确的是（）
