如果结果不匹配，请 
更多“逻辑推理与定理证明是目前人工智能中最活跃、最有成效的一个研究…”相关的问题
第3题
以逻辑规则为核心的逻辑推理、以数据驱动为核心的机器学习和以问题引导为核心的强化学习是三种人工智能的方法，下面哪一句话的描述是不正确的（)？
A.目前以数据驱动为核心的机器学习方法可从任意大数据(无论数据是具备标签还是不具备标签)中来学习数据模式，完成给定任务
B.强化学习的基本特征是智能体与环境不断进行交互，在交互过程不断学习来完成特定任务
C.目前以数据驱动为核心的机器学习方法需要从具有标签的大数据中来学习数据模式，完成给定任务
D.以逻辑规则为核心的逻辑推理方法解释性强
第4题
人工智能是指由人工制造出来的系统所表现出来的智能。下列论述中所描述的各项技术突破，无关人工智能的是：（)
A.科学家利用数学定理证明程序，证明了《数学原理》一书第二章的38个定理。
B.中国象棋程序在人机对弈时，能够根据以往的棋局，学习到新的战术，从而避免因为类似的错误而失败。
C.小张家里新买的最新款电视机，能够根据电视机周围的环境光线强弱，自动地调整屏幕的亮度。
D.有种名为siri的手机软件，采用自然语言处理技术，使用户能用自然的对话与手机进行互动。
第5题
1972年，法国马赛大学的阿兰·卡麦劳发明了（)语言，它是继LISP语言后的在人工智能领域中的又一种编程语言，用于数学定理证明。
A.PASCAL
B.C
C.PROLOG
D.COBOL
第10题
对于固有牙槽骨,下列哪一项描述不正确（)
A.是人体骨骼中最活跃的部分
B.受压常吸收
C.牙齿缺失后其组织结构发生很大变化
D.在发育中与颌骨皮层骨为同一生长中心来源
E.X线片上呈阻射影
