×
米凯尔·尼尔森；乔纳斯·克瓦伦斯特罗姆；帕特里克·多尔蒂

具有不确定性的简单时态网络的有效处理：动态可控性验证算法。 （英语） Zbl 1350.68252号

学报信息。 53，编号6-8，723-752（2016）.
总结：时间形式对于推理随时间推移而执行的操作至关重要。这种行动的确切持续时间通常很难预测。在时间规划中，通常只考虑持续时间的上限来解决由此产生的不确定性，假设当行动执行得更快时，计划仍然会成功。然而，这种假设往往是错误的：如果我们过早烹饪完，晚餐在大家准备好吃之前就会变冷。使用具有不确定性的简单时间网络（STNU），规划师可以正确地考虑工期下限和上限。然后，它必须验证它生成的计划是否可执行，而不管不确定持续时间的实际结果如何。这由的属性捕获动态可控性（DC），应在计划生成期间进行增量验证。最近提出了一种用于验证动态可控性的新增量算法：EfficientIDC，它可以验证STNU（即DC）在添加或收紧约束（对应于添加到计划中的新操作）后是否仍然是DC。对于每次添加或拧紧，该算法的最坏情况复杂度为\（O（n^4）\）。这可以在整个STNU的建设中摊销，摊销复杂度为\（O（n^3）\）。在本文中，我们改进了EfficientIDC算法，以避免它必须重新处理节点。这种改进使得\（O（n^3）\）中的最坏情况复杂度更低。

引用于2文件

MSC公司：

68T42型 Agent技术与人工智能
68第05页 数据结构
PDF格式BibTeX公司 XML格式引用
\textit{M.Nilsson}等人，《学报》第53期，第6--8、723--752号（2016年；Zbl 1350.68252）
全文： 内政部 链接

参考文献：

[1] Bender，M.A.，Fineman，J.T.，Gilbert，S.，Tarjan，R.E.：增量循环检测和相关问题的新方法。arXiv预印本arXiv：1112.0784（2011）·Zbl 1398.68386号
[2] Cesta，A.，Finzi，A.、Fratini，S.、Orlandini，A.和Tronci，E.：分析基于时间线的灵活计划。摘自：2010年ECAI会议记录：第19届欧洲人工智能会议，第471-476页。IOS出版社（2010）·Zbl 1211.68247号
[3] Cimatti，A.，Hunsberger，L.，Micheli，A.，Roveri，M.：使用时间博弈自动机来综合具有不确定性的简单时间网络的执行策略。2014年7月27日至31日，加拿大魁北克省魁北克市，第二十八届AAAI人工智能会议记录。，第2242-2249页（2014）
[4] Dechter，R.、Meiri，I.、Pearl，J.：时间约束网络。Artif公司。智力。49(1-3), 61-95 (1991) ·Zbl 0737.68070号 ·doi:10.1016/0004-3702（91）90006-6
[5] Hunsberger，L.：修正了动态可控性的语义，并为动态执行策略提供了更实际的特征。2009年，第16届时间表征和推理国际研讨会。《时代》2009年，第155-162页。IEEE（2009）·Zbl 0737.68070号
[6] Morris，P.：时间动态可控性的结构表征。摘自：第十二届约束规划原理与实践国际会议记录，第375-389页。Springer-Verlag（2006）
[7] Morris，P.：动态可控性和可调度性关系。在：约束编程中人工智能和或技术的集成（CPAIOR），第464-479页。斯普林格（2014）·Zbl 1407.68460号
[8] Morris，P.，Muscettola，N.：重新审视时间动态可控性。附：第20届全国人工智能会议论文集（AAAI-2005）（2005）
[9] Morris，P.，Muscettola，N.，Vidal，T.：具有时间不确定性的计划的动态控制。收录于：第17届国际人工智能联合会议（IJCAI）会议记录，第494-499页，美国加利福尼亚州旧金山，Morgan Kaufmann Publishers Inc（2001）
[10] Nilsson，M.，KvarnströM，J.，Doherty，P.：重新审视增量动态可控性。附：第23届国际自动规划与调度会议（ICAPS）会议记录（2013年）·Zbl 1350.68252号
[11] Nilsson，M.，KvarnströM，J.，Doherty，P.：重新审视经典动态可控性：经典算法的更严格界限。摘自：《第六届代理与人工智能国际会议论文集》，第130-141页（2014年）
[12] Nilsson，M.，KvarnströM，J.，Doherty，P.：效率IDC：一种更快的增量动态可控性算法。附：第24届国际自动规划与调度会议（ICAPS）会议记录（2014年）
[13] Nilsson，M.，KvarnströM，J.，Doherty，P.：立方最坏情况下的增量动态可控性。摘自：第21届时间表征与推理国际研讨会论文集（2014年）·Zbl 1350.68252号
[14] Shah，J.A.，Stedl，J.，Williams，B.C.，Robertson，P.：维护部分可控计划可调度性的快速增量算法。摘自：Boddy，MS.，Fox，M，Thibaux，S.（eds.）《第17届国际自动规划与调度会议（ICAPS）论文集》，第296-303页。AAAI出版社（2007）
[15] Stedl，J.L.：在有限沟通下管理时间不确定性：紧密和松散团队协调的正式模型。麻省理工学院硕士论文（2004）
[16] Tsamardinos，I.：重新制定有效执行的时间计划。匹兹堡大学硕士论文（2000）
[17] Vidal，T.，Ghallab，M.：处理专门用于规划的时间约束网络中的不确定持续时间。载：《第12届欧洲人工智能会议记录》，第48-52页（1996年）·Zbl 0737.68070号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。