×

通过可信度累积将存在规则程序合并到多agent环境中。 (英语) 兹比尔1484.68240

摘要:合并操作符是从一组代理中提取一致且信息丰富的视图的重要工具。考虑到一些代理可能比其他代理更可信的实际场景,大大提高了开发使用信任模型的系统的兴趣。在这种情况下,我们提出了一种在多代理场景中合并知识的方法,其中每个代理都向其他代理分配一个值,以反映其对每个代理可信度的感知。本文的重点是引入一个用于合并的运算符考虑代理可信度的本体。我们提出了一个程序,通过利用一套公式的可信度来加强冲突解决策略;该方法基于权责发生函数,该函数根据通知公式的代理的可信度计算公式的值。我们展示了我们的新操作员如何根据来源的可信度,在可用的一致基础中获得最有价值的知识库。

MSC公司:

68立方英尺 知识表示
68T42型 Agent技术与人工智能
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Alchourrón,C。;Gärdefors,P。;Makinson,D.,《论理论变革的逻辑:部分满足收缩和修正函数》,J.符号逻辑,50,2,510-530(1985)·Zbl 0578.03011号
[2] Alchourrón,C。;Makinson,D.,调节层次及其逻辑,道义逻辑新研究,125-148(1981)
[3] Anam,S。;Kim,Y.S。;Kang,B.H。;Liu,Q.,《将基于知识的模式匹配系统应用于本体映射》,(澳大利亚计算机科学周多会议论文集ACM(2016)),27
[4] 阿尔贾尼,F。;Bouchiha,D。;Malki,M.,《本体论对齐技术:调查与分析》,《国际现代教育杂志》。计算。科学。,7, 11, 67 (2015)
[5] 阿雷纳斯,M。;贝托西,L.E。;Chomicki,J.,《不一致数据库中的一致查询答案》(第十八届ACM数据库系统原理研讨会论文集,1999年),68-79
[6] 贝尔,D.A。;齐,G。;Liu,W.,基于描述逻辑的本体中的不一致处理方法,OTM研讨会,21303-3112007
[7] E.Black,A.Hunter,J.Z.Pan,《使用多本体论的基于论证的方法》,载于:SUM,2009年,第68-79页。
[8] Brandt,F。;科尼策,V。;Endriss,美国。;朗·J。;Procaccia,A.D.,《计算社会选择手册》(2016),剑桥大学出版社·Zbl 1436.91001号
[9] F.Brandt,V.Conitzer,L.A.Hemaspandra,J.Laslier,W.S.Zwicker(编辑),《社会选择的计算基础》,2003年7月12.03.2010. 达格斯图尔研讨会论文集第10101卷。达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik,德国,2010年。
[10] 加利福尼亚州,A。;Gottlob,G。;Lukasiewicz,T.,《本体论上易于处理的查询应答的基于数据日志的通用框架》,J.Web Semantic,14,57-83(2012)
[11] Cholvy,L.,《推理矛盾信息及其某些应用的一般框架》(Prade,H.,《代理人之间的ECAI冲突研讨会》,英国(1998年))
[12] 迪古西尼,公元前。;马丁内斯,M.V。;法拉帕,医学硕士。;Simari,G.R.,Datalog+-本体整合,J.Artif。智力。决议,56,613-656(2016)·Zbl 1371.68266号
[13] 迪古西尼,公元前。;马丁内斯,M.V。;法拉帕,医学硕士。;Simari,G.R.,《信念累积导致的信念基础收缩》,Artif。整数。,275, 78-103 (2019) ·Zbl 1478.68349号
[14] J.P.Delgrande,T.Schaub,H.Tompits,S.Woltran,在回答集语义下合并逻辑程序,见:ICLP,2009,第160-174页·Zbl 1251.68057号
[15] Dietrich,F.,《判断汇总评分规则》,Soc.Choice Welfare,42,4,873-911(2014)·兹比尔1302.91080
[16] D.Eckert、G.Pigozzi,《信念合并、判断聚合以及与社会选择理论的某些联系》,载于:J.P.Delgrand、J.Lang、H.Rott、J.Tallon(编辑),《理性主体中的信念变化:人工智能、哲学和经济学的观点》。Dagstuhl研讨会论文集第05321卷。国际教育协会(Internationales Begegnungs-und Forschungszentrum für Informatik,IBFI),德国达格斯图尔宫,2005年,第1-14页。
[17] 埃弗拉雷,P。;科尼奇尼,S。;Marquis,P.,《合成信念合并》(Brewka,G.;Eiter,T.;McIlraith,S.A.,《知识表示和推理原则:第十三届国际会议论文集》(2012),AAAI出版社:AAAI意大利出版社),603-607
[18] 法拉帕,医学硕士。;加西亚,a.J。;克恩·伊斯伯纳,G。;Simari,G.R.,《用论证推理修正分层信念基础》,J.Philos。逻辑,42,1,161-193(2013)·Zbl 1260.03024号
[19] 法拉帕,医学硕士。;克恩·伊斯伯纳,G。;Reis,M.D.L。;Simari,G.R.,《基于信念的优先和非优先多重改变》,J.Philos。逻辑,41,1,77-113(2012)·Zbl 1252.03032号
[20] D.Gabbay、G.Pigozzi、O.Rodrigues,信念修正、信念合并和投票的共同基础,收录于:G.Bonanno、J.Delgrand、J.Lang、H.Rott(编辑),《理性代理中信念变化的形式模型》。Dagstuhl研讨会论文集第07351号。Internationales Begegnungs-und Forschungszentrum für Informatik(IBFI),德国达格斯图尔宫,2007年,第1-16页。
[21] Gärdenfors,P.,《信仰理性变化的规则》,《给伦纳德的哲学论文》克维斯特50岁生日,88-101(1982)
[22] 格兰迪逊,T。;Sloman,M.,互联网应用信任调查,IEEE Commun。Surv公司。导师。,3, 4, 2-16 (2000)
[23] S.O.Hansson,《信念基础动力学》(博士论文),乌普萨拉大学哲学系,乌普巴拉,瑞典,1991年。
[24] Hansson,S.O.,《内核收缩》,J.符号逻辑,59,3,845-859(1994)·Zbl 0810.03017号
[25] Hansson,S.O.,《信念动力学教科书:运动的解决方案》(2001),Kluwer学术出版社:Kluwer-学术出版社美国马萨诸塞州诺威尔
[26] W·哈珀,《理性信念改变,波普尔函数与反事实》。综合30,1975,221-262·兹比尔0326.60002
[27] J.Hué,O.Papini,E.Würbel,《逻辑程序代表的合并信念基础》,载于:ECSQARU,2009年,第371-382页·Zbl 1245.68187号
[28] A.Hunter,W.Liu,《基于支持程度的知识库分层和合并》,载于:C.Sossai,G.Chemello(编辑),《不确定性推理的符号和定量方法》,第十届欧洲会议,ECSQARU。诉讼程序。计算机科学讲义第5590卷。意大利施普林格,2009年,第383-395页·Zbl 1245.68194号
[29] N.E.Kfir-Dahav,M.Tennenholtz,《多主体信念修正》,载于:《第六届理性与知识理论方面会议记录》,德泽乌斯·斯特罗姆,荷兰,1996年3月17日至20日,1996年,第175-194页。
[30] 科尼奇尼,S。;Pérez,R.P.,《约束下的信息合并:逻辑框架》,J.Logic Comput。,12, 5, 773-808 (2002) ·兹比尔1020.68086
[31] 科尼奇尼,S。;Pérez,R.P.,基于逻辑的合并,J.Philos。逻辑,40,2,239-270(2011)·Zbl 1233.03024号
[32] 拉法吉,C。;Lang,J.,群体决策偏好的逻辑表示,(第七届知识表示与推理原则国际会议论文集(2000),摩根考夫曼出版社),457-468
[33] M.Lenzerini,《数据集成:理论视角》,载于:PODS,2002年,第233-246页。
[34] Levi,I.,《从属物、处置和机会,综合》,第34、4、423-455页(1977年)·Zbl 0364.02002
[35] 林,J。;Mendelzon,A.O.,《以多数合并知识库》(Dynamic worlds(1999),Springer),195-218·Zbl 0926.68135号
[36] 刘伟。;威廉姆斯,M.-A.,《多智能体信念修正框架》,逻辑研究所。,67, 2, 291-312 (2001) ·Zbl 0984.68519号
[37] Lukasiewicz,T。;马丁内斯,M.V。;Simari,G.I.,《数据日志+/-本体论中的不一致处理》(第20届欧洲人工智能会议(ECAI)(2012)),558-563·Zbl 1327.68280号
[38] 马丁内斯,M。;普利斯,A。;Simari,G。;Subrahmanian,V。;Prade,H.,你的关系数据库有多脏?公理方法,(第九届欧洲不确定性推理符号和定量方法会议(ECSQARU),突尼斯(2007),施普林格:施普林格柏林),103-114·Zbl 1148.68353号
[39] T.Meyer,K.Lee,R.Booth,《描述逻辑的知识集成》,载于:COMMONSENSE,AAAI出版社,2005年,第645-650页。
[40] 梅耶,T.A。;拉布夏涅,W.A。;海德玛,J.,《精炼认知巩固》,J.逻辑语言信息。,9, 2, 237-259 (2000) ·兹伯利0988.03031
[41] Nisar,T。;Yaung,M.,推特作为预测股市走势的工具:一项短窗口事件研究,J.Finance Data Sci。,4 (2018)
[42] Sabater,J。;Sierra,C.,《计算信任和声誉模型评论》,Artif。智力。修订版,24,133-60(2005)·Zbl 1138.68580号
[43] 施文,北。;井上,K。;伯恩,G。;科尼奇尼,S。;Marquis,P.,《信念修正游戏》,(美国第二十届AAAI人工智能会议论文集(2015)),1590-1596
[44] 北施温德。;科尼奇尼,S。;Marquis,P.,命题合并的信念基础合理化,J.Log。计算。,28, 7, 1601-1634 (2018) ·Zbl 1444.68191号
[45] N.Schwind,P.Marquis,《关于信仰融合的共识》,载于《第三十二届AAAI人工智能会议论文集》(AAAI-18)、《第三十届人工智能创新应用》(IAAI-18,2018年,2018年,第1949-1956页。
[46] Tamargo,L.H。;迪古西尼,公元前。;a.J.加西亚。;法拉帕,医学硕士。;Simari,G.R.,《基于信念的多源多重变化》,《国际近似推理》,第110期,第145-163页(2019年)·Zbl 1460.68102号
[47] Tamargo,L.H。;a.J.加西亚。;法拉帕,医学硕士。;Simari,G.R.,《基于信息者的多智能体系统知识动力学建模》,《知识工程评论》,27,1,87-114(2012)
[48] Tamargo,L.H。;a.J.加西亚。;法拉帕,医学硕士。;Simari,G.R.,《关于检举人可信度命令的修订》,Artif。整数。,212, 36-58 (2014) ·兹比尔1405.68368
[49] Turner,H.,《轻松实现强等价:嵌套表达式和权重约束》,《理论实践逻辑编程》,3,4-5,609-622(2003)·Zbl 1079.68017号
[50] 灌木,O。;Grundspenkis,J.,语义网络专家系统背景下的本体合并,(知识工程与语义网络国际会议,Springer(2013)),191-201
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。