朱塞佩·德贾科莫;阿方索·埃米利奥·杰雷维尼;法比奥·帕特里齐;亚历山德罗·萨埃蒂;塞巴斯蒂安·萨迪纳 代理规划程序。 （英语） 兹比尔1344.68245 Artif公司。智力。 231, 64-106 (2016)。 小结：这项工作提出了一个新的高级范式，代理规划程序用于建模代理行为，它将自动规划与面向代理的编程相结合。代理规划程序是有限状态程序，可能包含循环，其原子指令由保护、维护目标和实现目标组成，在程序规范中充当前提不变的后条件断言。这些程序将在可能不确定的规划域中执行，执行这些程序需要生成满足原子指令中指定目标的计划，同时尊重程序控制流。在本文中，我们定义了自动合成执行代理规划程序所需计划的问题，提出了一种基于两层博弈结构模型检查的解决方法，并使用它将问题的最坏计算复杂性表征为EXPTIME-complete。然后，我们考虑确定性域的情况，提出了一种不同的求解agent规划程序的技术，该技术基于迭代求解经典规划问题，并利用目标偏好和规划自适应方法。最后，我们通过对著名规划领域的实验分析，研究了该方法在确定性领域的有效性。 引用于2文件 MSC公司： 68T42型 Agent技术与人工智能 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：面向agent编程;自动化规划;关于行动和变化的推理;反应体系的合成 软件：NuSMV公司;代理峰值;图规划;康戈洛格;2APL公司;高尔夫;JTLV公司;IndiGolog公司;RATSY公司 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人，Artif。因特尔。231、64-106（2016年；Zbl 1344.68245） 全文： 内政部 参考文献： [1] 阿鲁尔（Alur，R.）。；Torre，S.L.，LTL碎片的确定性生成器和游戏，ACM Trans。计算。日志。，5, 1, 1-25 (2004) ·Zbl 1366.03181号 [2] Bacchus，F.，AIPS’00计划竞赛，AI Mag.，22，47-56（2001） [3] 巴克斯，F。；Kabanza，F.，《使用时序逻辑表达规划的搜索控制知识》，Artif。智力。，116, 1-2, 123-191 (2000) ·Zbl 0939.68827号 [4] Bäckström，C。；Nebel，B.，《SAS+规划的复杂性结果》，计算。智力。，11, 4, 1-34 (1995) [5] Baier，J.A。；弗里茨，C。；McIlraith，S.A.，在最先进的规划者中利用程序领域控制知识，（国际自动化规划和调度会议记录。国际自动化规划和调度会议记录，ICAPS（2007）），26-33 [6] Baier，J.A。；巴克斯，F。；McIlraith，S.A.，《利用时间扩展偏好进行规划的启发式搜索方法》，Artif。智力。，173, 5-6, 593-618 (2009) ·兹比尔1191.68623 [7] Belardinelli，F。；Lomuscio，A。；Patrizi，F.，《用于验证以人工为中心的系统的抽象技术》（《知识表示与推理原则国际会议论文集》（KR）（2012）），319-328 [8] Berardi，D。；Calvanee，D。；德贾科莫，G。；Lenzerini，M。；Mecella，M.，《导出其行为的电子服务的自动组合》（《面向服务计算国际会议论文集》，《面向服务的计算国际会议文献集》，ICSOC（2003）），43-58 [9] 贝尔托利，P。；皮斯托尔，M。；Traverso，P.，通过异步域中的规划自动组合web服务，Artif。智力。，174, 3-4, 316-361 (2010) [10] 布隆，R。；Cimatti，A。；格雷梅尔，K。；Hofferek，G。；Könighfer，R。；Roveri，M。；V.舒潘。；Seeber，R.，Ratsy——一种新的综合需求分析工具，（《计算机辅助验证国际会议论文集》，计算机辅助验证问题国际会议论文，CAV（2010）），425-429 [11] 布隆，R。；Jobstmann，B。；北卡罗来纳州皮特曼。；普努利，A。；Sa’ar，Y.，《反应（1）设计的合成》，J.Compute。系统。科学。，78, 3, 911-938 (2012) ·Zbl 1247.68050号 [12] Blum，A.L。；Furst，M.L.，《通过规划图分析快速规划》，Artif。智力。，90, 1-2, 281-300 (1997) ·Zbl 1017.68533号 [13] 博内，B。；帕拉西奥斯，H。；Geffner，H.，使用经典规划师自动推导无记忆策略和有限状态控制器，（《国际自动规划与调度会议论文集》，国际自动化规划与调度大会论文集，ICAPS（2009）），190-197 [14] Bratman，M.E.，《意图、计划和实际原因》（1987），哈佛大学出版社 [15] 布拉特曼，M.E。；以色列，D.J。；Pollack，M.E.，《计划与资源基础的实践推理》，《计算》。智力。，4, 3, 349-355 (1988) [16] Burch，J.R。；克拉克，E.M。；McMillan，K.L。；迪尔，D.L。；Hwang，L.J.，符号模型检查：（10^{20}）状态及其以外，Inf.Comput。，98, 2, 142-170 (1992) ·Zbl 0753.68066号 [17] 卡瓦达，R。；Cimatti，A。；Roveri，M。；V.舒潘。；Tchaltsev，A.（2010），NuGaT游戏求解器主页 [18] 卡瓦扎，M。；查尔斯·F。；Mead，S.J.，基于角色的交互式故事讲述，IEEE Intell。系统。，17, 4, 17-24 (2002) [19] Ceriani，L。；Gerevini，A.，《通过汇编成带行动成本的STRIPS实现始终偏好和软目标的规划》（第八届组合搜索国际年度研讨会论文集（2015）），161-165 [20] Cimatti，A。；克拉克，E。；Giunchiglia，E。；Giunchiglia，F。；皮斯托尔，M。；Roveri，M。；塞巴斯蒂亚尼，R。；Tacchella，A.，NuSMV 2:符号模型检查的开源工具，（《计算机辅助验证国际会议论文集》，计算机辅助验证问题国际会议论文，CAV（2002）），359-364·兹比尔1010.68766 [21] Cimatti，A。；克拉克，E.M。；Giunchiglia，F。；Roveri，M.，NUSMV：一种新的符号模型检查器，Int.J.Softw。技术工具。Transf公司。（STTT），2，4，410-425（2000）·Zbl 1059.68582号 [22] Cimatti，A。；Roveri，M。；Traverso，P.，《基于OBDD的非确定性领域通用计划自动生成》，（《全国人工智能会议论文集》，美国人工智能学会（1998），875-881 [23] 科恩，P.R。；Levesque，H.J.，意图是有承诺的选择，Artif。智力。，42, 213-261 (1990) ·兹比尔0721.03017 [24] Dastani，M.，2APL：一种实用的代理编程语言Auton。代理多代理系统。，16、3、214-248（2008年6月） [25] Dastani，M。；van Riemsdijk，B。；Meyer，J.-J.，代理编程中的目标类型，（《自治代理和多代理系统国际会议论文集》，《自治代理与多代理系统问题国际会议论文录》，AAMAS（2006）），1285-1287 [26] de Boer，F.S。；Hindriks，K.V。；范德霍克，W。；Meyer，J.-J.，《具有声明性目标的代理编程验证框架》，J.Appl。日志。，5, 2, 277-302 (2007) ·Zbl 1122.68078号 [27] 德贾科莫，G。；迪奇西奥，C。；Felli，P。；胡，Y。；Mecella，M.，智能家居状态服务的基于目标的组合，（《走向有意义的互联网系统：OTM 2012》，联合会国际会议：CoopIS、DOA-SVI和ODBASE 2012（2012）），194-211 [28] 德贾科莫，G。；Lespérance，Y。；Levesque，H.J.，ConGolog，一种基于情境演算的并发编程语言，Artif。智力。，121, 1-2, 109-169 (2000) ·Zbl 0948.68175号 [29] 德贾科莫，G。；Lespérance，Y。；Levesque，H.J。；Sardina，S.，IndiGolog:嵌入式推理代理的高级编程语言，（Bordini，R.H.；Dastani，M.；Dix，J.；Fallah-Seghrouchni，a.E.，《多代理编程：语言、平台和应用》（2009），Springer），31-72，（ch.2） [30] 德贾科莫，G。；Lespérance，Y。；Patrizi，F.，《有界情境演算行动理论与可判定验证》（《知识表示与推理原则国际会议论文集》（KR）（2012）），467-477 [31] 德贾科莫，G。；Lespérance，Y。；Patrizi，F。；Vassos，S.，有限情境演算中感知在线执行的LTL验证，（《欧洲人工智能会议论文集》，欧洲人工智能大会论文集，ECAI（2014）），369-374·Zbl 1366.68340号 [32] 德贾科莫，G。；Lespérance，Y。；帕特里齐，F。；Vassos，S.，《具有有限信念的情境演算代理的进展与验证》，（《自治代理和多代理系统国际会议论文集》，《自治代理与多代理系统问题国际会议论文录》，美国原子能机构协会（2014）），141-148 [33] 德贾科莫，G。；Patrizi，F。；Felli，P。；Sardina，S.，《用于广义规划和代理组合的双人游戏结构》，（《全国人工智能会议论文集》，美国人工智能学会（2010），297-302 [34] 德贾科莫，G。；帕特里齐，F。；Sardina，S.，通过规划程序进行Agent编程，（《自治代理和多代理系统国际会议论文集》，《自治代理与多代理系统问题国际会议论文录》，AAMAS（2010），491-498 [35] 德贾科莫，G。；Patrizi，F。；Sardina，S.，《自动行为合成》，Artif。智力。，196, 106-142 (2013) ·Zbl 1270.68329号 [36] 德贾科莫，G。；Vardi，M.Y.，规划临时扩展目标的自动机理论方法，（《欧洲规划会议记录》。《欧洲规划会议记录》，ECP。《欧洲规划会议记录》。《欧洲规划会议记录》，ECP，《计算机科学讲义》，第1809卷（1999年），施普林格出版社），226-238 [37] 绝望，O。；Ingrand，F.F.，《Propice-plan：走向统一的规划和执行框架》，（《欧洲规划会议记录》，《欧洲规划大会记录》，欧洲规划会议，欧洲规划大会，欧洲规划学会，计算机科学讲稿，第1809卷（1999），施普林格），278-293 [38] Dijkstra，E.W.，编程学科（1976），普伦蒂斯·霍尔·Zbl 0368.68005号 [39] 迪克斯·J。；穆尼奥斯·阿维拉，H。；Nau，D.S。；张，L.，《影响商店：将人工智能规划师放入多智能体环境》，Ann.Math。Artif公司。智力。，37, 4, 381-407 (2003) ·Zbl 1010.68171号 [40] Edelkamp，S.，《关于计划约束和偏好的汇编》，（自动化规划和调度国际会议论文集，自动化规划与调度国际会议文献集，ICAPS（2006）），374-377 [41] Emerson，E.A.，《时间和模态逻辑》（van Leeuwen，J.，《理论计算机科学手册》，第B卷（1990），麻省理工学院出版社），995-1072·Zbl 0900.03030号 [42] Floyd，R.W.，《非确定性算法》，J.ACM，14，4，636-644（1967）·Zbl 0153.47006号 [43] Gerevini，A。；哈斯鲁姆，P。；Long，D。；Saetti，A。；Dimopoulos，Y.，《第五届国际规划竞赛中的决定性规划：PDDL3和规划师的实验评估》，Artif。智力。，173, 5-6, 619-668 (2009) ·Zbl 1191.68634号 [44] Gerevini，A。；Patrizi，F。；Saetti，A.，实现规划程序的有效方法，（《国际自动化规划与调度会议记录》，《国际自动化规划与调度会议记录》，ICAPS（2011）），323-326 [45] Gerevini，A。；Saetti，A。；Serina，I.，《通过随机局部搜索和时间动作图进行规划》，J.Artif。因特尔。研究（JAIR），20，239-290（2003）·兹比尔1058.68103 [46] 加拉布，M。；Nau，D.S。；Traverso，P.，《自动化规划：理论与实践》（2004年5月），摩根考夫曼出版社·Zbl 1074.68613号 [47] 加拉布，M。；Nau，D.S。；Traverso，P.，《演员对自动规划和表演的看法：立场文件》，Artif。智力。，208, 1-17 (2014) [48] 金斯伯格，M.L.，《普遍规划：一个（几乎）普遍的坏主意》，AI Mag.，10，41-44（1989） [49] （Grädel，E.；Thomas，W.；Wilke，T.，《自动化、逻辑和无限游戏：当前研究指南》。《自动化、逻辑学与无限游戏：当代研究指南》，《计算机科学（LNCS）课堂讲稿》，第2500卷（2002年），斯普林格出版社）·Zbl 1011.00037号 [50] 霍尔，K.H。；Staron，R.J。；Vrba，P.，《全息和基于代理的控制系统的经验及其在工业中的应用》，（holonic和Multi-agent systems for Manufacturing。holonic and Multi-agent System for Manufacturing，计算机科学（LNCS）课堂讲稿，第3593卷（2005），Springer），1-10 [51] 哈里里，B.B。；Calvanee，D。；德贾科莫，G。；Deutsch，A。；Montali，M.，《带外部服务的关系型数据中心动态系统验证》，（ACM数据库系统原理研讨会，ACM数据库原理研讨会，PODS（2013）），163-174 [52] Helal，S。；曼恩·W。；El-Zabadani，H。；金·J。；Y.卡杜拉。；Jansen，E.，《Gator Tech智能屋：可编程的普及空间》，《计算机》，38，3（2005） [53] Helmert，M.，《快速下行规划系统》，J.Artif。因特尔。研究（JAIR），26，191-246（2006）·Zbl 1182.68245号 [54] （Helmert，M.；Do，M.，Refanidis，I.，《第六届国际规划竞赛IPC6：决定性部分》（2008）） [55] Hoare，C.A.，计算机编程的公理基础，Commun。ACM，第12、10页（1969年）·Zbl 0179.23105号 [56] 霍夫曼，J。；Edelkamp，S.，《IPC-4的确定性部分：概述》，J.Artif。因特尔。研究（JAIR），24519-579（2005）·Zbl 1080.68669号 [57] 霍夫曼，J。；Nebel，B.，FF计划系统：通过启发式搜索快速生成计划，J.Artif。因特尔。研究（JAIR），14，253-302（2001）·Zbl 0970.68044号 [58] Hübner，J.F。；Bordini，R.H。；Wooldridge，M.，《使用计划模式编程声明性目标》，（声明性代理语言和技术国际研讨会论文集）。声明性代理语言和技术国际研讨会论文集，计算机科学讲稿，第4327卷（2006），施普林格出版社，123-140 [59] （Jiménez，S.；Coles，A.，第七届国际规划竞赛IPC7：学习部分（2011）） [60] Jobstmann，B。；加勒，S。；Weiglhofer，M。；Bloem，R.，Anzu:一种性能合成工具，（《计算机辅助验证国际会议论文集》，计算机辅助验证世界会议论文集，CAV（2007）），258-262 [61] 卡班扎，F。；Thiébaux，S.，《规划临时扩展目标时的搜索控制》，（自动化规划和调度国际会议论文集，自动化规划和时间表国际会议论文集中，ICAPS（2005）），130-139 [62] Keyder，E。；杰夫纳，H.，软目标可以被编辑掉，J.阿蒂夫。因特尔。研究（JAIR），36，547-556（2009）·Zbl 1185.68644号 [63] Koehler，J。；Nebel，B。；霍夫曼，J。；Dimopoulos，Y.，《将规划图扩展到ADL子集》（1997），德国弗莱堡信息研究所，技术报告88 [64] 库特，美国。；Nau，D.S。；Reisner，E。；Goldman，R.P.，《使用经典规划师解决非确定性规划问题》，（《国际自动规划与调度会议论文集》，国际自动化规划与调度大会论文集，ICAPS（2008）），190-197 [65] 美国拉戈。；皮斯托尔，M。；Traverso，P.，《用扩展目标的语言进行规划》，（《全国人工智能会议论文集》，美国人工智能学会（2002），447-454 [66] Lespérance，Y。；Levesque，H.J。；林，F。；Marcu，D。；Reiter，R。；Scherl，R.B.，代理编程逻辑方法的基础，（代理理论、架构和语言国际研讨会论文集。代理理论、构架和语言国际会议论文集，安乐（1995）），331-346 [67] 莱维斯克，H.J。；Reiter，R.，《高级机器人控制：超越计划》。立场文件（AIII 1998年春季研讨会：集成机器人研究：实现下一次大跃进（1998）），106-108 [68] Levesque，H.J。；Reiter，R。；Lespérance，纽约州。；林，F。；Scherl，R.B.，GOLOG:一种用于动态域的逻辑编程语言，J.Log。程序。，31, 59-84 (1997) ·Zbl 0880.68008号 [69] Littman，M.L.，《概率命题规划：表示与复杂性》，（《全国人工智能会议论文集》，美国人工智能学会（1997），748-754 [70] Long，D。；Fox，M.，《第三届国际规划竞赛：结果与分析》，J.Artif。因特尔。研究（JAIR），20，1-59（2003）·Zbl 1036.68097号 [71] McDermott，D.，1998年AI规划系统竞赛，AI Mag.，21，35-55（2000） [72] McIlraith，美国。；Son，T.C.，将Golog应用于语义web服务的组合，（知识表示和推理原则国际会议论文集（KR）（2002）），482-493 [73] McMillan，K.L.，《符号模型检验——状态爆炸问题的方法》（1992），卡内基梅隆大学，TR CMU-CS-92-131 [74] Meyer，B.，应用“合同设计”，IEEE计算。，25, 10, 40-51 (1992) [75] Milner，R.，《程序间模拟的代数定义》（《国际人工智能联合会议论文集》，国际人工智能会议论文集，IJCAI（1971）），481-489 [76] 马斯切尔，A。；Walukiewicz，I.，web服务组合的下限， （《软件科学和计算结构基础国际会议论文集》，《软件科学基础和计算结构国际会议论文录》，FoSSaCS软件科学和计算结构基础国际会议，FoSSaCS，计算机科学讲稿（LNCS），第4423卷（2007），Springer），274-286·Zbl 1195.68067号 [77] Nebel，B。；Koehler，J.，《计划重用与计划生成：理论和实证分析》，Artif。智力。，76, 1-2, 427-454 (1995) [78] 保卢奇，M。；Kalp，D。；潘努，A。；O.Shehory。；Sycara，K.，RETSINA代理的规划组成部分，（代理理论、架构和语言国际研讨会论文集。代理理论、构架和语言国际会议论文集，安乐（1999）），147-161·Zbl 0970.68607号 [79] 皮斯托尔，M。；Traverso，P.，《规划作为非确定性领域扩展目标的模型检验》，（《国际人工智能联合会议论文集》，国际人工智能联席会议论文集，IJCAI（2001）），479-484 [80] 北卡罗来纳州皮特曼。；普努利，A。；Sa’ar，Y.，反应性（1）设计的合成， （《国际验证、模型检验和抽象解释会议记录》。《国际验证、模型检验和抽象解释会议记录》，VMCAI。《国际验证、模型检验和抽象解释会议记录》验证、模型检验和抽象解释国际会议，VMCAI，计算机科学（LNCS）讲稿，第3855卷（2006），Springer），364-380·Zbl 1176.68126号 [81] Pnueli，A.，程序的时序逻辑，（计算机科学基础年度研讨会论文集。计算机科学基础年会论文集，FOCS（1977）），46-57 [82] 普努利，A。；Rosner，R.，《关于反应式模块的合成》，（《ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，《ACM SIMPLAN-SIGACT编程语言原理会议论文集》（1989）），179-190年 [83] 普努利，A。；萨尔，Y。；Zuck，L.D.，《JTLV：开发验证算法的框架》，（《计算机辅助验证国际会议论文集》，CAV（2010），171-174 [84] 普努利，A。；Shahar，E.，将演绎与算法验证相结合的平台，（《国际计算机辅助验证会议论文集》，计算机辅助验证国际会议论文集，CAV（1996）），184-195 [85] 波蒂厄斯，J。；卡瓦扎，M。；Charles，F.，《通过人物视角的叙事生成》，（《国际自治代理和多代理系统会议论文集》，国际自治代理与多代理系统大会论文集，AAMAS（2010）），1297-1304 [86] 拉米雷斯，M。；亚达夫，N。；Sardina，S.，作为完全可观察的非确定性规划的行为构成，（《国际自动规划和调度会议论文集》，国际自动规划与调度会议论文，ICAPS（2013）），180-188 [87] Rao，A.S.，Agentspeak（L）：BDI代理用逻辑可计算语言说话，（欧洲多代理世界中自治代理建模研讨会论文集（代理分离））。《多智能体世界中的自主智能体建模欧洲研讨会论文集》（Agents Breaking Away），《计算机科学讲义》（LNCS），第1038卷（1996年），施普林格出版社，42-55 [88] Reiter，R.，《行动中的知识》。《指定和实现动态系统的逻辑基础》（2001），麻省理工学院出版社·Zbl 1018.03022号 [89] 里希特，S。；Westphal，M.，《LAMA规划师：使用地标指导基于成本的任何时间规划》，J.Artif。因特尔。研究（JAIR），39，127-177（2010）·Zbl 1205.68383号 [90] Rintanen，J.，《具有部分可观测性的规划复杂性》，（《国际自动化规划与调度会议论文集》，国际自动规划与调度大会论文集，ICAPS（2004）），第345-354页 [91] 萨迪纳，S。；Padgham，L.，一种具有故障恢复、声明性目标和规划的BDI代理编程语言，Auton。代理多代理系统。，23, 1, 18-70 (2011) [92] Schoppers，M.J.，《不可预测环境中反应机器人的通用计划》（《国际人工智能联合会议论文集》，国际人工智能联席会议论文集，IJCAI（1987）），1039-1046 [93] 沙帕劳，D。；皮斯托尔，M。；Traverso，P.，《融合非确定性领域的程序性和声明性规划目标》，（《全国人工智能会议论文集》，《国家人工智能会议文献集》，AAAI（2008）），983-990 [94] Shivashankar，V。；阿尔福德，R。；库特，美国。；Nau，D.，《GoDeL规划系统：一个更完美的领域相关和层级规划的结合》，（《国际人工智能联合会议论文集》，国际人工智能联席会议论文集，IJCAI（2013），AAAI出版社），2380-2386 [95] Shivashankar，V。；库特，美国。；Nau，D。；Alford，R.，单智能体规划的基于层次目标的形式主义和算法，（国际自主智能体和多智能体系统会议记录。国际自主智能体和多智能体系统会议记录，AAMAS（2012）），981-988 [96] Shivashankar，V。；库特，美国。；Nau，D.，《分层目标网络规划：初步结果》（2011年），马里兰大学：德国马里兰弗莱堡大学，技术报告CS-TR-4983 [97] Shoham，Y.，《面向代理编程概述》（Bradshaw，J.M.，《软件代理》（1997），麻省理工学院出版社），271-290 [98] 斯里瓦斯塔瓦，S。；Immerman，N。；Zilberstein，S.，广义规划的新表示和相关算法，Artif。智力。，175, 2, 615-647 (2011) ·Zbl 1216.68253号 [99] 范德阿尔斯特，W.M.P。；ter Hofstede，A.H.M。；Weske，M.，《业务流程管理：一项调查》，（《国际业务流程管理会议论文集》，《国际业务过程管理会议论文录》，BPM（2003）），第1-12页 [100] van Riemsdijk，B。；达斯塔尼，M。；Dignum，F。；Meyer，J.-J.，《代理编程中声明性目标的动态》（declarative agent Languages and Technologies（DALT）国际研讨会论文集）。声明性代理语言和技术国际研讨会论文集，计算机科学讲稿，第3476卷（2005），施普林格出版社，1-18 [101] van Riemsdijk，B。；Dastani，M。；Meyer，J.-J.，《代理编程中声明性目标的语义》，（《自治代理和多代理系统国际会议论文集》，《自治代理与多代理系统世界会议论文集，AAMAS（2005）》），133-140 [102] Vardi，M.Y.，线性时序逻辑的自动机理论方法，（并发逻辑：结构与自动机。并发逻辑：结构化与自动机，计算机科学（LNCS）课堂讲稿，第1043卷（1996），Springer），238-266 [103] Walczak，A。；布劳巴赫，L。；Pokahr，A。；Lamersdorf，W.，《使用慎重规划技术增强BDI代理》（Programming Multiagent Systems Languages，Frameworks，techniques and Tools Workshop.程序设计多代理系统语言、框架、技术和工具研讨会论文集，PROMAS（2006）），113-127 [104] 威尔金斯，D.E。；Myers，K.L.，《计划生成和反应式执行的通用知识表示》，J.Log。计算。，5, 6, 731-761 (1995) ·Zbl 0960.68669号 [105] 威尔金斯，D.E。；Myers，K.L。；劳伦斯，J.D。；Wesley，L.P.，《不确定和动态环境中的规划和反应》，J.Exp.Theor。Artif公司。智力。，7, 1, 197-227 (1995) ·Zbl 0939.68834号 [106] 威廉姆斯，B.C。；医学博士英格姆。；Chung，S.H。；Elliott，P.H.，智能嵌入式系统和机器人太空探险者的基于模型的编程，Proc。IEEE，91，1，212-237（2003），嵌入式软件建模与设计专刊 [107] Wolper，P.，《关于程序和计算与时序逻辑模型的关系》，（规范中的时序逻辑（1987）），75-123 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。