位置:成果数据库 > 期刊 > 期刊详情页
求解SAT问题的多智能体社会进化算法
  • ISSN号:0254-4164
  • 期刊名称:计算机学报
  • 时间:2014.9.11
  • 页码:2011-2020
  • 分类:TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构:[1]西安邮电大学计算机学院,西安710121, [2]西安电子科技大学智能感知与图像理解教育部重点实验室,西安710071, [3]西安电子科技大学计算机学院,西安710071
  • 相关基金:本课题得到国家自然科学基金(i1105064,61203311,61373116)、陕西省自然科学基金(2011JM8007)和陕西省普通高等学校重点学科专项资金建设项目资助.
  • 相关项目:类进化计算研究:基于可达特性分析的类进化算法理论与应用
中文摘要:

基于Agent社会合作机制以及智能体对环境的感知和反作用能力提出了一种新的求解SAT问题的多智能体社会进化方法MASEA(Multi-AgentSocialEvolutionaryAlgorithm)。该方法在多智能体进化思想的基础上,引入人类社会“关系网模型”的概念来建立智能体所能感知的邻域环境;同时在保留原有的竞争算子和自学习算子前提下,根据智能体具有竞争协作的特性,设计了一个新的算子---协作算子来共同完成整个进化过程。以标准SATLIB库中变量个数从20~250的3700个不同规模的标准SAT问题以及基于RB模型所产生的随机实例对MASEA的性能进行了全面的测试,并与其他一些具有较高性能算法的结果进行了比较。结果表明,MASEA具有更高的成功率和更高的运算效率。

英文摘要:

Based on the social cooperate mechanism of agents and the ability of agents in sensingand acting on the environment, a new algorithm, Multi-Agent Social Evolutionary Algorithm forSAT problem (MASEA), is proposed. Based on the ideas of multi-agent evolutionary, this algo-rithm imports an acquaintance net, which denotes the relation of agents to construct the localenvironment for agents. On the basis of competition operator and self-learning operator, a newoperator is designed to complete the whole evolutionary process together. In the experiments,3700 benchmark SAT problems in SATLIB and some random examples generated from RB modelare used to test the performance of MASEA. Moreover, the performance of MASEA is comparedwith those of high performance algorithms. All experimental results show that MASEA has ahigher success ratio and a lower computational cost.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编:孙凝晖
  • 地址:北京中关村科学院南路6号
  • 邮编:100190
  • 邮箱:cjc@ict.ac.cn
  • 电话:010-62620695
  • 国际标准刊号:ISSN:0254-4164
  • 国内统一刊号:ISSN:11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论(网络版),荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:48433