跳到主要内容
研究论文

随机多智能体系统中认知信任的推理

发布时间:2019年7月16日出版历史
跳过抽象节

摘要

我们考虑将随机多智能体系统建模为随机多人游戏,并制定了一个用于量化和推理智能体信任的自动验证框架。为了获取人类的信任,我们使用了信任的认知概念,该概念被定义为对代理人的主观评估A类制造代理B类的完成任务的能力,这反过来可能导致A类依赖B类我们提出了一种概率理性时序逻辑PRTL*,该逻辑扩展了概率计算树逻辑PCTL*,并对心理态度(信念、目标和意图)进行了推理,包括可以表达能力、性格和依赖等社会信任概念的新操作符。例如,逻辑可以表示“代理A类最终将信任代理B类至少有可能第页B将以确保成功完成给定任务的方式行事。”我们研究了自动验证问题的复杂性,虽然一般问题是不可判定的,但我们确定了逻辑和系统上的限制,这些限制导致了可判定甚至可处理的子问题。

工具书类

  1. 库马尔·阿卡什(Kumar Akash)、胡万林(Wan-Lin Hu)、尼拉·贾恩(Neera Jain)和塔希拉·里德(Tahira Reid)。2018年。使用EEG和GSR感知机器中人类信任的分类模型。CoRR abs/1803.09861(2018)。谷歌学者谷歌学者
  2. S.E.Asch公司。1946.形成个性印象。J.Abnorm公司。Soc.心理学。40, 3 (1946), 258--290.谷歌学者谷歌学者交叉引用交叉引用
  3. 阿德南·阿齐兹(Adnan Aziz)、维吉安·辛格尔(Vigyan Singhal)、费利斯·巴拉林(Felice Balarin)、罗伯特·布雷顿(Robert Brayton)和阿尔贝托·桑吉奥瓦尼·文森特利(Alberto Sangiovanni-Vincentel。1995年。它通常起作用:随机系统的时间逻辑。在计算机辅助验证中。柏林施普林格,155-165。谷歌学者谷歌学者数字图书馆数字图书馆
  4. 克里斯特尔·拜尔(Christel Baier)、朱斯特·佩特尔·卡托恩(Joost-Pieter Katoen)和金·古德斯特兰·拉森(Kim Guldstrand Larsen)。2008.模型检查原则。麻省理工学院出版社。谷歌学者谷歌学者数字图书馆数字图书馆
  5. 乔伊斯·伯格(Joyce Berg)、约翰·迪克豪特(John Dickhaut)和凯文·麦卡贝(Kevin McCabe)。1995年。信任、互惠和社会历史。游戏经济。行为。10, 1 (1995).谷歌学者谷歌学者
  6. M.E.布拉特曼。1987.意图、计划和实际理由。哈佛大学出版社,马萨诸塞州剑桥。谷歌学者谷歌学者
  7. 克里斯蒂亚诺·卡斯特弗兰基和法比奥·帕格里里,2007年。信念在目标动力中的作用:构建意图理论的序言。合成155,2(2007),237-263。谷歌学者谷歌学者交叉引用交叉引用
  8. Souymodip Chakraborty和Joost-Pieter Katoen。2016.关于一些简单概率逻辑的可满足性。第31届ACM/IEEE计算机科学逻辑研讨会(LICS’16)会议记录。ACM,纽约州纽约市,56-65。谷歌学者谷歌学者数字图书馆数字图书馆
  9. Ashok K.Chandra、Dexter C.Kozen和Larry J.Stockmeyer。1980年替代。《美国临床医学杂志》28,1(1980),114--133。谷歌学者谷歌学者数字图书馆数字图书馆
  10. Krishnendu Chatterjee、Martin Chmelik和Mathieu Tracol。2016年,关于部分可观察的马尔可夫决策过程,哪些是可决定的。J.计算。系统。科学。82, 5 (2016), 878--911.谷歌学者谷歌学者数字图书馆数字图书馆
  11. 陈敏(Min Chen)、尼古拉迪斯(Stefanos Nikolaidis)、索哈罗德(Harold Soh)、徐大卫(David Hsu)和斯里尼瓦萨(Siddhartha Srinivasa)。2018年,在信任的基础上规划人机协作。CoRR abs/1801.04099(2018)。谷歌学者谷歌学者数字图书馆数字图书馆
  12. T.Chen、V.Forejt、M.Kwiatkowska、D.Parker和A.Simaitis。2013.竞争随机系统的自动验证。形式方法系统。设计。43, 1 (2013).谷歌学者谷歌学者
  13. E.M.Clarke、O.Grumberg和D.Peled。1999.模型检查。麻省理工学院出版社。谷歌学者谷歌学者数字图书馆数字图书馆
  14. Brian J.Corbitt、Theerasak Thanaskit和Han Yi。2003.信任与电子商务:消费者认知研究。选举人。商业研究申请。2, 3 (2003), 203--215.谷歌学者谷歌学者交叉引用交叉引用
  15. 克里斯蒂安·德内特(Christian Dehnert)、塞巴斯蒂安·荣格斯(Sebastian Junges)、朱斯特·佩特·卡托恩(Joost-Pieter Katoen)和马蒂亚斯·沃尔克(Matthias Volk)。2017年,风暴即将来临:现代概率模型检查器。CoRR abs/1702.04311(2017年)。谷歌学者谷歌学者
  16. R.Fagin、J.Halpern、Y.Moses和M.Vardi。1995.知识推理。麻省理工学院出版社。谷歌学者谷歌学者数字图书馆数字图书馆
  17. R.Falcone和C.Castelfranchi。2001.社会信任:认知方法。虚拟社会中的信任与欺骗。Kluwer,55-90岁。谷歌学者谷歌学者数字图书馆数字图书馆
  18. 尼尔·弗里德曼(Nir Friedman)和约瑟夫·霍尔珀(Joseph Y.Halpern)。1997.动态系统建模信念,第一部分:基础。Artif公司。智力。95, 2 (1997), 257--316.谷歌学者谷歌学者数字图书馆数字图书馆
  19. D.甘贝塔(编辑)。1990年信托。牛津大学巴兹尔·布莱克威尔。谷歌学者谷歌学者
  20. Judy Goldsmith和Martin Mundhenk。1998年,马尔可夫决策过程中的复杂性问题。第13届IEEE计算复杂性年会论文集。谷歌学者谷歌学者数字图书馆数字图书馆
  21. P.M.戈尔维策。1993.目标实现:意图的作用。欧洲心理学评论。4, 1 (1993), 141--185.谷歌学者谷歌学者交叉引用交叉引用
  22. 约瑟夫·霍尔珀(Joseph Y.Halpern)和马克·塔特尔(Mark R.Tuttle)。1993.知识、概率和对手。美国医学会期刊40,3(1993),917--962。谷歌学者谷歌学者数字图书馆数字图书馆
  23. 汉斯·汉森和本特·琼森。1994.关于时间和可靠性的推理逻辑。形式方面计算。6, 5 (1994), 512--535.谷歌学者谷歌学者数字图书馆数字图书馆
  24. 拉塞尔·哈丁。2002.信任和诚信。Russell Sage基金会。谷歌学者谷歌学者
  25. 安德烈亚斯·埃尔齐格(Andreas Herzig)、埃米利亚诺·洛里尼(Emiliano Lorini)、乔米·福布纳(Jomi Fübner)和劳伦特·维库特(Laurent Vercouter)。2010年,信任和声誉的逻辑。《逻辑学杂志》IGPL 18,1(2010),214--244。谷歌学者谷歌学者交叉引用交叉引用
  26. 安德烈亚斯·埃尔齐格(Andreas Herzig)、埃米利亚诺·洛里尼(Emiliano Lorini)和弗雷德里克·莫伊桑(Frédéric Moisan)。2013.基于命题赋值的简单信任逻辑。认知的目标:纪念克里斯蒂亚诺·卡斯特弗朗奇的论文,407-419。谷歌学者谷歌学者
  27. 罗宾·霍加斯(Robin M.Hogarth)和希勒尔·埃因霍恩(Hillel J.Einhorn)。信念更新中的秩序效应:信念调整模型。认知。精神病。24, 1 (1992), 1--55.谷歌学者谷歌学者交叉引用交叉引用
  28. 黄晓伟和Marta Kwiatkowska。2017.随机多智能体系统中认知信任的推理。在第31届AAAI人工智能会议(AAAI’17)的会议记录中。谷歌学者谷歌学者数字图书馆数字图书馆
  29. 奥顿·约桑。2001.不确定概率逻辑。国际J.Uncert。模糊。知识-基于系统。9, 3 (2001), 279--311.谷歌学者谷歌学者数字图书馆数字图书馆
  30. L.Kagal、T.Finin和A.Joshi。2001.普适计算环境中基于信任的安全。计算机34,12(2001),154--157。谷歌学者谷歌学者数字图书馆数字图书馆
  31. 约翰·凯梅尼(John G.Kemeny)、J.劳里·斯内尔(J.Laurie Snell)和安东尼·克纳普(Anthony W.Knapp)。1967年,无数马尔可夫链。斯普林格·弗拉格。谷歌学者谷歌学者
  32. 卡尔·克鲁科夫(Karl Krukow)、莫根斯·尼尔森(Mogens Nielsen)和弗拉迪米罗·萨松(Vladimiro Sassone)。2008.泛在计算中的信任模型。菲洛斯。事务处理。罗伊。Soc.伦敦。A 3661881(2008),3781-3793。谷歌学者谷歌学者交叉引用交叉引用
  33. 本杰明·库珀斯。2016年。什么是信任?我的机器人如何获得信任?在2016年机器人学:科学与系统研讨会上的“自治机器人的社会信任”演讲中。谷歌学者谷歌学者
  34. 本杰明·库珀斯。2018年。我们如何信任机器人?Commun公司。ACM 61,3(2018年2月),86-95。谷歌学者谷歌学者数字图书馆数字图书馆
  35. M.Kwiatkowska、G.Norman和D.Parker。2011年,PRISM 4.0:概率实时系统验证。在第23届计算机辅助验证国际会议(CAV’11)的会议记录中,G.Gopalakrishnan和S.Qadeer(编辑),计算机科学讲稿,第6806卷。施普林格,585--591。谷歌学者谷歌学者数字图书馆数字图书馆
  36. Morteza Lahijanian和Marta Kwiatkowska。2016年,社会信任:自治系统未来的重大挑战。AAAI秋季学术研讨会论文集,关于自治系统的跨学科挑战(2016年AAAI秋学术研讨会)。AAAI出版社。谷歌学者谷歌学者
  37. 戴夫·李。2016年,美国在特斯拉发生致命车祸后对其展开调查。英国广播公司(BBC)新闻。2016年7月1日检索自http://www.bbc.co.uk/news/technology-36680043。谷歌学者谷歌学者
  38. 约翰·D·李和卡特里娜·A·看。2004年。对自动化的信任:为适当的依赖而设计。J.Hum.因素Ergon。Soc.46,1(2004),50-80。谷歌学者谷歌学者交叉引用交叉引用
  39. 罗杰·梅耶(Roger C.Mayer)、詹姆斯·戴维斯(James H.Davis)和弗·戴维·斯科曼(F.David Schoorman)。1995.组织信任的综合模型。阿卡德。管理。第20版,第3版(1995年),第709-734页。谷歌学者谷歌学者交叉引用交叉引用
  40. 约翰·朱尔斯·查·梅耶(John-Jules Ch.Meyer)、扬·布罗森(Jan Broersen)和安德烈亚斯·赫齐格(Andreas Herzig)。2014年,BDI逻辑。在《认识逻辑手册》中。学院出版物。谷歌学者谷歌学者
  41. J.-J.Ch Meyer、Wiebe van der Hoek和Bernd van Linder。1999.承诺动态的逻辑方法。Artif公司。智力。113, 1 (1999), 1--40.谷歌学者谷歌学者数字图书馆数字图书馆
  42. 阿扎里亚·巴兹。1971.概率自动机导论(计算机科学和应用数学)。学术出版社。谷歌学者谷歌学者数字图书馆数字图书馆
  43. 朱迪娅·珀尔。非单调推理的概率语义学:一项调查。《知识表示和推理原则国际会议论文集》(KR'94)。谷歌学者谷歌学者数字图书馆数字图书馆
  44. Anand S.Rao和Michael P.Georgeff。1991.在BDI架构中建模理性代理。《知识表示和推理原则国际会议论文集》(KR’91)。谷歌学者谷歌学者数字图书馆数字图书馆
  45. Frank E.Ritter、Josef Nerb、Erno Lehtinen和Timothy O'Shea。2007.为了学习:主题顺序如何影响学习。牛津大学出版社。谷歌学者谷歌学者交叉引用交叉引用
  46. 克劳斯·席尔德。2000.关于BDI逻辑和并发标准逻辑之间的关系。自治代理和多代理系统3,3(2000),259--283。谷歌学者谷歌学者数字图书馆数字图书馆
  47. Tina Setter、Andrea Gasparri和Magnus Egerstedt。2016年,移动代理团队中基于信任的互动。美国控制会议记录。6158--6163.谷歌学者谷歌学者交叉引用交叉引用
  48. 尼古拉斯·斯威特(Nicholas Sweet)、尼萨尔·艾哈迈德(Nisar R.Ahmed)、乌古尔·库特(Ugur Kuter)和克里斯托弗·米勒(Christopher Miller)。2016年,增强自主系统的自信心。AIAA Infotech航空航天会议论文集。1651--1652.谷歌学者谷歌学者交叉引用交叉引用
  49. Wen-Guey Tzeng先生。概率自动机等价的多项式时间算法。SIAM J.计算。21, 2 (1992), 216--227.谷歌学者谷歌学者数字图书馆数字图书馆
  50. 威比·范德霍克(Wiebe van der Hoek)、沃伊西奇·贾姆罗加(Wojciech Jamroga)和迈克尔·伍尔德里奇(Michael Wooldridge)。2007.走向意图修正理论。综合155,2(2007),265--290。谷歌学者谷歌学者交叉引用交叉引用

索引术语

  1. 随机多智能体系统中认知信任的推理

        建议

        评论

        登录选项

        检查您是否可以通过登录凭据或您的机构访问本文。

        登录

        完全访问权限

        • 发布于

          封面图片ACM计算逻辑事务
          ACM计算逻辑汇刊 第20卷第4期
          2019年10月
          323页
          国际标准编号:1529-3785
          EISSN公司:1557-945倍
          内政部:10.1145/3347091
          期刊目录

          版权©2019 ACM

          允许制作本作品的全部或部分数字或硬拷贝供个人或课堂使用,但不收取任何费用,前提是复制品的制作或分发不是为了盈利或商业利益,并且复制品在首页注明本通知和完整引文。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

          出版商

          计算机协会

          美国纽约州纽约市

          出版历史

          • 发布时间:2019年7月16日
          • 认可的:2019年4月1日
          • 修订过的:2019年1月1日
          • 收到:2018年6月1日
          发布于tocl公司第20卷第4期

          权限

          请求有关此文章的权限。

          请求权限

          检查更新

          限定符

          • 研究论文
          • 研究
          • 推荐

        PDF格式

        以PDF文件查看或下载。

        PDF格式

        电子阅读器

        使用eReader联机查看。

        电子阅读器

        HTML格式

        以HTML格式查看本文。

        查看HTML格式