×

用自动机建模语法进化。 (英文) Zbl 1267.68089号

摘要:自1998年语法进化(GE)问世以来,已经过去了12年,但在几乎所有现有的GE研究中,诸如巨大的搜索空间、基因型可读性以及语法概念、产生规则和派生之间的内在关系等问题都没有涉及。基于模型的方法是实现软件工程不同目标的一种很有吸引力的方法。本文首次尝试使用自动机对通用电气的语法可用信息进行建模,提出了一种新的解决方案,称为基于模型的语法进化(MGE)。在MGE中,通过使用构建块中的概念,搜索空间大大减少,但功能和表现力仍然与经典GE相同。此外,复杂的进化过程可以在过渡图的背景下进行可视化分析。

MSC公司:

68甲19 其他编程范式(面向对象、顺序、并发、自动等)
2012年第68季度 语法和重写系统
68号30 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] O'Neill M,Ryan C.语法进化。IEEE Trans Evolut Compute,2001,5:349–358·doi:10.1109/4235.942529
[2] Ryan C、Collins J J、O’Neill M。语法进化:任意语言的进化程序。收录人:Banzhaf W,Poli R,Schoenauer M等人,《第一届欧洲遗传编程研讨会论文集》(EuroGP98),LNCS,1998,1391:83–96
[3] O'Neill M,Ryan C.《语法进化:任意语言中的进化自动编程》。马萨诸塞州诺威尔:Kluwer学术出版社,2003年
[4] Mitchell M.遗传算法导论。剑桥:麻省理工学院出版社,1996·Zbl 0906.68113号
[5] Hopcroft J E,Motwani R,Ullman J D.自动机理论、语言和计算导论。第三版,德克萨斯州圣安东尼奥:培生教育公司,2008·Zbl 0980.68066号
[6] Aho A V,Lam M S,Sethi R等,《编译器:原理、技术和工具》。第二版,德克萨斯州圣安东尼奥:培生教育公司,2007·Zbl 1155.68020号
[7] Koza J R.遗传编程。剑桥马萨诸塞州:麻省理工学院出版社,1992年
[8] Oltean M,Grosan C.几种线性遗传规划技术的比较。复杂系统,2003,14:285–313·Zbl 1167.90695号
[9] Sette S,Boullart L.遗传编程:原理和应用。《工程应用技术情报》,2001年,14:727–736·doi:10.1016/S0952-1976(02)00013-1
[10] Gavrilis D,Tsoulos I G,Dermatas E.使用语法进化选择和构建特征。Patt Recog Lett,2008,29:1358–1365·doi:10.1016/j.patrec.2008.02.007
[11] Tsoulos I G,Gavrilis D,Glavas E.使用语法进化构建和训练神经网络。神经计算,2008年。72:269–277·doi:10.1016/j.neucom.2008.01.017
[12] Dempsey I,O'Neill M,Brabazon A.语法进化的适应性交易。收录于:2006年IEEE进化计算大会论文集。加拿大不列颠哥伦比亚省温哥华,2006年。2587–2592
[13] Tsoulos I G,Gavrilis D,Dermatas E.GDF:通过语法进化进行功能评估的工具。计算物理通讯,2006,174:555–559·doi:10.1016/j.cpc.2005.11.003
[14] Ferreira C.基因表达式编程:一种新的解决问题的自适应算法。复杂系统,2001,13:87–129·Zbl 1167.92329号
[15] 徐开科,刘永泰,唐瑞敏,等。基于基因表达式编程的实参数优化新方法。应用软计算,2009,9:725-737·doi:10.1016/j.asoc.2008.09.007
[16] 杜霞,丁丽霞。关于一类基因表达式编程的收敛速度。科学与中国信息科学,2010,53:715-728·doi:10.1007/s11432-010-0041-9
[17] Pierce B C.类型与编程语言。马萨诸塞州剑桥:麻省理工学院出版社,2002年·兹比尔0995.68018
[18] Boolos G S,Burgess J P,Jeffrey R C.可计算性和逻辑。第四版剑桥:剑桥大学出版社,2002年
[19] Wong M L,Mun T.使用基于自适应语法的遗传编程进化递归程序。遗传程序Evolv Mach,2005,6:421–455·数字对象标识代码:10.1007/s10710-005-4805-8
[20] Wilson D,Kaur D。进化计算中的搜索、中性进化和映射:语法进化的案例研究。IEEE Trans Evolut Comput,2009,13:566–590·doi:10.1109/TEVC.2008.2009063
[21] 何鹏,康立生,傅明。基于形式的遗传编程。摘自:IEEE进化计算大会。香港,2008
[22] He P,Kang L S,Johnson C G,等。基于逻辑的遗传编程。科学与中国信息科学,2011,54:623–637·Zbl 1219.68144号 ·doi:10.1007/s11432-011-4200-4
[23] Harman M,Mansouri S A,Zhang Y Y。基于搜索的软件工程:趋势技术和应用的综合分析和回顾。技术报告,TR-09-032009
[24] Hugosson J、Hemberg E、Brabazon A等。语法进化中的基因型表征。Appl Soft Comput,2010,10:36–43·doi:10.1016/j.asoc.2009.05.003
[25] O'Neill M,Brabazon A,Nicolau M,et al.{\(\pi\)}语法进化。在:Deb K,Poli R,Banzhaf W等人编辑的Proc。GECCO,LNCS,2004,3103:617–629
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。