×
吉安路易吉·格雷科

通过计算联合解释来解决诱拐问题。逻辑编程形式化、P2P数据集成应用程序和复杂性结果。 （英语） Zbl 1129.68084号

安。数学。Artif公司。智力。 50，编号1-2，143-194（2007）.
摘要：研究了诱拐的扩展，其中解释是由相互作用的代理集联合计算的。一方面，允许代理人对推理任务作出部分贡献，这样即使每个代理人没有足够的知识独自进行诱拐，也可以挑选出联合解释。另一方面，代理人在选择解释时保持自主性，每个人都有一个权重函数，反映其对假设集可靠性的感知。考虑到不同的代理对所选择的假设可能有不同的偏好，并且可能存在差异，本文引入了代理一致性的一些合理概念，并对其计算特性进行了深入研究。作为本文讨论的框架的一个示例应用，它展示了如何处理对等系统中的数据管理问题，特别是如何为不一致的系统提供基于修复的语义。

MSC公司：

68T27型 人工智能中的逻辑
64岁以下 分布式系统
68N17号 逻辑编程
68立方英尺 知识表示

关键词：

绑架;非单调推理;数据集成

软件：

数据日志;斯莫德尔斯;冲击;莱拉
PDF格式BibTeX公司 XML格式引用
\textit{G.Greco}，Ann.数学。Artif公司。智力。50，编号1--2，143-194（2007；Zbl 1129.68084）
全文： 内政部

参考文献：

