期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
求解过程中约束一致性维护的多层次策略研究
被引量:
5
1
作者
韩靖
陈恩红
蔡庆生
《软件学报》
EI
CSCD
北大核心
1998年第8期622-627,共6页
约束满足问题广泛出现于人工智能领域.在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的.过去研究者对约束一致性算法的研究仅着眼于改进单个约束关系的维护.该文立足于更高点,提出从求解层次、维护层次和约束层...
约束满足问题广泛出现于人工智能领域.在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的.过去研究者对约束一致性算法的研究仅着眼于改进单个约束关系的维护.该文立足于更高点,提出从求解层次、维护层次和约束层次优化约束一致性维护的原则及其相应策略,算法MAC-H和AC-I+进一步减少了约束一致性维护的总代价,并克服了原有算法空间复杂度大的缺点.文中以两个典型的约束满足问题:N-皇后问题和斑马难题为分析和测试的例子,证实了这些原则和策略的有效性.
展开更多
关键词
约束
一致性
维护
约束
检测
多层次原则
人工智能
下载PDF
职称材料
题名
求解过程中约束一致性维护的多层次策略研究
被引量:
5
1
作者
韩靖
陈恩红
蔡庆生
机构
中国科学技术大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
1998年第8期622-627,共6页
基金
国家自然科学基金
中国科学技术大学青年基金
文摘
约束满足问题广泛出现于人工智能领域.在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的.过去研究者对约束一致性算法的研究仅着眼于改进单个约束关系的维护.该文立足于更高点,提出从求解层次、维护层次和约束层次优化约束一致性维护的原则及其相应策略,算法MAC-H和AC-I+进一步减少了约束一致性维护的总代价,并克服了原有算法空间复杂度大的缺点.文中以两个典型的约束满足问题:N-皇后问题和斑马难题为分析和测试的例子,证实了这些原则和策略的有效性.
关键词
约束
一致性
维护
约束
检测
多层次原则
人工智能
Keywords
Arc consistency, constraint check, multi level principle.
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
求解过程中约束一致性维护的多层次策略研究
韩靖
陈恩红
蔡庆生
《软件学报》
EI
CSCD
北大核心
1998
5
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部