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