试题详情
判断题归结方法将所有的谓词公式均化简为子句,致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
  • 正确
  • 关注下方微信公众号,在线模考后查看

热门试题