单项选择题反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
A.永真式
B.包孕式
C.空子句
您可能感兴趣的试卷
你可能感兴趣的试题
1.单项选择题要想让机器具有智能,必须让机器具有知识。因此,在人工智能中有一个研究领域,主要研究计算机如何自动获取知识和技能,实现自我完善,这门研究分支学科叫()。
A.专家系统
B.机器学习
C.神经网络
D.模式识别
2.单项选择题下列哪部分不是专家系统的组成部分()
A.用户
B.综合数据库
C.推理机
D.知识库
3.单项选择题产生式系统的推理不包括()
A.正向推理
B.逆向推理
C.双向推理
D.简单推理
4.单项选择题已知初始问题的描述,通过一系列变换把此问题最终变为一个子问题集合;这些子问题的解可以直接得到,从而解决了初始问题。这是知识表示法叫()
A.状态空间法
B.问题归约法
C.谓词逻辑法
D.语义网络法
5.单项选择题神经网络研究属于下列()学派
A、符号主义
B、连接主义
C、行为主义
D、都不是
6.单项选择题下列哪个不是人工智能的研究领域()
A.机器证明
B.模式识别
C.人工生命
D.编译原理
7.单项选择题人工智能的含义最早由一位科学家于1950年提出,并且同时提出一个机器智能的测试模型,请问这个科学家是()。
A.明斯基
B.扎德
C.图灵
D.冯.诺依曼
最新试题
用机器代替人眼睛进行测量和判断,是人工智能研究领域中的()研究内容。
题型:单项选择题
对人工智能的未来发展,专家们有着不同的预测。下列名人中哪位对人工智能的发展持更乐观的态度?()
题型:单项选择题
智能家居系统是利用计算机、网络通信和()技术,将与家居生活有关的各个子系统有机结合。
题型:单项选择题
下列哪个名词术语与“智能家居”无关?()
题型:单项选择题
IBM 公司的“深蓝”计算机系统与卡斯帕罗夫的“人机大战”,属于人工智能的研究领域内的()的研究成果。
题型:单项选择题
()技术在家具环境中的应用,是智能家居概念形成的重要标志。
题型:单项选择题
人工智能的四大基石分别是算法、算力、数据、应用,其中有三个涉及伦理问题,没有涉及伦理问题的是()
题型:单项选择题
智能家居可以说是()的一个子系统,用于控制家电设备、按照人的意志操作。
题型:单项选择题
对于“物联网”智能家居发展阶段,哪个结论是错的?()
题型:单项选择题
早期的智能家居产品,用户反映最突出的问题是什么?()
题型:单项选择题