×

代理团队中主动信息交换的理论框架。 (英语) Zbl 1132.68785号

概要:积极主动的信息传递对实现有效的团队合作至关重要。然而,现有理论并没有充分解决积极主动的消息传递问题。本文提出了代理团队中主动信息传递的形式化框架。首先,介绍了信息需求的概念。其次,使用了一个新的模式操作符InfoNeed来表示信息需求。研究了InfoNeed算子的性质及其与其他心智模式算子的关系,正式确定了四种类型的信息需求,提出并证明了预测其他代理信息需求的公理。第三,给出了描述大型代理团队中帮助行为链的公理。第四,根据Grosz和Kraus的SharedPlans形式主义,使用Cohen-Levesque交际行为语义的重新表述,给出了两种主动交际行为(ProInform和3PTSubscribe)的语义。本文的工作不仅提供了对证明主动信息交付行为所需的基本假设的更好理解,还为具有主动信息交付能力的代理团队的规范和设计提供了一致的基础。

MSC公司:

68T99型 人工智能
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] FIPA:代理通信语言规范(2002)
[2] M.J.Albers,《目标驱动的任务分析:提高情境意识以解决复杂问题》,载于:加拿大魁北克省第十六届国际计算机文献会议论文集,1998年,第234-242页;M.J.Albers,《目标驱动的任务分析:提高情境意识以解决复杂问题》,载于:加拿大魁北克省第十六届国际计算机文献会议论文集,1998年,第234-242页
[3] Allen,J.,从自然语言话语中识别意图,(Brady,M.;Berwick,R.C.,语篇计算模型(1983),麻省理工学院出版社:麻省理工学院出版社,马萨诸塞州剑桥),107-166
[4] 艾伦,J。;佩罗,C.,《言语中的意图分析》,《人工智能》,第15期,第143-178页(1980年)
[5] 奥斯汀,J.,《如何用文字做事》(1962),牛津大学出版社:牛津大学出版社
[6] 巴赫,K.,《交际意图、计划识别和语用学:对托马森和利特曼和艾伦的评论》(Cohen,P.;Morgan,J.;Pollack,M.,《交际中的意图》(1990年),麻省理工学院出版社:麻省理学学院出版社,马萨诸塞州剑桥),389-400
[7] 贝茨,M。;McDermott,D.,《反应性计划中的声明性目标》(Hendler,J.,《第一届人工智能规划系统国际会议论文集》(AIPS92)(1992),AAAI出版社),3-12
[8] S.Brainov,T.Sandholm,《关于他人的推理:表示和处理无限信仰层次》,载于:《国际资本市场协会会议录》2000年第71-78页;S.Brainov,T.Sandholm,《关于他人的推理:表示和处理无限信仰等级》,载于:《国际资本市场协会会议记录》2000年第71-78页
[9] 勃兰登堡州。;Dekel,E.,《信仰和常识的等级》,《经济理论》,59189-198(1993)·Zbl 0773.90109号
[10] Bratman,M.E.,《意图、计划和实践理性》(1987),哈佛大学出版社
[11] 布莱特,P。;Sadek,M.,《作为合作对话系统核心的理性主体:实现交互逻辑理论》(ECAI-96《主体理论、架构和语言研讨会论文集》(1996),施普林格出版社:施普林格柏林),261-276
[12] Brown,G.,《表征间接言语行为》,Amer。计算语言学杂志,6,3-4,150-166(1980)
[13] 卡多利,M。;Lenzerini,M.,命题封闭世界推理和限定的复杂性,J.Compute。系统科学。,48, 255-310 (1994) ·Zbl 0806.68096号
[14] Cannon-Bowers,J.A。;Salas,E.,《在培训中制定团队绩效衡量标准的框架》(Brannick,M.等人,《团队绩效评估和衡量:理论、方法和应用》(1997),劳伦斯·埃尔鲍姆协会:劳伦斯·埃尔鲍姆协会,新泽西州希尔斯代尔)
[15] Cannon-Bowers,J.A。;萨拉斯,E。;匡威,S.A.,《认知心理学与团队训练:训练共享心理模型和复杂系统》,《人因社会公牛》。,33, 1-4 (1990)
[16] J.A.Cannon-Bowers,E.Salas,S.A.Converse,《专家团队决策中的共享心理模型》,收录于:《个人和团队决策》,新泽西州卡斯特伦,1993年,第221-246页;J.A.Cannon-Bowers,E.Salas,S.A.Converse,《专家团队决策中的共享心理模型》,收录于:《个人和团队决策》,新泽西州卡斯特伦,1993年,第221-246页
[17] Chaib-Draa,B。;Dignum,F.,《代理通信语言趋势》,计算智能,18,2,89-101(2002)
[18] 乔普拉,A。;Singh,M.,《非单调承诺机器》(Dignum,F.,《代理通信的进展》,《代理通讯的进展》(Advances in Agent Communication),讲稿,Artif.Intell.,第2922卷(2004),Springer:Springer Berlin),183-200·兹比尔1029.00049
[19] P.R.Cohen,《识别作为计划行动的必要性》,载于:第七届国际人工智能联合会议记录,不列颠哥伦比亚省温哥华,1981年;P.R.Cohen,《将身份识别作为计划行动的必要性》,载于:《第七届国际人工智能联合会议论文集》,不列颠哥伦比亚省温哥华,1981年
[20] 科恩,P.R。;Levesque,H.J.,《意图是有承诺的选择》,《人工智能》,42,213-261(1990)·Zbl 0721.03017号
[21] P.R.Cohen,H.J.Levesque,《基于理性的言语行为理论中的行为》,载《计算语言学协会第28届年会论文集》,1990年,第79-88页;P.R.Cohen,H.J.Levesque,《基于理性的言语行为理论中的行为》,载《计算语言学协会第28届年会论文集》,1990年,第79-88页
[22] 科恩,P.R。;Levesque,H.J.,《作为沟通基础的理性互动》,(《沟通中的意图》(1990),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥),221-255
[23] 科恩,P.R。;Levesque,H.J.,《努斯团队工作》,25,4,487-512(1991)
[24] 科恩,P.R。;Levesque,H.J.,《人工智能体的通信作用》(《多智能体系统国际会议论文集》(1995年),AAAI出版社),65-72
[25] 科恩,P.R。;Levesque,H.J。;Smith,I.A.,《论团队形成》,(Holmstrom Hintikka,G.;Tuomela,R.,《当代行动理论》,第2卷:社会行动(1997),Kluwer:Kluwer-Dordrecht),87-114
[26] 成本,R。;陈,Y。;菲宁,T。;拉布,Y。;Peng,Y.,《使用有色petri网进行对话建模》(Dignum,F.;Greaves,M.,《通信问题》(2000),施普林格出版社:施普林格-柏林),178-192年
[27] Crant,J.,《组织中的积极行为》,J.Management,26,3,435-462(2000)
[28] 克兰特,J。;Bateman,T.,《从上看魅力领导力:积极主动人格的影响》,《组织行为学》,21,63-75(2000)
[29] Cybenko,G。;Brewington,B.,《信息推拉的基础》(O’Leary,D.,《信息数学》(1998),施普林格出版社:施普林格-柏林)·Zbl 0932.68040号
[30] Davis,E.,《计划的知识前提条件》,J.Logic Comput。,4, 5, 721-766 (1994) ·Zbl 0815.68103号
[31] Decker,K。;Lesser,V.,《设计协调算法家族》(1995),AAAI出版社,第73-80页
[32] Dickinson,T。;McIntyre,R.,《团队合作测量的概念框架》(Brannick,M.T.;Salas,E.;Prince,C.,《团队绩效评估和测量:理论、方法和应用》(1997),埃尔鲍姆:埃尔鲍姆-希尔斯代尔,新泽西州),19-44
[33] Digman,J.,《人格结构:五因素模型的出现》,《年鉴》。心理学牧师。,41, 417-440 (1990)
[34] Dignum,F。;Greaves,M.,《Agent Communication中的问题》,讲稿Artif。智力。,第1916卷(2000),《施普林格:柏林施普林格》
[35] 费金,R。;Halpern,J.Y。;摩西,Y。;Vardi,M.,《关于知识的推理》(1995),麻省理工学院出版社:麻省理学院出版社剑桥·Zbl 0839.68095号
[36] 范,X。;Sun,S。;McNeese,M。;Yen,J.,《扩展识别-时间决策模型以支持人机协作》,(第四届国际自治代理和多代理系统联合会议(AAMAS)会议记录(2005),ACM出版社)
[37] 范,X。;Yen,J.,《潜在意图的语义》,(第二十届全国人工智能会议论文集(AAAI-05)(2005),AAAI出版社)
[38] Genrich,H.J。;Lautenbach,K.,用高级petri网进行系统建模,Theoret。计算。科学。,1, 109-136 (1981) ·Zbl 0454.68052号
[39] J.Giampapa,K.Sycara,RETSINA多智能体系统中面向团队的智能体协调,技术报告CMU-RI-TR-02-34,卡内基梅隆大学机器人研究所,2002年;J.Giampapa,K.Sycara,RETSINA多智能体系统中的团队导向智能体协调,技术报告CMU-RI-TR-02-34,卡内基梅隆大学机器人研究所,2002年
[40] 格雷,R。;Cybenko,G。;Kotz博士。;彼得森,R。;Rus,D.,D'agents:移动代理系统的应用和性能,《软件、实践和经验》,32,6,543-573(2002)·Zbl 1009.68902号
[41] 格里夫斯,M。;Holmback,H。;Bradshaw,J.,什么是对话策略?,(代理通信问题(2000),施普林格:施普林格柏林),118-131
[42] Grosz,B。;Kraus,S.,《复杂群体行动的协作计划》,《人工智能》,86,269-358(1996)·Zbl 1523.68100号
[43] B.Grosz,S.Kraus,《共享计划的演变》,载于:A.Rao,M.Wooldridge(编辑),《理性机构的基础和理论》,1999年,第227-262页;B.Grosz,S.Kraus,《共享计划的演变》,载于:A.Rao,M.Wooldridge(编辑),《理性机构的基础和理论》,1999年,第227-262页·Zbl 0926.68111号
[44] Grosz,B。;Sidner,C.,《话语计划》,(Cohen,P.;Morgan,J.;Pollack,M.,《沟通中的意图》(1990),麻省理工学院出版社:麻省理学院出版社剑桥,417-444
[45] Grunig,J.,《经济发展中的信息与决策》,《季刊》,565-575(1969)
[46] M.J.Huber。;库马尔,S。;科恩,P.R。;McGee,D.R.,《代理交际行为的形式语义学》(Meyer,J.-J.C.;Tambe,M.,《智能代理》VIII.《智能代理VIII》,2001年安乐出版社。智能代理VIII。Intelligent Agents VIII,安乐2001,计算机课堂讲稿。科学。,第2333卷(2002年),《施普林格:柏林施普林格》·Zbl 1050.68619号
[47] Hunsberger,L.,《使共享计划更简洁、更容易推理》(Müller,J.;Singh,M.P.;Rao,A.S.,《第五届智能代理国际研讨会论文集V:代理理论、架构和语言》(ATAL-98),第1555卷(1999),Springer:Springer-Hidelberg),81-98
[48] Ilgen,D.R。;Major博士。;霍伦贝克,J.R。;Sego,D.J.,《20世纪90年代的团队研究》(Chemers,M.;Ayman,R.,《领导力理论与研究:视角与方向》(1993),学术出版社:圣地亚哥学术出版社),245-270
[49] Jauch,L。;卡夫,K.,《不确定性战略管理》,美国科学院。管理修订版,11,4,777-790(1986)
[50] Jennings,N.R.,使用联合意图控制工业多智能体系统中的合作问题解决,人工智能,75,2,195-240(1995)
[51] 卡恩,M。;Cicalese,C.,CoABS网格可伸缩性实验,自治代理和多代理系统,7,1-2,171-178(2003)
[52] Kinny,D。;永贝里,M。;拉奥,A.S。;Sonenberg,E。;蒂达尔,G。;Werner,E.,《计划的团队活动》(Castelfranchi,C.;Werner(E.),《人工社会系统-MAAMAW-92》。人工社会系统-MAAMAW-92,课堂讲稿Artif。智力。,第830卷(1992年),施普林格出版社:施普林格·海德堡出版社),226-256
[53] 柯克曼,B。;Rosen,B.,《超越自我管理:团队授权的前因和后果》,美国科学院。《管理杂志》,42,58-74(1999)
[54] Klein,G.A.,《认知-时间决策》,(Rouse,W.B.,《人机系统研究进展》,第5卷(1989年),日本工业出版社:日本工业出版社,康涅狄格州格林威治),47-92
[55] 库马尔,S。;M.J.Huber。;科恩,P.R。;McGee,D.R.,《使用联合意图理论探讨会话协议的形式主义》,计算智能,18,2,174-228(2002)
[56] 库马尔,S。;胡贝尔,M.J。;McGee,D.R。;科恩,P.R。;Levesque,H.J.,《用于群体交互的代理通信语言语义》,(第17届全国人工智能会议论文集(AAAI 2000),德克萨斯州奥斯汀(2000),AAAI出版社/麻省理工学院出版社),42-47
[57] Labrou,Y.,《标准化代理通信》(Marik,V.;Stepankova,O.,《多代理系统和应用》(人工智能高级课程)(2001)),第74-97页·Zbl 0998.68689号
[58] 拉布,Y。;Finin,T.,《agent通信语言的语义和对话》(Huhns,M.;Singh,M.,《Agents中的阅读》(1998),Morgan Kaufmann:Morgan Koufmann San Mateo,CA),235-242
[59] 拉布鲁,Y。;Finin,T.,《代理通信语言的语义》,(Wooldridge,M.;Rao,A.;Singh,M.,《智能代理IV:代理理论、架构和语言》。《智能代理IV:代理理论、构架和语言》,计算机科学讲义,第1365卷(1998),施普林格:施普林格柏林),209-215
[60] 拉波特,T。;康索里尼,P.,《实践中的工作而非理论中的工作:高可靠性组织的理论挑战者》,《公共行政研究理论杂志》,1,1,19-47(1991)
[61] Larson,J。;Christensen,C.,《将问题解决单元分组:走向社会认知的新含义》,《英国社会心理学杂志》。,5-30 (1993)
[62] Levesque,H.J。;科恩,P.R。;Nunes,J.,《关于共同行动》(AAAI-90会议记录,马萨诸塞州波士顿(1990),Morgan Kaufmann:Morgan Koufmann San Mateo,CA),94-99
[63] 林,Z。;Carley,K.,《主动或被动:代理风格对组织决策绩效的影响分析》,《会计、财务和管理中的智能系统》,2271-289(1993)
[64] Litman,D.J。;Allen,J.F.,《话语处理和常识计划》,(《传播中的意图》(1990),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥),365-388
[65] K.E.Lochbaum,《支持机构间通信的计划模型》,载于:《AAAI机构间通信规划研讨会论文集》,西雅图,华盛顿州,1994年,第26-32页;K.E.Lochbaum,《支持代理间通信的计划模型》,载于《AAAI代理间通信规划研讨会论文集》,西雅图,华盛顿州,1994年,第26-32页
[66] K.E.Lochbaum,《使用合作计划来模拟话语的意图结构》,哈佛大学博士论文,技术报告TR-25-94。马萨诸塞州剑桥市,1994年;K.E.Lochbaum,《使用合作计划来模拟话语的意图结构》,哈佛大学博士论文,技术报告TR-25-94。马萨诸塞州剑桥市,1994年
[67] Lochbaum,K.E.,《语言处理中知识先决条件的使用》(Mellish,C.,《第十四届国际人工智能联合会议论文集》,旧金山(1995),Morgan Kaufmann:Morgan Koufmann San Mateo,CA),1260-1266
[68] McIntyre,R。;Salas,E.,《团队绩效的衡量和管理:复杂环境中的新兴原则》(Guzzo,R.;Salas,E..,《组织中的团队效能和决策》(1995),Jossey-Bass:Jossey-Bass San Francisco),149-203
[69] L.Morgenstern,《行动和计划的知识先决条件》,载于:IJCAI-87会议录,意大利米兰,1987年,第867-874页;L.Morgenstern,《行动和计划的知识先决条件》,载于:IJCAI-87会议录,意大利米兰,1987年,第867-874页
[70] OAIS公司。开放档案信息系统参考模型(1999年)
[71] C.Parunak,《可视化代理对话:使用增强的Dooley图进行代理设计和分析》,载于:《第二届多代理系统国际会议论文集》(ICMAS-96),1996年,第275-282页;C.Parunak,可视化agent对话:使用增强的Dooley图进行agent设计和分析,载于:第二届多agent系统国际会议论文集(ICMAS-96),1996年,第275-282页
[72] J.Pitt,A.Mamdani,《代理通信语言的基于协议的语义》,载于《IJCAI-99会议录》,瑞典斯德哥尔摩,1999年,第486-491页;J.Pitt,A.Mamdani,代理通信语言的基于协议的语义,收录于:《IJCAI-99会议录》,瑞典斯德哥尔摩,1999年,第486-491页
[73] Pollack,M.E.,《作为复杂心理态度的计划》(Cohen,P.;Morgan,J.;Pollack
[74] 波特,C。;霍伦贝克,J。;伊尔根,D。;埃利斯,A。;西部,B。;Moon,H.,《理解工作团队中的支持行为:个性的作用和支持他人需要的合法性》,J.Appl。心理医生。,88, 391-403 (2003)
[75] A.Rao,M.Georgeff,《多智能体系统的形式模型和决策程序》,《技术报告61》,澳大利亚人工智能研究所,澳大利亚墨尔本,1995年;A.Rao,M.Georgeff,《多智能体系统的形式模型和决策程序》,《技术报告61》,澳大利亚人工智能研究所,澳大利亚墨尔本,1995年
[76] Rentsch,J.R。;Hall,R.J.,《伟大团队的成员思维相似:团队有效性和团队成员之间模式相似性的模型》,(Beyerlin,M.M.;Johnson,D.A.,工作团队跨学科研究进展。工作团队跨学科研究进展,自我管理工作团队,第1卷(1994),JAI出版社:JAI Press Greenwich,CT),223-262
[77] C.Rich,C.Sidner,《胶原蛋白:当代理人与人合作时》,载于:《国际自治代理人会议论文集》(1997年),第284-291页;C.Rich,C.Sidner,《胶原蛋白:当代理人与人合作时》,载于:《国际自治代理人会议论文集》(1997年),第284-291页
[78] 劳斯,W。;Cannon-Bowers,J。;Salas,E.,心理模型在复杂系统团队绩效中的作用,IEEE Trans。系统。人类网络。,22, 6, 1296-1308 (1992)
[79] Searle,J.,《言语行为:语言哲学论文》(1969),剑桥大学出版社:剑桥大学出版社
[80] Searle,J.,《间接言语行为》(Cole,P.;Morgan,J.),《句法和语义》,第三版,《言语行为》,1975年,学术出版社:纽约学术出版社,第59-82页
[81] Searle,J.R.,《表演的工作原理》,语言学和哲学,12535-558(1989)
[82] Singh,M.P.,《代理通信语言:重新思考原则》,IEEE Computer,31,12,40-47(1998)
[83] Singh,M.P.,《agent通信语言的社会语义》(Dignum,F.;Greaves,M.,《代理通信中的问题》(2000),施普林格:施普林格-海德堡出版社),31-45
[84] I.Smith,P.Cohen,J.Bradshaw,M.Greaves,H.Holmback,《使用联合意图理论设计对话策略》,载于《第三届多智能体系统国际会议论文集》(ICMAS98),1998年,第269-276页;I.Smith,P.Cohen,J.Bradshaw,M.Greaves,H.Holmback,《使用联合意图理论设计会话策略》,载于《第三届多代理系统国际会议论文集》(ICMAS98),1998年,第269-276页
[85] I.A.史密斯。;Cohen,P.R.,《基于言语行为的agent通信语言语义研究》,(美国人工智能协会年会论文集(AAAI-96),俄勒冈州波特兰(1996),AAAI出版社),24-31
[86] Smith-Jentsch,K.A。;约翰逊,J.H。;Payne,S.C.,《在复杂环境中衡量团队相关专业知识》(Cannon-Bowers,J.A.;Salas,E.,《在压力下做出决策:对个人和团队训练的影响》(2000),美国心理协会),61-87
[87] 斯特林,L。;夏皮罗(Shapiro,E.),《序言艺术》(The Art of Prolog)(1986年),麻省理工学院出版社:麻省理学院出版社剑桥·Zbl 0605.68002号
[88] 斯通,P。;Veloso,M.,《实时战略团队的任务分解、动态角色分配和低带宽通信》,人工智能,110,241-273(1999)·兹比尔1047.68631
[89] K.Sycara,M.Lewis,《形成共享心理模型》,载于:《认知科学学会第13届年会论文集》,1991年,第400-405页;K.Sycara,M.Lewis,《形成共享心理模型》,载于:《认知科学学会第13届年会论文集》,1991年,第400-405页
[90] Sycara,K。;Lewis,M.,专家建模团队,(第27届夏威夷系统科学国际会议论文集(1994),IEEE社会出版社),271-280
[91] Tambe,M.,《走向灵活的团队合作》,《人工智能研究杂志》,第783-124页(1997年)
[92] 蒂达尔,G。;海因策,C。;Selvestrel,M.,《一起飞行:空中任务团队建模》,J.Appl。情报,8195-218(1998)
[93] 托梅拉,R。;Miller,K.,We-intentations,Philos。螺柱,53、2-3、367-389(1988)
[94] 美国空军科学咨询委员会,《关于建立联合作战空间信息圈的报告》,第卷。SAB-TR-99-021999年12月第1、2页;美国空军科学咨询委员会,《关于建立联合作战空间信息圈的报告》,第卷。1999年12月SAB-TR-99-02第1、2页
[95] J.Vidal,E.Durfee,《信息经济中嵌套代理模型的影响》,载于《1996年国际资本市场协会会刊》,第377-384页;J.Vidal,E.Durfee,《信息经济中嵌套代理模型的影响》,载于《1996年国际资本市场协会会议记录》,第377-384页
[96] 维托,B。;Huget,M.-P.,交互协议中的模块化,(Dignum,F.,《代理通信进展》,《代理通讯进展》,讲稿,Artif.Intell.,第2922卷(2004年),Springer:Springer Berlin),291-309·兹比尔1029.00049
[97] M.Wooldridge,N.R.Jennings,《走向合作解决问题的理论》,摘自:Proc。《在多智能体世界中建模自主智能体》(MAAMAW-94),丹麦欧登塞,1994年,第15-26页;M.Wooldridge,N.R.Jennings,《走向合作解决问题的理论》,摘自:Proc。《在多智能体世界中建模自主智能体》(MAAMAW-94),丹麦欧登塞,1994年,第15-26页
[98] 伍尔德里奇,M。;Jennings,N.R.,《智能代理:理论与实践》,《知识工程评论》,10,2,115-152(1995)
[99] J.Yen,J.Yin,T.Ioerger,M.Miller,D.Xu,R.Volz,CAST:模拟团队工作的协作代理,收录于:IJCAI’2001年会议记录,西雅图,华盛顿州,2001年,第1135-1142页;J.Yen,J.Yin,T.Ioerger,M.Miller,D.Xu,R.Volz,CAST:模拟团队工作的协作代理,收录于:IJCAI’2001年会议记录,西雅图,华盛顿州,2001年,第1135-1142页
[100] J.Yin、M.S.Miller、T.R.Ioerger、J.Yen、R.A.Volz,《设计智能团队训练系统的基于知识的方法》,载于:《第四届自主代理国际会议论文集》,2000年,第427-434页;J.Yin,M.S.Miller,T.R.Ioerger,J.Yen,R.A.Volz,设计智能团队训练系统的基于知识的方法,收录于:第四届国际自治代理会议论文集,2000年,第427-434页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。