登陆题目详情
多选题 反演消解证明定理时,若当前归结式是( )时,则定理得证
学科：人工智能
时间：2024-01-11 13:42:35
相关题目
相关作业
题目1多选题
反演消解证明定理时,若当前归结式是( )时,则定理得证A. 永真式B. 包孕式C. 空子句
题目2多选题
2015年5月,在国家发改委发布的《"互联网+"人工智能三年行动实施方案》中明确提出,到2018年国内要形成( )的人工智能市场应用规模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多选题
命题是可以判断真假的是( )A. 陈述句B. 祈使句C. 疑问句D. 感叹句
题目8多选题
现阶段的人工智能发展处于( )阶段A. 知识应用期B. 集成发展期C. 互联冲击期D. 暗淡期
题目9多选题
谷歌公司的AlphaGo机器人战胜了人类围棋世界冠军李世石,这表明了( )A. 人工智能只是钻了人类无法长时间集中精力的空子,从而取胜B. 人工智能的胜利为人类敲响了警钟,将来人类或将无法控制人工智能C. 人工智能在某方面已经超过人类,它开创性的围棋算法是取胜的关键D. 人工智能已经可以完全代替人类,其智力已经远远超过人类
题目10多选题
AlphaGo是以下哪个企业的人工智能产品( )A. IBMB. AppleC. Google Deep MindD. Facebook
下载 题海APP
拍照搜题更快捷
- 海量题库
- 无搜索限制
- 快捷拍照搜题
