×
法布里西奥·安吉乌利;吉安路易吉·格雷科;路易吉·帕洛波利

检测和修复噪声环境中的异常演变。逻辑编程形式化和复杂性结果。 （英语） Zbl 1237.68201号

安。数学。Artif公司。智力。 60，编号3-4179-228（2010）.
本文研究噪声系统中异常观测值的诊断与修复。特别是，它研究了代理借助潜在故障传感器对其环境进行推理的问题，例如在装有潜在故障摄像头的车库中寻找停车点，以及识别和修复故障摄像头的方法。因此，这项工作的重点不是基于通过传感器进行的观察的代理规划，而是代理对集体传感器行为进行推理，在代理执行此类计划时，根据其对系统的了解来识别和修复故障传感器，称为代理人革命在论文中。
从技术上讲，作者采用了一个框架（langle{mathcalF，S，D，K}rangle）来表示代理，其中（{mathcal F}）指的是一组命题字母，每个字母的值都在真、假和未知之间，用于指定代理的世界\（{mathcal S}\）表示代理可能观察到的可用传感器集\（{\mathcal D}\）是与代理可能采取的一组给定操作相关联的状态转换规则的集合；和（{mathcal K}）是指代理可以用来推理其世界当前状态的一些内部知识。在此设置下，异常是指在\（{mathcal D}\）中使用传感器进行的观测与存储在\（}，\）中的可信知识之间的差异，而修复是指用替代值替换错误的传感器观测，以消除所有上述差异，这不需要扭转已经发生的行动。
（{mathcal D}）中的上述转换规则用与（0）-近似语义相关联的动作语言（{mathcal A}_k，）表示；而（{mathcal K}）中的知识表示为命题逻辑程序，并用默认的否定扩展进行扩充，与答案集语义相关。
感兴趣的问题包括异常存在问题，–给定一个代理和一个行动计划，是否存在异常？–如果存在这种异常，是否存在修复，即代理的替代行动计划称为修复存在问题–并且，给定一个代理人，一个行动计划和相关的观察结果，以及另一个行动方案异常和检查问题询问这组观察结果是否异常，如果是，后一个行动计划是否是对前一个的修复。
然后，作者花费了论文的一半以上（总共49页中的29页）讨论并证明了与上述三个问题相关的复杂性结果：当（{mathcal K}）中没有知识涉及否定时，异常存在和修复存在问题都在P中，但异常和修复检查问题处于NP完成状态；否则，上述三个问题本质上都很难解决。例如，如果我们遵循上述逻辑程序的“谨慎”语义，当一个程序包含一个文本（如果它属于与该程序相关的每个答案集）时，异常存在问题就属于\（sum_2^{text{P}}\）-完全类；虽然它仍然属于NP完全类，但如果我们遵循“勇敢”语义，当程序需要一个文字时，如果它至少属于答案集。
考虑到其令人生畏的主题，这篇自足的论文写得很好，可读性出奇地好。我真的很喜欢读这篇论文。它为一个可能的应用程序的有趣问题提供了一个通用但合理的框架，尽管我怀疑确切的算法是否存在，因为更复杂但现实的场景暴露了复杂性。
我注意到，多个合作主体的框架是未来工作的一部分，它应该为情况提供更现实的描述。
除了讨论和描述的这些问题外，另一个具有实际意义的问题可能是，给定一个代理人和一个行动计划，除了是否存在异常之外，我们肯定有兴趣确定哪些传感器其中，（{mathcal D}，）中的那些导致了观察到的异常。直观地说，它比异常存在问题更具挑战性，因此属于更高复杂性的类。真的吗？
除了本文假设的默认否定模型外，逻辑编程中另一个常见的自然否定模型是否定为失败，即一旦程序未能包含文字\（l，\），我们就认为该程序包含\（\ negl.）当涉及变量时，该模型确实会导致更一般的逻辑程序类的不完整性，但对命题逻辑程序则没有任何损害。这似乎是未来研究的另一个方向。
人们通常在一个更实际但似乎相关的互连网络设置中研究的一个问题是，给定一个故障诊断模型，如比较模型[M.马利克，“多处理器系统诊断的比较连接任务”，载于：第七届计算机体系结构年度研讨会论文集（ISCA 1980）。纽约州纽约市：计算机协会（ACM）。31–35 (1980;数字对象标识代码：10.1145/800053.801906);J.Maeng（马恩）和M.马利克，“多处理器系统自我识别的比较连接任务”，载于：第11届容错计算国际研讨会论文集。波特兰，ME：IEEE计算机协会。173–175 (1981);A.森古普塔和A.Dahbura公司，“关于可自我诊断的多处理器系统：通过比较方法进行诊断”，IEEE Trans。计算。41，第11期，1386–1396（1992年；doi:10.1109/12.177309)]在这样的网络中，必须检测到的故障节点的上限是多少，甚至是一个精确的上限[C.-K.林,J.J.M.Tan先生,L·H·Hsu,E.程和利普塔克，“在比较诊断模型下由转置树生成的Cayley图的条件可诊断性”，互连网络9的J.，No.1–2，83–97（2008；doi:10.1142/S0219265908002175)]. 事实上，在审阅这篇论文之前，我刚刚完成了一篇关于这个主题的论文。我不禁想知道，在这样的框架内，是否可以对异常传感器的数量提出同样的问题。
审核人：Shen Zhizhang（新罕布什尔州普利茅斯）

