尤金·埃伯巴赫 用于解决问题的$-演算过程代数：处理难计算问题的范式转变。 （英语） Zbl 1124.68069号 西奥。计算。科学。 383，第2-3号，200-243（2007）. 概要：$-calculates是\（\pi\）-calculation的扩展，它围绕着成本的中心概念构建，并允许其运算符无穷大。我们建议$-演算作为一个更完整的问题解决模型，为处理棘手和不可判定性提供支持。它超越了图灵机器模型。我们使用一种新的优化方法（\（k\Omega\）-优化）来定义$-演算的语义，该方法近似于不存在的通用搜索算法，并允许模拟许多其他搜索方法。特别是，总体优化的概念被用来提供一种自动的方法，通过优化解决方案的质量和搜索成本来处理问题解决的难处理性。定义了问题求解搜索的完备性、最优性和全局最优性所需的充分条件。提出了一种非常灵活的问题求解方法分类方案，将其分为简单、困难和可解的极限类。特别是，第三类处理不可判定问题的非递归解决方案。该方法通过解决一些难以解决和无法确定的问题来说明。我们还简要概述了$-演算的两种可能的实现方式。 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 2005年第68季度 计算模型（图灵机等）（MSC2010） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：解决问题;过程代数;anytime算法;超时效计算模型;有限理性代理;$-微积分;难对付的;不可判定性;完整性;最优性;搜索最优性;总体最优性 PDF格式BibTeX公司 XML格式引用 \文本｛E.Eberbach｝，Theor。计算。科学。383，编号2--3，200-243（2007；Zbl 1124.68069） 全文： 内政部 参考文献： [1] L.Atallah，E.Eberbach，《问题解决的演算过程代数及其对生物信息学的支持》，载于：Proc.2nd Indian Intern.Conf.on Artificial Intelligence IICAI'95，Puna，India，2005年，第1547-1564页；L.Atalah，E.Eberbach.《问题解决中的演算进程代数及其对生命信息学的支撑》，载于Proc。第二名印度实习生。1995年人工智能IICAI会议，印度普纳，2005年，第1547-1564页 [2] （Bäck，T.；Fogel，D.B.；Michalewicz，Z.，《进化计算手册》（1997），牛津大学出版社）·Zbl 0883.68001号 [3] （Bergstra，J.A.；Ponse，A.；Smolka，S.A.，《过程代数手册》（2001），北荷兰：北荷兰Elsevier）·Zbl 0971.00006号 [4] Burgin，M.，《我们如何知道技术可以做什么》，美国计算机学会通讯，44，11，83-88（2001） [5] Burgin，M.，《超递归算法》（2005），Springer-Verlag·Zbl 1070.68038号 [6] Burks，A.，《细胞自动机论文》（1970），伊利诺伊大学出版社·Zbl 0228.94013 [7] Ch.Buzzell，多自主水下航行器合作的通用控制语言，马萨诸塞大学达特茅斯分校硕士论文，2004年；Ch.Buzzell，多自主水下航行器合作的通用控制语言，马萨诸塞大学达特茅斯分校硕士论文，2004年 [8] Chow，Y.S。；Teicher，H.，《概率论：独立性、互换性和鞅》（1988年），斯普林格-Verlag·Zbl 0652.60001号 [9] Copeland，B.J.，《超级硫化机，复杂性》，4，1，30-32（1998） [10] 科普兰，B.J。；Proudfoot，D.，Alan Turing在计算机科学中被遗忘的思想，《科学美国人》，1999年4月，99-103 [11] Church，A.，初等数论的一个无法解决的问题，《美国数学杂志》，58345-363（1936） [12] Church，A.，《兰姆达转换的演算》（1941），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿 [13] T.Dean，M.Boddy，《时间相关规划分析》，摘自：Proc。第七届全国人工智能大会，明尼苏达州明尼阿波利斯，1988年，第49-54页；T.Dean，M.Boddy，《时间相关规划分析》，摘自：Proc。第七届全国人工智能大会，明尼苏达州明尼阿波利斯，1988年，第49-54页 [14] Ch.Duarte，G.Martel，E.Eberbach，Ch.Buzzell，多自动飞行器动态任务的通用控制语言，见：Proc。第13届实习生。交响乐团。2003年8月24日至27日，新罕布什尔州达勒姆市，UUST’03号无人无缆潜水技术；Ch.Duarte，G.Martel，E.Eberbach，Ch.Buzzell，多自动飞行器动态任务的通用控制语言，见：Proc。第13届实习生。交响乐团。2003年8月24日至27日，新罕布什尔州达勒姆市，UUST’03号无人无缆潜水技术 [15] 杜阿尔特（Ch.Duarte）、马特尔（G.Martel）、埃伯巴赫（E.Eberbach）、巴泽尔（Ch.Buzzell），《你们之间的对话：让多辆自动驾驶汽车合作》（Talk about yoursel:getting multiple autonomous vehicles to cooperation），in：程序。2004年6月17日至18日，美国马萨诸塞州塞巴斯科庄园，《2004年自动水下航行器：2004年AUV多功能操作研讨会》；杜阿尔特（Ch.Duarte）、马特尔（G.Martel）、埃伯巴赫（E.Eberbach）、巴泽尔（Ch.Buzzell），《你们之间的对话：让多辆自动驾驶汽车合作》（Talk about yoursel:getting multiple autonomous vehicles to coop。2004年自主式水下航行器：AUV多用途操作研讨会AUV’2004，缅因州Sebasco Estates，2004年6月17日至18日 [16] E.Eberbach，分布式人工智能的通用工具，匹配作为消息传递，in：Proc。IEEE第九届实习生。人工智能工具会议TAI'97，加利福尼亚州纽波特海滩，1997年，第11-18页；E.Eberbach，分布式人工智能的通用工具，匹配作为消息传递，in：Proc。IEEE第九届实习生。人工智能工具会议TAI'97，加利福尼亚州纽波特海滩，1997年，第11-18页 [17] Eberbach，E.，《微积分的表达性：什么重要？》，（《软计算的进展》，第九届智能信息系统实习生研讨会论文集IIS'2000（2000），Physica-Verlag:Physica-Verlag Bystra，波兰），145-15）·Zbl 0965.68064号 [18] Eberbach，E.，（-微积分有限理性=过程代数+任何时间算法，（Misra，J.C.，《应用数学：它的观点和挑战》（2001），Narosa出版社：Narosa Publishing House New Delhi，Mumbai，Calcutta），213-22） [19] E.Eberbach，论进化计算的表现力：EC是算法吗？in：程序。2002年世界计算智能大会WCCI’2002，夏威夷州火奴鲁鲁，2002年，第564-569页；E.Eberbach，《论进化计算的表现力：EC算法吗？in：程序。2002年世界计算智能大会WCCI’2002，夏威夷州火奴鲁鲁，2002年，第564-569页 [20] Eberbach，E.，Entscheidungsproblem可解吗？《超越图灵机器的不确定性及其对计算机科学和数学的影响》（Misra，J.C.，《计算数学、建模和算法》（2003），纳罗莎出版社：新德里纳罗莎出版公司），1-32 [21] E.Eberbach，关于递归可枚举语言的无自由午餐定理和平凡性质之间的联系，见：Proc。2003年进化计算大会CEC’2003，第4卷，澳大利亚堪培拉，2003年，第2611-2618页；E.Eberbach，关于递归可枚举语言的无自由午餐定理和平凡性质之间的联系，见：Proc。2003年进化计算大会CEC’2003，第4卷，澳大利亚堪培拉，2003年，第2611-2618页 [22] Eberbach，E。；Wegner，P.，Beyond Turing machines，欧洲理论计算机科学协会公报（EATCS Bulletin），81，279-304（2003）·Zbl 1169.68409号 [23] E.Eberbach，Ch.Duarte，Ch.Buzzell，G.Martel，一种用于控制多辆自动驾驶汽车和分布式问题解决的便携式语言，在：Proc。第二个实习生。计算智能、机器人和自治系统CIRAS’03会议，新加坡，2003年12月15日至18日；E.Eberbach，Ch.Duarte，Ch.Buzzell，G.Martel，用于控制多自动车辆和分布式问题解决的便携式语言，见：Proc。第二个实习生。计算智能、机器人和自治系统CIRAS’03会议，新加坡，2003年12月15日至18日 [24] Eberbach，E。；Goldin，D。；Wegner，P.，Turing的计算思想和模型，（Teuscher，Ch.，Alan Turing:伟大思想家的生活和遗产（2004），Springer-Verlag），159-194 [25] E.Eberbach，A.Eberbach-On Designing CO（T：基于进化计算和任何时间算法的分布式问题解决的新方法和编程环境），收录于：Proc.2004 Congress On evolutionary computation CEC'2004，vol.2，Portland，OR，2004，pp.1836-1843；E.Eberach，A.Ebebach，On Description CO（2004年进化计算大会，第2卷，俄勒冈州波特兰，2004，第1836-1842页；E.EbarbachT： 基于进化计算和anytime算法的分布式问题求解的新方法和编程环境，见：Proc。2004年进化计算大会CEC’2004，第2卷，俄勒冈州波特兰，2004年，第1836-1843页 [26] Eberbach，E.，（-有限理性主体的演算：交互系统中有限资源下搜索的柔性优化，《信息基础》，68，1-2，47-102（2005）·Zbl 1098.68087号 [27] Eberbach，E.，走向进化计算理论，生物系统，82，1，1-19（2005） [28] E.Eberbach，表达的\（\pi\）；E.Eberbach，（pi）的表达 [29] Hamkins，J.D.，《无限时间图灵机：超级任务计算》，《思维与机器》，12，4，521-539（2002）·Zbl 1030.68036号 [30] Garzon，M.，《大规模并行模型：细胞自动机和神经网络分析》（1995），EATCS系列：EATCS Springer-Verlag系列·Zbl 0844.68041号 [31] D.Goldin，《作为交互计算模型的持久图灵机》，FoIKS'00，科特布斯，德国，2000年；D.Goldin，《作为交互计算模型的持久图灵机》，FoIKS'00，科特布斯，德国·Zbl 0961.68048号 [32] D.Goldin、S.Smolka、P.Wegner，《图灵机器、转换系统和交互》，摘自：第八届并行表达国际研讨会，丹麦奥尔堡，2001年8月；D.Goldin，S.Smolka，P.Wegner，图灵机、过渡系统和交互，在：第八届并发表达国际研讨会，丹麦阿尔堡，2001年8月·Zbl 1260.68267号 [33] Golumbic，M.Ch.，《算法图论与完美图》（1980），学术出版社·Zbl 0541.05054号 [34] 哈特，体育。；新泽西州尼尔森。；Raphael，B.，启发式确定最小成本路径的正式基础，IEEE系统科学与控制论汇刊，SSC-4100-107（1968） [35] He，J。；姚，X.，《用于估计进化算法计算时间的漂移分析研究》，自然计算，3，21-35（2004）·Zbl 1074.68062号 [36] 霍尔，C.A.R.，通信顺序过程（1985），普伦蒂斯·霍尔·Zbl 0637.68007号 [37] 霍普克罗夫特，J.E。；Motwani，R。；Ullman，J.D.，《自动机理论、语言和计算导论》（2001），Addison-Wesley·Zbl 0980.68066号 [38] E.Horvitz，关于计算资源约束下的信念和行动的推理，在：Proc。1987年人工智能不确定性研讨会，华盛顿州西雅图，1987年；E.Horvitz，《计算资源约束下信念和行为的推理》，摘自：Proc。1987年在华盛顿西雅图举办的人工智能不确定性研讨会 [39] 霍维茨，E。；Zilberstein，S.，有限资源下的计算权衡。有限资源下的计算权衡，人工智能，126，1-196（2001） [40] Koza，J.，《遗传编程I》（1992），麻省理工学院出版社·Zbl 0850.68161号 [41] Koza，J.，《遗传编程II》（1994），麻省理工学院出版社·Zbl 0850.68160号 [42] Koza，J.，《遗传编程III》（1999），麻省理工学院出版社·Zbl 1012.68663号 [43] Kozen，D.C.，《自动化与可计算性》（1997），斯普林格·弗拉格·Zbl 0883.68055号 [44] Kuratowski，K.，《集合论与拓扑导论》（1977），波兰公共图书馆：华沙公共图书馆·Zbl 0367.28001号 [45] Michalewicz，Z。；Fogel，D.B.，《如何解决：现代启发式》（2000），斯普林格·弗拉格出版社·Zbl 0943.90002号 [46] Milner，R.，（通信系统的微积分，通信系统的演算，计算机科学选注，第94卷（1980），Springer-Verlag）·Zbl 0452.68027号 [47] R.Milner，J.Parrow，D.Walker，移动进程演算，众议员ECS-LFCS-89-85和-86，爱丁堡大学计算机科学系计算机科学基础实验室，1989年；R.Milner，J.Parrow，D.Walker，移动进程演算，众议员ECS-LFCS-89-85和-86，爱丁堡大学计算机科学系计算机科学基础实验室，1989年 [48] 米尔纳，R。；帕罗，J。；Walker，D.，移动过程微积分，I&II，信息与计算，100，1-77（1992）·Zbl 0752.68037号 [49] Milner，R.，交互元素，美国计算机学会通讯，36，1，78-89（1993） [50] Milner，R.，《并发过程的操作和代数语义》（van Leeuwen，J.，《理论计算机科学手册》，《理论计算科学、形式模型和语义手册》，B卷（1994），Elsevier和麻省理工出版社），1203-1242·Zbl 0900.68217号 [51] Milner，R.，《通信和移动系统：（pi）-微积分》（1999），剑桥大学出版社·Zbl 0942.68002号 [52] A.纽厄尔。；Simon，H.，GPS，一个模拟人类思维的程序，（Billing，H.、Lernende Automaten（1961），R.Oldenbourg:R.Oldenbourg Munich），109-124 [53] （Plotkin，G.；Stirling，C.；Tofte，M.，《证明、语言与互动：纪念罗宾·米尔纳的论文》（2000），麻省理工出版社）·Zbl 0968.68018号 [54] Post，E.，递归不可解问题的变体，美国数学学会公报，52，264-268（1946）·Zbl 0063.06329号 [55] Refenes，A.N。；Eberbach，E。；南卡罗来纳州麦凯布。；Trelevan，P.C.，（PARLE:集成符号和数字处理的并行目标语言。PARLE:A Parallel Target Language for Integrated Symbolic and Numerical Processing，LNCS 366，vol.II（1989），Springer-Verlag），181-198 [56] 罗素，S。；Norvig，P.，《人工智能：现代方法》（2003），Prentice-Hall [57] 罗素，S。；《做正确的事：有限理性研究》（1991年），麻省理工学院出版社 [58] Siegelmann，H.，《神经网络和模拟计算：超越图灵极限》（1999），Birkhauser·Zbl 0912.68161号 [59] Simon，H.A.，《人工科学》（1996），麻省理工学院出版社 [60] Thomas，W.，《无限对象上的自动机》（van Leeuwen，J.，《理论计算机科学手册》，第B卷（2000）），131-191·Zbl 0900.68316号 [61] 图灵，A.，《关于可计算的数字及其在Entscheidungsproblem中的应用》，《伦敦数学学会学报》，42，2，230-265（1936），A correction，A.图灵，《关于可以计算的数字，及其在Entscheidungsproblem中应用》43（1937）544-546 [62] 图灵，A.，《基于序数的逻辑系统》，伦敦数学学会学报系列2，45，161-228（1939）·Zbl 0021.09704号 [63] 图灵，A.，《智能机械》（Ince，D.C.，A.M.图灵文集：机械智能（1992），爱思唯尔科学）·兹伯利0219.68052 [64] Wegner，P.，《为什么交互比算法更强大》，《ACM通信》，第40、5、81-91页（1997年） [65] Wegner，P.，《交互式计算基础》，理论计算机科学，192315-351（1998）·兹伯利0897.68041 [66] 韦格纳，P。；Eberbach，E.，《新计算模型》，《计算机杂志》，47，1，4-9（2004）·Zbl 1090.68044号 [67] 怀特黑德，A.N。；Russell，B.（数学原理，第1卷（1910），剑桥大学出版社：剑桥大学出版社伦敦），第2卷（1912），第3卷（1913） [68] Wolpert，D.H。；Macready，W.G.，优化的无免费午餐定理，IEEE进化计算汇刊，1，1，67-82（1997） [69] Wolpert，D.H。；Tumer，K.，《集体智能导论》（Bradshaw，J.M.，《Agent技术手册》（2000），AAAI出版社/麻省理工学院出版社）·兹伯利1056.68113 [70] Van Leeuwen，J。；Wiedermann，J.，《当代计算中的图灵机器范式》（Enquist，B.；Schmidt，W.，《数学无限-2001年及以后》，《数学无极限-2001年及其以后》，LNCS（2000），Springer-Verlag）·Zbl 1012.68068号 [71] 冯·诺依曼，J。；Morgenstern，O.，《博弈论与经济行为》（1944），普林斯顿大学出版社·兹比尔0063.05930 [72] J.Von Neumann，《自我复制自动机理论》，伊利诺伊大学出版社，1966年（由Burks A.W.编辑和完成）；J.Von Neumann，《自我复制自动机理论》，伊利诺伊大学出版社，1966年（由Burks A.W.编辑和完成） [73] S.Zilberstein，《通过随时算法的汇编实现操作理性》，加州大学伯克利分校博士论文，1993年；S.Zilberstein，《通过编译任何时间算法实现操作合理性》，加州大学伯克利分校博士论文，1993年 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。