第三章单元测试
- 从初始证据出发，按某种策略不断运用知识库中的已知知识，逐步推出结论的过程称为推理。（ ）
- 任何文字的析取式称为子句。（ ）
- 谓词公式不可满足的充要条件是其子句集不可满足。（ ）
- 对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。（ ）
- 对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。（ ）
A:错 B:对
答案:对
A:对 B:错
A:错 B:对
A:错 B:对
A:错 B:对
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
