首页
试卷库
试题库
当前位置:
X题卡
>
所有题目
>
题目详情
用归结反演方法进行定理证明时,可采取的归结策略有()、()、()、()和()
查看本题答案
包含此试题的试卷
人工智能《人工智能》真题及答案
点击查看
你可能感兴趣的试题
目前用于处理死锁的方法可归结为以下四种__________________和______
实施CRM的具体目标可归结为提高减低
利用归结原理证明定理时若得到的归结式为则结论成立
支持集策略对参加归结的子句提出了什么限制
墨子的生死观和殡葬观可归结为___________________________
把供应商当作谈判对手时可采取的策略有什么
反演归结消解证明定理时若当前归结式是时则定理得证
永真式
包孕式
空子句
什么是归结控制策略什么样的归结控制策略是完备的
地下水处理方法可归结为和两种
造成低产茶园的原因可归结为和
归结法中可以通过的方法得到问题的解答
阿罗Arrow不可能性定理说明不存在从个人偏好次序归结成单一的社会偏好次序的简单程序
在产品生命周期的衰退期可采取的策略有策略策略和策略
巷道围岩控制方法可归结为巷道和巷道保护及支护两方面内容
公司战略的形成方法可归结为
理性方法和应急方法
学术方法和实践方法
实地考察和案头资料分析法
从上而下的贯彻和由下而上的反馈
汽温调节可归结为哪几种
几种常用的归结策略策略支持集策略线形归结策略输入归结策略单元归结策略
归结策略中是完备的Ⅰ.线性输入策略Ⅱ.支持集策略Ⅲ.单文字策略Ⅳ.祖先过滤策略
Ⅰ,Ⅱ
Ⅰ,Ⅲ
Ⅱ,Ⅳ
Ⅲ,Ⅳ
在归结原理中几种常见的归结策略并且具有完备性的是
古希腊科学的主要成就被科学方法专家归结为什么式科学
证明式科学
推理式科学
判断式科学
逻辑式科学
热门试题
更多
命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么
下列哪个不是人工智能的研究领域
在框架和语义网络两种知识表示方法中框架适合于表示结构性强的知识而则适合表示一些复杂的关系和联系的知识
设P是谓词公式对于P的任何论域存在P为真的情况则称P为
在一个量词的辖域中与该量词的指导变元相同的变元称为变元其他变元称为变元
机器行为
谓词公式G是不可满足的当且仅当对所有的解释G都为
已知初始问题的描述通过一系列变换把此问题最终变为一个子问题集合这些子问题的解可以直接得到从而解决了初始问题这是知识表示法叫
在二人博弈问题中最常用的一种分析技术是这种方法的思想是先生成一棵博弈树然后再计算其倒推值
命题是可以判断真假的
规划
人工智能的基本技术包括搜索技术知识表示和知识库技术归纳技术联想技术
广度优先搜索算法中OPEN表的数据结构实际是一个二叉树深度优先搜索算法中OPEN表的数据结构实际是一个
反演归结消解证明定理时若当前归结式是时则定理得证
引入启发式知识来指导OPEN表中节点的排序可划分为二种方式搜索和局部择优搜索
智能包含哪些能力
合一算法求非空有限具有相同谓词名的原子公式集的
人工智能的研究途径有生理模拟和行为模拟
判断下列公式是否为可合一若可合一则求出其最一般合一1PabPxy2PfxbPyz3PfxyPyfb4PfyyxPxfafb5PxyPyx
综合数据库
PB
在诸如走迷宫下棋八数码游戏等游戏中常用到的一种人工智能的核心技术称为图搜索技术解这类问题时常把在迷宫的位置棋的布局八数码所排成的形势用图来表这种图称为或状态图
下列哪部分不是专家系统的组成部分
专家系统的结构包含人机界面知识库推理机动态数据库和解释模块
从已知事实出发通过规则库求得结论的产生式系统的推理方式是
不确定性推理
机器学习的含义是指
简述鲁滨逊归结原理基本思想
演绎推理与归纳推理的区别
不确定性类型按性质分模糊性不完全性不一致性
热门题库
更多
数据结构
人工智能
计算机图形学
计算机过程控制
网站建设与管理
办公自动化
工业用微型计算机
微机控制技术
计算机程序设计
计算机导论
计算机网络信息安全与管理
艺术设计软件
大学公共基础课
教案备课库
教案备课库
教案备课库