MSC公司：

68T27型 人工智能中的逻辑
68层37 人工智能背景下的不确定性推理
68T42型 Agent技术与人工智能
68N17号 逻辑编程
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

关键词：

不确定性推理;代理技术;复杂性结果

软件：

斯莫德尔斯;CCalc公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Angiulli}等人，《数学年鉴》。Artif公司。智力。60，编号3--4，179-228（2010；Zbl 1237.68201）
全文： 内政部

参考文献：

[1] Alchourrón，C.E.，Gärdefors，P.，Makinson，D.：关于理论变革的逻辑：初步满足收缩和修正功能。J.塞姆。日志。50(2), 510–530 (1985) ·Zbl 0578.03011号 ·doi:10.2307/2274239
[2] Alchourrón，C.E.，Makinson，D.：理论变化的逻辑：收缩函数及其相关的修正函数。《理论》48，14-37（1982）·Zbl 0525.03001号 ·doi:10.1111/j.1755-2567.1982.tb00480.x
[3] Alchourrón，C.E.，Makinson，D.：论理论变革的逻辑：安全收缩。螺柱日志。44, 405–422 (1985) ·Zbl 0605.03002号 ·doi:10.1007/BF00370430
[4] Arenas，M.，Bertossi，L.E.，Chomicki，J.：不一致数据库中的一致查询答案。In：程序。第18届ACM SIGACT SIGMOD SIGART Symp。数据库系统原理（PODS），第68–79页（1999）·Zbl 1079.68026号
[5] Bacchus，F.、Halpern，J.Y.、Levesque，H.J.：情境演算中关于噪声传感器和效应器的推理。Artif公司。智力。111(1–2), 171–208 (1999) ·Zbl 0996.68192号 ·doi:10.1016/S0004-3702（99）00031-4
[6] Balduccini，M.，Gelfond，M.：用a-prolog进行诊断推理。J.理论与实践。日志。程序。3(4–5), 425–461 (2003) ·Zbl 1079.68094号 ·文件编号：10.1017/S1471068403001807
[7] Baral，C.，Kreinovich，V.，Trejo，R.：不完全情况下规划和近似规划的计算复杂性。Artif公司。智力。122(1–2), 241–267 (2000) ·Zbl 0948.68088号 ·doi:10.1016/S0004-3702（00）00043-6
[8] Baral，C.，McIlraith，S.A.，Son，T.C.：使用具有叙事和感知的动作语言制定诊断性问题解决方案。In：程序。第七届知识表示与推理原则国际会议（KR）第311-322页（2000年）
[9] Baral，C.，Tran，N.，Tuan，L.C.：在概率环境中推理行为。In：程序。第18届人工智能大会和第14届人工智能创新应用大会（AAAI/IAAI），第507–512页（2002年）
[10] Baral，C.，Son，T.C.：关于存在感知和不完整信息的情况下的行为的近似推理。In：程序。1997年国际逻辑程序设计研讨会（ILPS），第387–401页（1997）·Zbl 0944.68177号
[11] 贝托西，L.、布拉沃，L.，弗兰科尼，E.、洛帕通科，A.：完整性约束下数据库中固定数值属性的复杂性和近似性。信息系统。33(4–5), 407–434 (2008) ·Zbl 1159.68406号 ·doi:10.1016/j.is.2008.01.005
[12] Bertossi，L.，Chomicki，J.，Cortes，A.，Gutierrez，C.：来自集成数据源的一致答案。In：程序。第六届国际灵活问答系统大会（FQAS）第71–85页（2002年）
[13] Bohannon，P.，Flaster，M.，Fan，W.，Rastogi，R.：通过价值修正修复约束的基于成本的模型和有效启发式。In：程序。ACM SIGMOD数据手册标题管理国际会议（SIGMOD），第143-154页（2005）
[14] Boutiler，C.、Dean，R.、Hanks。美国：不确定性下的规划：结构假设和计算杠杆。JAIR 11，1-94（1999）·Zbl 0918.68110号
[15] Boutiler，C.、Reiter，R.、Price。B.：一阶MDP的符号动态编程。In：程序。第17届国际人工智能联合会议（IJCAI），第690-700页（2001）
[16] Bravo，L.，Bertossi，L.:一致查询数据集成系统的逻辑编程。In：程序。第18届国际人工智能联合会议（IJCAI），第10-15页（2003）
[17] Buccafurri，F.，Leone，N.，Rullo，P.：通过约束增强析取数据日志。IEEE传输。知识。数据工程12（5），845–860（2000）·doi:10.1109/69.877512
[18] Cal，A.，Lembo，D.，Rosati，R.：数据集成系统中约束条件下的查询重写和应答。In：程序。第18届国际人工智能联合会议（IJCAI）第16–21页（2003）
[19] Chen，Z.，Toda，S.：选择最大解的复杂性。Inf.计算。119(2), 231–239 (1995) ·Zbl 0834.68045号 ·doi:10.1006/inco.1995.1087
[20] Damasio，C.，Pereira，L.M.，Schroeder，M.：修订：逻辑编程和诊断。In：程序。第四届逻辑程序设计与非单调推理国际会议（LPNMR），第354-363页。德国达格斯图尔（1997）
[21] Dantsin，E.，Eiter，T.，Gottlob，G.，Voronkov，A.：逻辑编程的复杂性和表达能力。ACM计算。调查。33(3), 374–425 (2001) ·doi:10.144/502807.502810
[22] Dix，J.、Either，T.、Fink，M.、Polleres，A.、Zhang，Y.：使用声明性计划监控代理。芬丹。通知。57(2–4), 345–370 (2003) ·兹比尔1110.68512
[23] Dix，J.，Kraus，S.，Subrahmanian，V.S.：异质时间概率代理。ACM事务处理。计算。日志。7(1), 151–198 (2006) ·Zbl 1367.68316号 ·数字对象标识代码：10.1145/1119439.1119444
[24] Dix，J.、Nanni，M.、Subrahmanian，V.S.：概率代理推理。ACM事务处理。计算。日志。2(1), 201–245 (2000) ·Zbl 1365.68419号
[25] Eiter，T.、Erdem，E.、Faber，W.：计划撤销执行监控中的恢复。in:Proc。《非单调推理（NMR）第10期国际著作》，第147-154页（2004年）
[26] Eiter，T.、Faber，W.、Leone，N.、Pfeifer，G.：数字电视系统的诊断前端。AI通讯。12(1–2), 99–111 (1999)
[27] Eiter，T.、Faber，W.、Leone，N.、Pfeifer，G.、Polleres，A.：知识状态规划的逻辑编程方法：语义和复杂性。ACM事务处理。计算。日志。5(2), 206–263 (2004) ·Zbl 1079.68619号 ·数字对象标识代码：10.1145/976706.976708
[28] Eiter，T.、Fink，M.、Greco，G.、Lembo.、。，D.：修复来自不一致数据库的查询应答本地化。ACM事务处理。数据库系统。33(2), (2008)
[29] Eiter，T.，Gottlob，G.：关于析取逻辑编程的计算成本：命题案例。安。数学。Artif公司。智力。15(3–4): 289-323 (1995) ·Zbl 0858.68016号 ·doi:10.1007/BF01536399
[30] 艾特。T.，戈特洛布。G.：基于逻辑的诱拐的复杂性。《美国医学会杂志》42（1），3-42（1995）·Zbl 0886.68121号 ·doi:10.1145/200836.200838
[31] Eiter，T.、Mascardi，V.、Subrahmanian，V.:容错代理。收录：Kakas，A.C.，Sadri，F.（编辑）《计算逻辑》。《逻辑编程及其以外》，第586–625页（2002年）·Zbl 1012.68541号
[32] Faber，W.，Greco，G.，Leone，N.：魔术集及其在数据集成中的应用。J.计算。系统。科学。73(4), 584–609 (2007) ·Zbl 1115.68047号 ·doi:10.1016/j.jcss.2006.10.012
[33] Fichtner，M.、Großmann，A.、Thielscher，M.：动态环境中的智能执行监控。芬丹。通知。57(2–4), 371–392 (2003) ·兹比尔1110.68513
[34] Franconi，E.，Palma，A.L.，Leone，N.，Perri，S.，Scarcello，S.：人口普查数据修复：选言逻辑编程的挑战性应用。In：程序。第八届国际编程、人工智能和推理逻辑大会（LPAR）第561-578页（2001）·兹比尔1275.68045
[35] 盖尔方德，M.，利夫希茨。逻辑程序和析取数据库中的经典否定。新一代。计算。9(3–4): 365–386 (1991) ·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[36] Gelfond，M.，Lifschitz。V.：通过逻辑编程表示动作和变化。J.日志。程序。17(2–4), 301–323 (1993) ·Zbl 0783.68024号 ·doi:10.1016/0743-1066（93）90035-F
[37] Genesereth，M.R.：设计描述在自动诊断中的应用。Artif公司。智力。24, 411–436 (1984) ·doi:10.1016/0004-3702（84）90043-2
[38] Giacomo，G.D.，Soutchanski，M.，Reiter，R.：高级机器人程序的执行监控。In：程序。第六届知识表示与推理原则国际会议（KR），第453-464页（1998年）
[39] Giunchiglia，E.，Lee，J.，Lifschitz，V.，McCain，N.，Turner，H.：非单调因果理论。Artif公司。智力。153, 49–104 (2004) ·Zbl 1085.68161号 ·doi:10.1016/j.artint.2002.12.001
[40] Greco，G.、Greco，S.、Zumpano，E.：查询和修复不一致数据库的逻辑框架。IEEE传输。知识。数据工程15（6），1389–1408（2003）·doi:10.1109/TKDE.2003.1245280
[41] Greco，G.，Lembo，D.：数据集成与源之间的偏好。In：程序。第23届概念建模国际会议（ER），第231-244页（2004）
[42] Halpern，J.Y.，Tuttle，M.R.：知识、概率和对手。J.ACM 40（4），917–962（1993）·Zbl 0783.68120号 ·doi:10.1145/153724.153770
[43] Hansson，S.O.：非优先信念修正调查。Erkentnis埃尔肯尼斯50、413–427（1999）·Zbl 0960.03012号 ·doi:10.1023/A:1005534223776
[44] Iocchi，L.，Lukasiewicz，T.，Nardi，D.，Rosati，R.：定性和概率不确定性下感知行为的推理。In：程序。第六届欧洲人工智能大会（ECAI），第818–822页（2004）·Zbl 1367.68281号
[45] Janhunen，T.、Niemelä，I.、Simons，P.、You，J.H.：展开稳定模型语义中的偏爱和析取。In：程序。第七届知识表示与推理原则国际会议（KR）第411-419页（2000年）·Zbl 1367.68035号
[46] Johnson，D.S.：《理论计算机科学手册》，A卷：算法与复杂性，A章，复杂性类别目录，第67-161页。爱思唯尔和麻省理工学院出版社（联合出版商）（1990年）·Zbl 0900.68246号
[47] Kakas，A.C.，Mancarella，P.：通过绑架更新数据库。In：第页，共页。第16届超大数据库国际会议，第650-661页。澳大利亚昆士兰布里斯班（1990年）
[48] de Kleer，J.，Williams，B.C.：诊断多个故障。Artif公司。智力。32(1), 97–130 (1984) ·Zbl 0642.94045号
[49] de Kleer，J.，Williams，B.C.：行为模式诊断，第124-130页（1992）·Zbl 0718.68081号
[50] Krentel，M.W.：优化问题的复杂性。J.计算。系统。科学。36(3), 490–509 (1988) ·Zbl 0652.68040号 ·doi:10.1016/0022-0000（88）90039-6
[51] Leone，N.、Pfeifer，G.、Faber，W.、Eiter，T.、Gottlob，G.，Perri，S.、Scarcello，F.：知识表示和推理的dlv系统。ACM事务处理。计算。日志。7(3), 499–562 (2006) ·Zbl 1367.68308号 ·数字对象标识代码：10.1145/1149114.1149117
[52] Lin，F.，You，J.H.：逻辑编程中的诱拐：基于重写的新定义和诱拐过程。Artif公司。智力。140(1–2), 175–205 (2002) ·Zbl 0999.68092号 ·doi:10.1016/S0004-3702（02）00227-8
[53] Lin，J.，Mendelzon，A.O.：在约束条件下合并数据库。国际期刊社。信息系统。7(1), 55–76 (1998) ·doi:10.1142/S02188430980040
[54] Littman，M.L.，Goldsmith，J.，Mundhenk。M.：概率规划的计算复杂性。JAIR 9，1–36（1998）·Zbl 0903.68100号
[55] Lobo，J.，Mendez，G.，Taylor，S.R.：为动作描述语言添加知识a.In：Proc。第十四届人工智能大会和第九届人工智能创新应用大会（AAAI/IAAI），第454-459页（1997）
[56] 洛博。J.：COPLAS：一个有感知动作的条件普兰纳。包含：FS-98-02。AAAI（1998）
[57] Lopatenko，A.，Bertossi，L.：基于基数和增量修复语义下数据库中一致查询应答的复杂性。In：程序。第11届国际数据库理论会议（ICDT）第179-193页（2007年）
[58] Makinson，D.：筛选修订版。《理论》63，14-23（1997）·doi:10.1111/j.1755-2567.1997.tb00737.x
[59] McIlraith，S.：在基于模型的诊断中表示动作和状态约束。In：程序。第14届人工智能大会和第9届人工智能创新应用大会（AAAI/IAAI），第43–49页（1997年）
[60] 摩尔，R.C.：知识与行动的形式理论。摘自：Hobbs，J.R.，Moore，R.C.（编辑）《常识世界的形式理论》，第319-358页（1985年）
[61] Nebel，B.，Koehler，J.：计划重用与计划生成：理论和实证分析。Artif公司。智力。76(1–2), 427–454 (1995) ·doi:10.1016/0004-3702（94）00082-C
[62] Niemelä，I.，Simons，P.：Smodels：正常LP的稳定模型和良好语义的实现。In：程序。第四届逻辑编程和非单调推理国际会议（LPNMR），第420-429页（1997）
[63] Otero，M.、Otero、R.P.：利用因果关系和行动进行诊断。In：程序。第十一届国际诊断原理研讨会，第171-176页（2000年）
[64] Papadimitriou，C.H.：计算复杂性。Addison-Wesley，雷丁，马萨诸塞州（1994年）·Zbl 0833.68049号
[65] Poole，D.：表示基于逻辑的诊断的知识。In：程序。第五代计算系统国际会议，第1282-1290页（1988年）
[66] Poole，D.：基于逻辑的诊断中的正常和故障。In：程序。第11届国际人工智能联合会议（IJCAI），第1304–1310页（1989）·Zbl 0718.68084号
[67] Reiter，R.：基于第一原理的诊断理论。Artif公司。智力。32(1), 57–96 (1987) ·兹伯利0643.68122 ·doi:10.1016/0004-3702（87）90062-2
[68] 庚烷。J.：用定理证明器构造条件平面。JAIR 10，323–352（2000年）·Zbl 0916.68139号
[69] Scherl，R.B.，Levesque，H.J.：知识、行动和框架问题。Artif公司。智力。144(1–2), 1–39 (2003) ·Zbl 1079.68625号 ·doi:10.1016/S0004-3702（02）00365-X
[70] Selman，A.L.：函数复杂性类的分类法。J.计算。系统。科学。48（2），357–381（1994）·Zbl 0806.68049号 ·doi:10.1016/S0022-0000（05）80009-1
[71] Scherl，R.，Levesque，H.J.：创造知识的行动。In：程序。第九届知识表示与推理国际会议（KR）第1139–1146页（1994）
[72] Son，T.、Tu，P.、Baral，C.：使用逻辑编程进行感知行动和不完整信息的规划。In：程序。第七届逻辑编程与非单调推理国际会议（LPNMR）第261-274页（2004）·兹比尔1122.68617
[73] Son，T.C.，Baral，C.：将传感动作形式化为基于过渡函数的方法。Artif公司。智力。125(1–2), 19–91 (2001) ·Zbl 0969.68152号 ·doi:10.1016/S0004-3702（00）00080-1
[74] Son，T.C.，Tu，P.H.，Baral，C.：使用逻辑编程进行感知动作和不完整信息的规划。In：程序。第七届逻辑编程与非单调推理国际会议（LPNMR）第261-274页（2004）·Zbl 1122.68617号
[75] Son，T.C.，Tu，P.H.，Baral，C.：使用答案集编程进行推理和规划，包括感知动作、不完整信息和静态因果律。理论与实践。日志。程序。7(4), 377–450 (2007) ·Zbl 1120.68101号 ·doi:10.1017/S1471068406002948
[76] Staworke，S.、Chomicki，J.、Marcinkowski，J.:不一致关系数据库的首选项驱动查询。In：程序。EDBT研讨会，第318–335页（2006年）
[77] Struss，P.，Dressler，O.：“物理否定”——将故障模型集成到通用诊断引擎中。In：程序。第11届国际人工智能联合会议（IJCAI）第1318–1323页（1989）·Zbl 0718.68085号
[78] Subrahmanian，V.S.，Amgoud，L.：关于不一致性推理的一般框架。In：程序。第20届国际人工智能联合会议（IJCAI），第599-504页（2007年）
[79] Thielscher，M.：动态诊断理论。电子。事务处理。数字。分析。1, 73–104 (1997)
[80] Wijsen，J.：使用更新修复数据库。ACM事务处理。数据库系统。30(3), 722–768 (2005) ·数字对象标识代码：10.1145/1093382.109338385
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。