位置:成果数据库 > 期刊 > 期刊详情页
最先失败原则的约束传播算法
  • ISSN号:1000-1220
  • 期刊名称:《小型微型计算机系统》
  • 时间:0
  • 分类:TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构:[1]吉林大学计算机科学与技术学院,吉林长春130012, [2]吉林大学符号计算与知识工程教育部重点实验室,吉林长春130012
  • 相关基金:国家自然科学基金项目(60473003)资助;吉林省自然科学基金项目(20040526)资助;教育部博士点基金项目(20050183065)资助.
中文摘要:

约束满足问题是人工智能研究领域的重要问题.而弧相容算法是求解约束满足问题的重要工具.在弧相容算法中应用启发式规则已经证明是一种很有效的方式.本文提出一个基于最先失败原则的约束传播算法,该算法在搜索过程中更早地发现含有空域的变量并提前进行回溯,从而提高问题求解效率.同时,在“明月1.0”架构下实现了该算法,实验结果表明使用最先失败原则的弧相容算法要比原来的算法效率上提高了约40%.

英文摘要:

constraint satisfaction problems play a very important role in the area of artificial intelligence, while arc consistency is the key technique in solving such problems, and using heuristic rules can improve the algorithm's efficiency. In this paper a new constraint propagation algorithm based on fail first principle is proposed, which improves the practical time efficiency through backtracking in advance due to the earlier found of variables which contain null values, when implemented under the platform of "Mingyue1. 0", the experiments showed the practical time efficiency is increased by 40 percent through using fail first principles compared with the original one.

同期刊论文项目
期刊论文 60 会议论文 19
同项目期刊论文
期刊信息
  • 《小型微型计算机系统》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院沈阳计算技术研究所
  • 主编:林浒
  • 地址:沈阳市浑南新区南屏东路16号
  • 邮编:110168
  • 邮箱:xwjxt@sict.ac.cn
  • 电话:024-24696120 024-24696190-8870
  • 国际标准刊号:ISSN:1000-1220
  • 国内统一刊号:ISSN:21-1106/TP
  • 邮发代号:8-108
  • 获奖情况:
  • 中国自然科学核心期刊,中国科学引文数据库来源期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:23212