×
罗伯托·米卡齐奥

通过基于模型的诊断和一致性规划进行动作故障恢复。 （英语） Zbl 1274.68433号

计算。智力。 29，第2期，233-280（2013）.
总结：在现实世界中执行的计划可能会受到一些意外事件、计划威胁的影响，这些事件会导致计划执行者（即代理人）的预期行为与观察到的行为之间出现重大偏差。这些偏差通常被视为行动失败。本文解决了从特定类别的计划威胁导致的操作失败中恢复的问题：故障在代理的功能中。该问题是通过利用基于模型的诊断（MBD）技术来检测故障来解决的(计划执行监控)并从故障功能的角度解释这些故障(代理诊断). 恢复过程被建模为一个重新规划问题，目的是修复由代理诊断确定的故障组件。然而，由于诊断通常是模棱两可的（故障可以用替代故障来解释），因此恢复必须处理这种不确定性。本文提倡采用一致性规划师，以确保无论故障的实际原因是什么，恢复计划（如果存在）都是可执行的。本文侧重于单个代理执行其自己的计划，但所提出的方法还考虑到代理通常位于多代理场景中，并且代理之间可能存在承诺。因此，修复策略旨在克服故障原因，同时确保代理与其他团队成员达成一致的承诺。

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

基于模型的诊断；计划执行监控；一致性规划

软件：

PDDL公司；伙计
PDF格式BibTeX公司 XML格式引用
\textit{R.Micalizio}，计算。智力。29，No.2，233--280（2013；Zbl 1274.68433）
全文： 内政部 链接

参考文献：

