填空题
机器的（）能力是让机器自动获取知识的基本条件，而知识的自动获取一直是智能系统研究中最困难的问题之一。
感知
问答题 支持集策略对参加归结的子句提出了什么限制？
问答题 一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？
问答题 什么是归结控制策略？什么样的归结控制策略是完备的？