[1] Abdelbar，A.M.：基于成本的诱拐近似值是NP-hard。Artif公司。智力。159, 231–239 (2004) ·兹比尔1086.68132 ·doi:10.1016/j.artint.2004.06.001
[2] Apt，K.R.，Rossi，F.，Venable，K.B.：CP-nets和nash平衡。摘自：第三届计算智能、机器人和自治系统国际会议论文集（2005）
[3] Arenas，M.，Bertossi，L.E.，Chomicki，J.：不一致数据库中的一致查询答案。摘自：第18届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS’99），第68–79页（1999）·Zbl 1079.68026号
[4] Arieli，O.，Denecker，M.，van Nuffelen，B.，Bruynooghe，M.：通过溯源逻辑编程实现数据库的一致集成。J.阿蒂夫。智力。第21、245–286号决议（2004年）·兹比尔1080.68570
[5] Bertossi，L.E.，Bravo，L.：对等数据交换系统中的查询应答。摘自：EDBT研讨会论文集，第476–485页（2004年）
[6] Bertossi，L.E.，Chomicki，J.，Cortes，A.，Gutierrez，C.：来自集成数据源的一致答案。摘自：《第六届灵活问答系统国际会议论文集》（FQAS’02），第71–85页（2002）
[7] Braccali，A.，Mancarella，P.，Stathis，K.，Toni，F.：关于声明性地建模多智能体系统。摘自：《第二届声明性代理语言和技术国际研讨会论文集》（DALT'04），第53-68页（2004）
[8] Bravo，L.，Bertossi，L.E.：用于一致查询数据集成系统的逻辑编程。摘自：《第18届国际人工智能联合会议记录》（IJCAI'03），第10-15页（2003）
[9] Brewka，G.，Niemelä，I.，Truszczynski，M.：答案集优化。摘自：第18届国际人工智能联合会议（IJCAI'03），第867–872页（2003）
[10] Buccafurri，F.，Gottlob，G.：多智能体妥协、联合不动点和稳定模型。收录于：《计算逻辑：逻辑编程及其以外》，罗伯特·A·科瓦尔斯基的论文，第一部分，第561-585页。英国伦敦施普林格出版社（2002年）·Zbl 1012.68191号
[11] Cal，A.，Lembo，D.，Rosati，R.：关于不一致和不完整数据库上查询应答的可判定性和复杂性。摘自：第22届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS'03），第260-271页（2003）
[12] Cal，A.，Lembo，D.，Rosati，R.：数据集成系统中约束条件下的查询重写和应答。摘自：第18届国际人工智能联合会议（IJCAI'03），第16-21页（2003）
[13] Calvanee，D.，De Giacomo，G.，Lenzerini，M.，Rosati，R.：对等数据集成的逻辑基础。摘自：第23届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS’04），第241-251页（2004）
[14] Charniak，E.，Shimony，S.：基于成本的绑架和MAP解释。Artif公司。智力。66, 345–374 (1994) ·Zbl 0807.68079号 ·doi:10.1016/0004-3702（94）90030-2
[15] Chopra，S.、Meyer，T.、Ghose，A.：社会选择、合并和选举。摘自：第六届欧洲不确定性推理的符号和定量方法会议记录（ECSQARU'01），第466–477页（2001）·Zbl 1001.68559号
[16] Ciampolini，A.，Lamma，E.，Mello，P.，Toni，F.，Torroni，P.:ALIAS中的合作与竞争：谈判代理的逻辑框架。安。数学。Artif公司。智力。37(1–2), 65–91 (2003) ·Zbl 1023.68095号 ·doi:10.1023/A：1020259411066
[17] Ciampolini，A.，Lamma，E.，Mello，P.，Torroni，P.:LAILA：一种用于协调逻辑代理之间的溯因推理的语言。计算。Lang.27（4），137-161（2001）·Zbl 0997.68015号 ·doi:10.1016/S0096-0551（01）00020-0
[18] Console，L.，Dupre，D.T.，Torasso，P.：关于诱拐和演绎之间的关系。J.日志。计算。1(5), 661–690 (1991) ·兹比尔0734.68085 ·doi:10.1093/logcom/1.5.661
[19] Cox，J.S.、Durfee，E.H.、Bartold，T.：解决多智能体计划协调问题的分布式框架。摘自：《第四届国际自治代理和多代理系统联合会议记录》（AAMAS’05），第821–827页（2005）
[20] Davin，J.，Modi，P.J.：多智能体协议问题的层次变量排序。摘自：第七届分布式约束推理国际研讨会论文集（DCR’06），第1433-1435页（2006）
[21] De Vos，M.、Crick，T.、Padget，J.、Brain，M.，Cliffe，O.、Needham，J.：使用有序选择逻辑编程的多代理平台。载：第三届声明代理语言与技术国际研讨会论文集（DALT'05），第67-83页（2005）
[22] De Vos，M.，Vermeir，D.：战略博弈中的选择逻辑程序和纳什均衡。摘自：第十三届国际研讨会和第八届EACSL计算机科学逻辑年会会议记录（CSL’99），第266–276页（1999）·Zbl 0952.68030号
[23] De Vos，M.，Vermeir，D.：扩展逻辑编程代理的答案集。安。数学。Artif公司。智力。42(1–3), 103–139 (2004) ·Zbl 1079.68095号 ·doi:10.1023/B:AMAI.0000034524.89865.d2
[24] Denecker，M.，Kakas，A.C.：逻辑编程中的诱拐。收录：计算机科学讲稿，计算逻辑：逻辑编程及其以外，罗伯特·A·科瓦尔斯基荣誉论文，第一部分，第2407卷，第402-436页（2002）·Zbl 1012.68503号
[25] Dix，J.，Zhang，Y.：IMPACT：具有声明语义的多代理框架。In：多代理编程，LNAI 3346。施普林格，柏林-海德堡-纽约（2005）
[26] Domshlak，C.，Rossi，F.，Venable，K.B.，Walsh，T.：关于软约束和条件偏好的推理：复杂性结果和近似技术。摘自：《第18届国际人工智能联合会议记录》（IJCAI'03），第215-220页（2003）
[27] Dung，P.M.：否定作为假设：逻辑编程的诱因基础。摘自：《第八届逻辑程序设计国际会议论文集》（ICLP’91），第3-17页（1991）
[28] Eiter，T.、Fink，M.、Greco，G.、Lembo.、。，D.：查询数据集成系统的逻辑程序的有效评估。摘自：《第19届逻辑程序设计国际会议论文集》（ICLP’03），第348–364页（2003）·Zbl 1204.68080号
[29] Eiter，T.，Gottlob，G.：基于逻辑的诱拐的复杂性。J.协会计算。机器。42(1), 3–42 (1995) ·兹伯利0886.68121
[30] Eiter，T.、Gottlob，G.、Mannila，H.：分离数据日志。ACM变速器。数据库系统。22(3), 364–418 (1997) ·doi:10.1145/261124.261126
[31] Eiter，T.、Subrahmanian，V.S.、Pick，G.：异构活性剂I：语义。Artif公司。智力。(1–2)(108), 179–255 (1999) ·Zbl 0914.68123号 ·doi:10.1016/S0004-3702（99）00005-3
[32] Endriss，U.、Mancarella，P.、Sadri，F.、Terreni，G.、Toni，F.：带约束的诱拐逻辑编程的CIFF证明过程。摘自：第九届欧洲人工智能逻辑会议记录（JELIA’04），第31–43页（2004）·Zbl 1111.68674号
[33] Faratin，P.，van de Walle，B.：代理人偏好关系：严格、冷漠和无与伦比。收录于：《第一届自主代理和多代理系统国际联合会议记录》（AAMAS’02），第1317–1324页（2002）
[34] Franconi，E.，Kuper，G.，Lopatenko，A.，Serafini，L.：对等数据库系统的强大逻辑和计算特性。载：《第一届数据库、信息系统和对等计算国际研讨会论文集》（DBISP2P'03），第64-76页（2003）
[35] Gavanelli，M.，Lamma，E.，Mello，P.，Torroni，P.:多智能体系统中信息交换的诱因框架。摘自：《第四届多智能体系统计算逻辑国际研讨会论文集》（CLIMA IV），第34-52页（2004年）·Zbl 1110.68503号
[36] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。摘自：《第五届逻辑程序设计国际会议论文集》（ICLP’88），第1070–1080页（1988）
[37] Gottlob，G.、Greco，G.和Scarcello，F.：纯粹的纳什均衡：艰难和简单的游戏。摘自：《第九届理性与知识理论问题会议记录》（TARK’03），第215-230页（2003年）·Zbl 1134.91312号
[38] Gottlob，G.，Leone，N.，Veith，H.：简洁是逻辑形式主义复杂性的来源。Ann.纯粹应用。逻辑97（1），231-260（1999）·Zbl 0933.03048号 ·doi:10.1016/S0168-0072（98）00057-8
[39] Greco，G.、Greco，S.、Zumpano，E.：集成、修复和查询不一致数据库的逻辑编程方法。摘自：《第十七届逻辑程序设计国际会议论文集》（ICLP’01），第348–364页（2001）·Zbl 1053.68564号
[40] Greco，G.、Greco，S.、Zumpano，E.：查询和修复不一致数据库的逻辑框架。IEEE传输。知识。数据工程15（6），1389–1408（2003）·Zbl 05109769号 ·doi:10.1109/TKDE.2003.1245280
[41] Greco，G.，Scarcello，F.：关于计算对等协议以在对等数据集成系统中进行一致查询应答的复杂性。摘自：第14届ACM信息和知识管理会议记录（CIKM'05），第36-43页（2005）
[42] Hindriks，K.V.，de Boer，F.S.，van der Hoek，W.，Meyer，J.J.C.：基于演绎和诱拐的交际主体语义。收录于：《计算机科学讲义》，《Agent通信问题》，第1916卷，第63-79页（2000年）
[43] Johnson，D.S.：复杂性类目录。麻省理工学院出版社，美国马萨诸塞州剑桥市（1990年）·Zbl 0900.68246号
[44] Kakas，A.C.，Mancarella，P.：广义稳定模型：诱拐语义。摘自：《第九届欧洲人工智能会议论文集》（ECAI'90），第385-391页（1990）
[45] Kakas，A.C.，Moraitis，P.：自主代理基于论证的决策。收录于：《第二届自主代理和多代理系统国际联合会议记录》（AAMAS’03），第883–890页（2003）
[46] 卡卡斯，A.C.，范·努费伦，B.，德内克，M.：A-系统：通过诱拐解决问题。摘自：《第十七届国际人工智能联合会议记录》（IJCAI'01），第591-596页（2001）
[47] 克劳斯，S.：多智能体环境中的谈判与合作。Artif公司。智力。94(1–2), 79–97 (1997) ·Zbl 0904.68168号 ·doi:10.1016/S0004-3702（97）00025-8
[48] Lang，J.：社会选择中的一些表征和计算问题。摘自：第八届欧洲不确定性推理的符号和定量方法会议记录（ECSQARU'05），第15-26页（2005）·Zbl 1122.68657号
[49] Lenzerini，M.：P2P数据集成原理。摘自：第三届网上数据集成国际研讨会论文集（DiWeb'04），第7-21页（2004）
[50] Leone，N.、Pfeifer，G.、Faber，W.、Calimeri，F.、Dell'Armi，T.、Eiter，T.、Gottlob，G.、Ianni，G.、Ielpa，G.、Koch，C.、Perri，S.、Polleres，A.：DLV系统。摘自：《第八届欧洲人工智能逻辑会议论文集》（JELIA’02），第537–540页（2002）·Zbl 1014.68871号
[51] Lin，F.，You，J.H.：逻辑编程中的诱拐：基于重写的新定义和诱拐过程。摘自：第17届国际人工智能联合会议（IJCAI'01），第655-666页（2001）
[52] Mailler，R.，Lesser，V.：使用协作中介解决分布式约束优化问题。摘自：《第三届国际自主代理和多代理系统联合会议记录》（AAMAS’04），第438–445页（2004）
[53] Modi，P.J.，Veloso，M.：多智能体协议问题的碰撞策略。摘自：《第四届国际自治代理和多代理系统联合会议记录》（AAMAS’05），第390-396页（2005）
[54] Mura，P.L.，Shoham，Y.：条件性、层次性、多代理偏好。摘自：《理性与知识理论方面第七届会议论文集》（TARK’98），第215-224页（1998年）
[55] Nash，J.：非合作游戏。安。数学。54(2), 286–295 (1951) ·兹比尔0045.08202 ·doi:10.2307/1969529
[56] van Nieuwenborgh，D.，Heymans，S.，Vermeir，D.：关于线性有序多重偏好的程序。摘自：《第20届逻辑程序设计国际会议论文集》（ICLP’04），第180–194页（2004）·Zbl 1104.68389号
[57] van Nuffelen，B.，Cortés-Calabuig，A.，Denecker，M.，Arieli，O.，Bruynooghe，M.：使用ID-logic进行数据集成。摘自：《第16届先进信息系统工程国际会议论文集》（CAiSE’04），第67–81页（2004）
[58] Osborne，M.，Rubinstein，A.：博弈论课程。麻省理工学院出版社，马萨诸塞州剑桥，美国（1994年）·Zbl 1194.91003号
[59] Papadimitriou，C.：计算复杂性。Addison-Wesley出版公司，雷丁，马萨诸塞州，美国（1995年）·Zbl 0557.68033号
[60] Parsons，S.，Wooldridge，M.：多智能体系统中的博弈论和决策论。自动。代理人。多代理系统。5(3), 243–254 (1994) ·兹伯利05387378 ·doi:10.1023/A:1015575522401
[61] 皮尔斯，C.S.：诱拐和诱导。摘自：《皮尔士的哲学著作》，第150–156页（1955年）
[62] Peltz，C.：Web服务编排和编排。IEEE计算。36(10), 46–52 (2003)
[63] Perri，S.、Scarcello，F.、Leone，N.：带有惩罚的诱拐逻辑程序：语义、复杂性和实现。逻辑编程理论与实践5（1-2），123-159（2005）·Zbl 1093.68020号
[64] Petcu，A.，Faltings，B.：多智能体约束优化的分布式完整方法。摘自：第五届分布式约束推理国际研讨会论文集（DCR'04），IC/2004/65（2004）
[65] Pivkina，I.，Pontelli，E.，Son，T.C.：使用带偏好的修改编程修改多智能体系统中的知识。摘自：《第四届多智能体系统计算逻辑国际研讨会论文集》（CLIMA IV），第134-158页（2004）·Zbl 1110.68508号
[66] Przymusinska，H.，Przymusinski，T.：演绎数据库和逻辑程序中的语义问题。摘自：《人工智能中的形式技术》，第321-367页（1990年）·Zbl 0704.68034号
[67] Rossi，F.、Venable，K.、Walsh，T.：mCP网络：用多个代理的偏好进行表示和推理。摘自：《第19届人工智能会议论文集》（AAAI'04），第729–734页（2004）
[68] Sadri，F.、Toni，F.和Torroni，P.：谈判代理的诱因逻辑编程架构。摘自：《第八届欧洲人工智能逻辑会议论文集》（JELIA’02），第419–431页（2002）·Zbl 1013.68205号
[69] Sandholm，T.W.：分布式理性决策。麻省理工学院出版社，马萨诸塞州剑桥，美国（1999）
[70] Schlosser，M.T.、Sintek，M.、Decker，S.、Nejdl，W.：HyperCuP–超立方体、本体论和对等网络上的高效搜索。摘自：第一届代理与对等计算国际研讨会论文集（AP2PC’02），第112–124页（2002）·Zbl 1023.68834号
[71] Schroeder，M.，de Almeida Mora，I.，Pereirat，L.M.：基于逻辑编程的深思熟虑和反应式诊断代理。摘自：第八届人工智能工具国际会议记录（ICTAI’96），第436页（1996）
[72] Syrjänen，T.，Niemelä，I.：斯莫德尔斯体系。摘自：《第六届逻辑程序设计和非单调推理国际会议论文集》（LPNMR’01），第434–438页（2001）·Zbl 1010.68797号
[73] Yager，R.R.：多智能体偏好排序的融合。模糊集系统。117(1), 1–12 (2001) ·Zbl 1032.91045号 ·doi:10.1016/S0165-0114（98）00418-7
[74] Yokoo，M.，Hirayama，K.：分布式约束满足算法：综述。自动。代理人。多代理系统。3（2），185–207（2000年）·Zbl 05387453号 ·doi:10.1023/A:1010078712316
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。