判断题
鲁宾逊归结原理应用反证法,即欲证明P→Q,只要证明P和非Q的合取为F。
正确(↓↓↓ 点击‘点击查看答案’看答案解析 ↓↓↓)
判断题 自然演绎推理和归结演绎推理属于确定性推理。
多项选择题 一个产生式系统由哪几部分组成?()
判断题 语义网络的推理过程是通过继承和匹配实现的。
判断题 产生式只能表示确定性知识,而蕴含式不仅可以表示确定性知识,也可表示不确定性知识。
判断题 一个谓词分为谓词名和个体两个部分。