填空题
（）方法是一种将复杂问题变换为比较简单的子问题，子问题再转换为更简单的子问题，最终将问题转换为对本原问题的知识表示方法。
问题规约
填空题 机器的（）能力是让机器自动获取知识的基本条件，而知识的自动获取一直是智能系统研究中最困难的问题之一。
问答题 支持集策略对参加归结的子句提出了什么限制？
问答题 一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？
