{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[2022,4,5]]，“日期-时间”：“2022-04-05T13:52:43Z”，“时间戳”：1649166763952}，“引用-计数”：39，“发布者”：“世界科学出版社私人有限公司”，“问题”：“06”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”short集装箱运输”：[“国际J。Artif公司。智力。工具“]”，“published-print”：{“date-parts”：[[2015,12]]}，“abstract”：“自动规划工具可以成为为各种日常电器构建控制系统的宝贵帮助。许多与现实世界相互作用的系统呈现出非确定性行为，往往因非线性连续动力学而变得更加复杂。在这种情况下，强有力的计划发挥着重要作用，它要求找到一个能够保证实现目标的计划，而不管其是否具有非决定性。随着对优化资源使用的需求不断增加，找到强有力的解决方案，同时将成本函数降至最低，这似乎是一项重大的研究挑战，而这在以前是没有解决的<\/jats:p>本文给出了成本最优强规划问题的形式化描述，并提出了一种算法来解决该问题。对算法的正确性和完整性进行了形式化证明，并描述了其在基于磁盘的SUPMurphi工具中的实现。最后，通过两个有意义的案例研究，与先进的强大规划工具相比，证明了所提方法的有效性<\/jats:p>“，”DOI“：”10.1142\/s0218213015500256“，”type“：”journal-article“，”created“：{”date-parts“：[[2015,6,2]，”date-time“：”2015-06-02T16:28:08Z“，”timestamp“：1433262488000}，”page“：142“，”卷“：”24“，”作者“：[{”given“：”Giuseppe Della“，”family“：”Penna“，”sequence“：”first“，”affiliation“：”L'Aquila大学信息工程、计算机科学和数学系，Via Vetoio，67100 Coppito，L'Aquela，Italy“}]}，{”给定“：”Bedenetto“，”家族“：”Intrigila“意大利罗马托尔韦加塔大学企业工程系“}]}，{“given”：“Daniele”，“family”：“Magazzeni”，“sequence”：“additional”，“affiliation”：[{“name”：“英国伦敦WC2R 2LS国王学院伦敦斯特兰德信息学系”}，}“giving”：“Fabio”，“家族”：“Mercorio”，“序列”：“additional”、“affidiation”：“[{”name“：”统计和定量方法系\u2013 C.R.I.S.P.研究中心，米兰比科卡大学，意大利米兰“}]}]，“成员”：“219”，“在线发布”：{“日期部分”：[[2015,12,22]]}，“参考”：[{“密钥”：“P_1”，“doi断言者”：“publisher”，“doi”：“10.1145\/7760.77615”}，{“密钥”：“P_3”，“doi断言者”：“publisher”，“doi”：“10.1109\/37.24809“}，{“key”：“p_7”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.artint.2006.01.004”}，“{“key”：“p_11”，“doi-asserte-by”：“publisher”，“DI:”10.1023\/A:1011286518035“}”，{jair.1688“，“卷”：“24”，“作者”：“Bonet Blai”，“年份”：“2005”，“新闻标题”：“《人工智能研究杂志》“}，{”key“：”p_14“，”first page“：“141”，“volume”：“8401”，“author”：“Boselli Roberto”，“year”：“2014”，“Journal-title”：“LNCS”}，“key”：《p_16》，“doi-asserted-by”：“crossref”，”first-page:“1”，“doi”：“10.1613\/jair.575”，“volume”:“11”，“author”:“Boutiler Craig”，“year”：”：“1999”，“新闻标题”：“人工智能研究杂志“}，{”key“：”p_17“，”first page“：“58”，“volume”：“2006”，”author“：”Bryce Daniel“，”year“：”2006“，”Journal-title“：”ICAPS“}”，{“key”：”p_20“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/TRO.2007.903817”}，“key“”：“p_21”，“doi-assert-by”：“publisher”，“doi:”10.1016\/S0004-3702（02）00374-0“}，{“键”：“p_25”，“首页”：“35“，”author“：”Daniele Marco“，”year“：”2000“，”journal-title“：”UK“}，”{“key”：“p_26”，”doi-asserted-by“：”publisher“，”doi“：”10.1177\/0278364912440736“}”，{“key”：”p_29“，”first page“：”222 131“，”author“：”Penna Giuseppe Della“，”year“：”2010“，”journal-title“：”墨西哥“}，{”key“：”p_31“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s10009-005-0216-7“}、{”key“：“p_32”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/s 10009-004-0149-6”}，}“issue”：“4”，“key”：“p_33”，“first page”：”932“，”volume“”：“36”，“author”：“Penna Giuseppe Della”，“year”：“2011”，“journal-title”：“应用情报”}，{“key”：“p_35”，“first-page”：“135”，“volume“：”99“，”author“：”Edelkamp Stefan“，”year“：”1999“，”journal-title“：”ECP“}，{“key”：”p_42“，”first page“：“1”，“author”：“Giunchiglia Fausto”，“year”：“2000”，“journal-title”：“UK”}，}“keys”：“p_43”，“doi-asserted-by”：“crossref”，“first page”：“253”，“doi”：“10.1613\/jair.855”，“volume”：“14”，“作者”：“霍夫曼J\u00f6rg”，“年份”：“2001”，“新闻标题”：“人工智能研究杂志“}，{”key“：”p_45“，”doi-asserted-by“：”publisher“，”doi“：”10.1142\/S0218213007003515“}”，{“key”：“p_48”，“first page”：”393“，”volume“：“2009”，”author“：”Ilcev Stojce Dimov“，”year“：”2009“，”Journal-title“：”CriMiCo“}189“，”doi“：”10.1613\/jair.649“，”卷“：”13“，”author“：”Jensen Rune M.“，”year“：”2000“，”journal-title“：”JAIR“}，”key“：”p_51“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/S0004-3702（97）00031-3”}，{“issue”：“1”，“key”：“p_55”，“首页”：“49”，“卷”：“25”，“author”：“Kissmann-Peter”，“年份”：“2011”，“journal-title”：“KI”}、{“”key“：”p_56“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/9.273337“}，{“key”：“p_58“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s10009-004-0140-2“}，{”key“：”p_59“，”volume“：“2”，“author”：“Hector”，“journal-title”：“William J.Clancey and Daniel S.Weld”}，“key”：“p_62”，“doi-asserted-by”：“publisher”，”doi:“10.1142\/S0218213006002758”}crossref“，”首页“：”33“，”doi“：”10.1613\/jair.2269“，”volume“：”31“，”author“：”Mausam Mausam“，”year“：”2008“，”journal-title“：”journal of Artificial Intelligence Research“}，{“issue”：“2”，“key”：“p_67”，“doi-asserted-by”：“crossref”，“first-page”：“257”，“doi”：“10.3233\/AIC-130556”，“volume”：：“26”，“author”：“Mercorio Fabio”，“year”：“2013”，“journal-title”：“AI Communications”}，68“，”doi-asserted-by“：”publisher“，”DOI“：”10.1080\/01621459.1949.10483310“}，{“key”：“p_69”，“DOI-asserted-by”：“crossref”，“首页”：“27”，“DOI”：“10.1613\/jair.2529”，“卷”：“34”，“作者”：“Meuleau Nicolas”，“年份”：“2009”，“新闻标题”：“jair”}，“key“：”p_71“，”DOI-assert-by“：”publisher 145\/2641575“}，{”key“：”p_75“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1016\/S0165-0114（99）00168-2“}，{“key”：“p_77”，“首页”：“234”，“author”：“Pistore Marco”，“年份”：“2003”，“journal-title”：“DC，USA”}，}“issue”：“4”，”key“：”p_79“，”first page“41”，“volume”：”2“authors”：“Reddy Sudhakar Y.”，“year”：“2011”，“日记标题”：“ACM TIST”}、{“密钥”：“p_85“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s10514-012-9320-1“}，{”key“：”p_90“，”doi断言者“：”publisher“，”doi“：”10.1016\/j.ipm.2014.07.007“｝]，”容器标题“：[”国际人工智能工具杂志“]，”原始标题“：[]，”语言“：”en“，”链接“：[｛”URL“：”https:\/\/www.www.worldscientific.com\/doi\/pdf\/10.11142\/S021121301500256“，”内容类型“：”未指定“，”内容版本“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,9,2]，”date-time“：”2020-09-02T23:34:34Z“，”timestamp“：1599089674000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/www.worldscience.com\/doi\/abs\/10.1142\/S02183015500256”}}，“subtitle”：[]，“shorttitle”：[]，“issued”（发布）：{部分“：[[2015,12]]}，”references-count“：39，”journal-issue“：{”issue“：”06“，”published-online“：”{“date-parts”：[[2015,12,22]]}，“published-print”：{“日期-部分”：[2015,12]}}，”alternative-id“：[”10.1142\/S0218213015500256“]，”URL“：”http://\/dx.doi.org\/101142\/s0218213015300256“，”relationship“：{}”，“ISSN”：[“0218-2130”“，”1793-6349“]，”ISSN-type“：[{”value“：”0218-2130“，”type“:”print“}，{”value“：“1793-6349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2015,12]]}}}