问答题
支持集策略对参加归结的子句提出了什么限制？
支持集策略要求在每次归结时，亲本子句中至少应有一个是由目标的否定所得到的子句或者它们的后代。
问答题 一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？
问答题 什么是归结控制策略？什么样的归结控制策略是完备的？
问答题 什么是知识？知识有什么特性？什么是知识表示？
