问题：
[填空题] 人工智能应用的主要领域有（），（），（），（），（）和（）
问题：
[填空题] 用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
问题：
[填空题] 不确定知识处理的基本方法有（）、（）、（）和（）
问题：
[填空题] AI研究的主要途径有三大学派，它们是（）学派、（）学派和（）学派。
问题：
[填空题] 专家系统的瓶颈是（）；它来自于两个阶段，第一阶段是（），第二阶段是（）
问题：
[填空题] 一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
问题：
[填空题] 基于规则的演绎系统主要有（）、（）和（）
问题：
[填空题] D-S证据理论中函数Bel定义为（）、而函数Pl定义为（）
问题：
[填空题] 问题的状态空间，可以记为三元组，其中S为（），F为（），G为（）
问题：
[填空题] 人工智能研究的主要内容有（）、（）、（）、（）和（）
