A子句的合取式(合取范式)
B子句的析取式(析取范式)
C文字的析取式
D文字的合取式
基于规则的正向演绎系统的的子集形式()
单选题查看答案
基于规则的正向演绎系统的使用条件()
多选题查看答案
基于规则的演绎系统将所有的谓词公式均化简为子句,致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
判断题查看答案
对基于规则的正向演绎系统,目标表达式中的"∧"号在与或树中表达为"与"的关系,"∨"号在与或树中表达为"或"的关系。
判断题查看答案
基于规则的逆向演绎系统的使用条件()
多选题查看答案
基于规则的演绎系统主要有()、()和()
填空题查看答案
基于规则的逆向演绎系统对事实、规则和目标的化简过程()
多选题查看答案
基于规则的逆向演绎系统的初始综合数据库是()
单选题查看答案
基于规则的逆向演绎系统是从目标出发,逆向使用规则对目标表达式的与或图进行变换,直到找到一个含有事实节点的一致解图为止。
判断题查看答案