[1] 阿拉米，《自治架构》（1998）
[2] 伯恩斯坦，马尔可夫决策过程集中控制的复杂性（2002）
[3] Birnbaum，L.G.Collins M.Freed B.Krulwich 1990 AAAI90会议记录中基于模型的规划失败诊断318 323
[4] Boutiler，具有并发交互动作的部分订单计划，《人工智能研究杂志》，第14页，105–（2001）·Zbl 0970.68164号
[5] Boutiler，带因子表示的随机动态规划（2000）·Zbl 0948.68167号
[6] Brenner，《动态多智能体环境中的持续规划和行动》（2009）
[7] 布莱恩特，布尔函数操作的基于图形的算法，IEEE计算机学报35（8）pp 677–（1986）·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819
[8] Bryant，有序二进制决策图的符号布尔运算，美国计算机学会计算机调查24第293页–（1992）·doi:10.1145/136035.136043
[9] Chen，基于鲁棒模型的动态系统故障诊断（1999）·Zbl 0920.93001号 ·doi:10.1007/978-1-4615-5149-2
[10] Cimatti，《通过符号模型检查的一致性规划》，《人工智能研究杂志》13页305–（2000）·Zbl 0963.68195号
[11] Console，关于绑架和扣除之间的关系（1991年）
[12] 控制台，将正确行为模式整合到诱拐诊断中（1991年）
[13] Cox，J.S.E.H.Durfee T.Bartold 2005《解决多智能体计划协调问题的分布式框架》，《自治智能体和多智能体系统国际会议论文集》（AAMAS’05）821 827
[14] 库欣，技术报告（2008）
[15] Cushing，W.S.Kambhampati 2005年重新规划：国际自动规划与调度会议（ICAPS'05）海报计划的新视角
[16] Darwiche，《知识汇编图》，《人工智能研究杂志》17页229–（2002）·Zbl 1045.68131号
[17] De Jonge，多智能体计划执行的主要和次要诊断，《自治智能体和多智能体系统杂志》，第18页，第267页–（2009年）·Zbl 05742225号 ·doi:10.1007/s10458-008-9045-x
[18] Decker，使用gpgp协调互斥资源（2000）
[19] Durfee，多代理系统和应用程序（2001）
[20] Fikes，Strips：将定理证明应用于问题解决的新方法（1971）·Zbl 0234.68036号
[21] Fox，M.A.Gerevini D.Long I.Serina 2006年计划稳定性：重新规划与计划修复——英国湖区自动化规划与调度国际会议（ICAPS’06）会议记录212 221
[22] Fox，Pddl2.1：表示时间规划域的pddl扩展，《人工智能研究杂志》，20，第61页–（2003）·Zbl 1036.68093号
[23] Francis，A.G.，Jr.A.Ram 1995在AAAI秋季研讨会上：知识重用的适应19 25
[24] Gerevini，A.I.Serina 2000通过规划图快速调整计划：局部和系统搜索技术，摘自《国际人工智能规划与调度会议论文集》（AIPS'00）112 121·Zbl 0970.68657号
[25] Gertler，《工程系统中的故障检测和诊断》（1998）
[26] Ghallab，M.A.Howe C.Knoblock D.McDermott A.Ram M.Veloso D.Weld D.Wilkins 1998 Pddl——人工智能规划与调度国际会议论文集中的规划领域定义语言
[27] Guestrin，C.G.Gordon 2002年在人工智能不确定性第十八届会议记录中分层因子mpd中的分布式规划197 206
[28] Guestrin，C.D.Koller R.Parr 2001神经信息处理系统进展会议（NIPS’01）中的多智能体规划和分解mdp 1523 1530
[29] Haigh，K.M.Veloso 1998机器人代理中的规划、执行和学习摘自《人工智能规划和调度国际会议论文集》120 127
[30] Hammond，K.J.1986厨师：AAAI会议记录中基于案例的规划模型267 271
[31] Hanks，一种用于计划适应的区域相关算法，《人工智能研究杂志》（JAIR）2 pp 319–（1995）
[32] Jensen，基于Obdd的通用规划：指定和解决非确定性域中同步代理的规划问题，LNCS 1600第213页–（1999）
[33] Jensen，非确定性领域中基于对象的同步代理通用规划，《人工智能研究杂志》13页189–（2000）·Zbl 0963.68196号
[34] Kalech，《关于位置代理团队协调诊断算法的设计》，人工智能171 pp 491–（2007）·Zbl 1168.68587号 ·doi:10.1016/j.artint.2007.03.005
[35] Kalech，《处境代理人团队的协调诊断算法：放大》，计算智能27（3），第383页–（2011）·Zbl 1235.68239号 ·文件编号：10.1111/j.1467-8640.2011.00386.x
[36] Kambhampati，S.1990计划重用期间的绘图和检索：AAAI会议记录中基于验证结构的方法170 175
[37] Kambhampati，《作为计划综合统一框架的优化规划》，《人工智能杂志》第18（2）页第67页–（1997）
[38] Kambhampati，基于验证结构的计划修改和重用理论，《人工智能》55页193–（1992）·doi:10.1016/0004-3702（92）90056-4
[39] Lam，M.S.，J.Whaley V.B.Livshits C.Martin M.，D.Avots M.Carbin C.Unkel 2005第二十四届ACM SIGMOD数据库系统原理研讨会论文集中的上下文敏感程序分析作为数据库查询1 12
[40] Lhoták，Jedd:基于bdd的java关系扩展，SIGPLAN Not 39 pp 158–（2004）·doi:10.1145/996893.996861
[41] Lind-Nielsen，J.2003 Buddy：二进制决策图包http://vlscad.eecs.umich.edu/BK/Slots/cache/www.itu.dk/research/buddy/index.html/
[42] Micalizio，R.P.Torasso 2008监测多智能体计划的执行：在欧洲人工智能会议（ECAI'08）上处理部分可观测性408 412
[43] Micalizio，R.P.Torasso 2009多代理系统技术5774 LNCS 66 78中监控和诊断地图的代理合作
[44] Muscettola，《远程代理：勇往直前，没有人工智能系统的地方》，《人工智能》103第5页–（1998）·Zbl 0909.68167号 ·doi:10.1016/S0004-3702（98）00068-X
[45] Nebel，《关于命题规划形式的可编译性和表达能力》，《人工智能研究杂志》12页271–（2000）·Zbl 0943.68182号
[46] Nebel，计划重用与计划生成：理论和实证分析（1995）
[47] Peot，M.D.E.Smith 1992年人工智能规划与调度国际会议（AIPS’92）论文集中的条件非线性规划39 46
[48] Pettersson，《机器人的执行监控：一项调查》，《机器人与自主系统》，第53页，第73页–（2005）·doi:10.1016/j.robot.2005.09.004
[49] Pettersson，O.L.Karlsson A.Saffiotti 2003基于行为的移动机器人的无模型执行监控在高级机器人（ICAR）国际会议论文集864 869
[50] Pettersson，O.L.Karlsson A.Saffiotti 2005机器人和自动化计算智能（CIRA）505 511中通过仿真学习的无模型执行监控
[51] Reiter，《基于第一原理的诊断理论》，《人工智能》32（1），第57页–（1987）·Zbl 0643.68122号 ·doi:10.1016/0004-3702（87）90062-2
[52] Roos，计划诊断模型和方法19（1），第30页–（2009）
[53] Roth，M.R.Simmons M.Veloso 2007利用因子表示法在多智能体团队中分散执行在自治智能体和多智能体系统国际会议（AAMAS’07）论文集469 475
[54] Torta，《关于建模因果独立性在使用对象编译系统模型中的作用》，AI Communications 20（1）pp 17–（2007）·Zbl 1127.68077号
[55] van der Krogt，R.M.De Weerdt 2005a《第十五届国际自动规划与调度会议（ICAPS’05）论文集》中的“作为规划延伸的规划修复”161 170
[56] van der Krogt，R.M.De Weerdt 2005b第十五届国际自动规划与调度会议（ICAPS’05）论文集中使用计划修复的自利规划代理36 44
[57] Veloso，《整合规划与学习：神童建筑》，《实验与理论人工智能杂志》，第7页，189–（1995）·兹伯利0939.68830 ·doi:10.1080/09528139508953801
[58] Weld，《最少承诺计划简介》，《人工智能杂志》第15（4）页第27页（1994年）
[59] Whaley，J.2007年http://javabdd.sourceforge.net
[60] Zhang，J.F.X.T.Nguyen R.Kowalczyk 2007年基于图的多智能体重新规划算法，《自治智能体和多智能体系统国际会议论文集》（AAMAS’07）798 805
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。