A、附加律
B、拒收律
C、假言推理
D、US
答案：C
A. 宽度搜索
B. 深度搜索
C. 有序搜索
D. 广义搜索
解析：正确
A. 监督学习
B. 无监督学习
C. 半监督学习
D. 无监督学习和监督学习的结合
A.
明斯基
B. 图灵
C. 麦卡锡
D. 冯诺依曼
解析：艾伦·麦席森·图灵，英国数学家、逻辑学家，被称为计算机科学之父，人工智能之父。
解析：错误
A. 2025
B. 2030
C. 2035
D. 2040
解析：2017年，中国国务院正式 印发了《新一代人工智能发展规划》，阐述了我国人工智能发展规划，并提出到2030年的三步走发展战略目标
A. 紧接于量词之后被量词作用的谓词公式称为该量词的辖域
B. 在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元
C. 仅个体变元被量化的谓词成为一阶谓词
D. 个体变元、函数符号和谓词符号都被量化的谓词成为二阶谓词
解析：正确
