问题：
[问答题] 一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？
问题：
[问答题] 支持集策略对参加归结的子句提出了什么限制？
问题：
[填空题] 机器的（）能力是让机器自动获取知识的基本条件，而知识的自动获取一直是智能系统研究中最困难的问题之一。
问题：
[问答题] 有哪两大类不同的搜索方法？两者的区别是什么？
问题：
[问答题] 产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？
问题：
[问答题] 用状态空间法表示问题时，什么是问题的解？求解过的本质是什么？
问题：
[问答题] 从研究的角度不同，对人工智能的研究可分两大阵营：（）和（）。其中（）的理论基础为数理逻辑。
问题：
[问答题] 何谓产生式系统？它由哪几部分组成？
问题：
[问答题] 规则库中，概念共享和概念分离各指什么？在哪种情况下，其与／或树和依赖图是相一致的？
