名词解释
问题归约法
问题规约法是一种基于状态空间的问题描述与求解方法。它是已知问题的描述，通过一系列变换把此问题变为一个子问题集合，这些子问......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 判断下列子句集中哪些是不可满足的：{¬P∨Q，¬Q，P，¬P}。
填空题 下列谓词公式化成子句集是（）。z))
填空题 用语义网络表示知识“鸵鸟是一种鸟”（）。
