答案：A
解析：归结反演系统，以归结原理为基础、用归谬法来证明数学定理的计算机软件系统， 机器定理证明 的主要类型之一。 在归结反演系统中，定理证明是按以下几步进行的： (1)否定目标公式，然后将这个否定式 (?W)并到已知公式集S中去，形成一个扩充的公式集。
答案：A
解析：归结反演系统，以归结原理为基础、用归谬法来证明数学定理的计算机软件系统， 机器定理证明 的主要类型之一。 在归结反演系统中，定理证明是按以下几步进行的： (1)否定目标公式，然后将这个否定式 (?W)并到已知公式集S中去，形成一个扩充的公式集。
A. 列表
B. 数组
C. 字典
A. 广度优先搜索
B. 深度优先搜索
C. 有界深度优先搜索
D. 启发式搜索
A. 基于实例学习
B. 概念学习
C. 决策树学习
D. 人工神经网络学习
A. 音韵
B. 语法
C. 逻辑
D. 结构
A. 长期来看专用型人工智能的发展将依赖于对人脑认知机制的科学研究。
B. 短期内构建大型的数据集将会是各企业与研究机构发展的重要方向。
C. 在商业应用方面，短期内，专用型人工智能将会在数据丰富的行业、应用场景成熟的业务前端(如营销、服务等)取得广泛的应用。
D. 人工智能技术将能在边际成本不递增的情况下将个性化服务普及到更多的消费者与企业。
解析：长期来看专用型人工智能的发展将不依赖于对人脑认知机制的科学研究。。
A. 词法分析
B. 句法分析
C. 语境分析
D. 语义分析
解析：基础知识
A. 计算简单
B. 非线性
C. 具有饱和区
D. 几乎处处可微
解析：见算法解析
A. 符号主义
B. 联结主义
C. 行为主义
D. 仿生主义
A. 权重
B. 偏置
C. 激活函数
D. 学习率
解析：学习率是CNN网络的超参数。
