没有合适的资源?快使用搜索试试~ 我知道了~
可在www.sciencedirect.com在线获取理论计算机科学电子笔记324(2016)123-134www.elsevier.com/locate/entcs多Agent系统的多级语义研究艾莉森河Panisson1计算机科学研究生课程阿雷格里港拉斐尔·H Bordini2计算机科学研究生课程阿雷格里港一个叫卡洛斯·达·罗克的人在科斯塔3号计算机教育研究生课程摘要在多智能体系统中,智能体心理状态的变化往往也反映了社会层面的变化。此外,大多数关于代理语言的工作使用结构化操作语义来形式化多代理系统。由于多智能体系统是复杂的系统,因此很难将这种系统的所有相关方面形式化为单个过渡系统,甚至单个智能体的过渡系统也很容易变得繁琐。在本文中,我们提出了一种特殊风格的语义规则,使其在视觉上更加清晰在多代理系统的一个级别上的改变如何要求系统的其他级别上的同时改变(其中每个级别的每个组件被建模为单独的转换系统)。关键词:多层次语义,多Agent系统,基于Agent的通信。1引言通信是构建多智能体系统的关键问题之一,在多智能体系统中,智能体需要进行通信以解决意见分歧或利益冲突,协调工作,解决困境,并达成协议。1电子邮件:alison. acad.pucrs.br2电子邮件:rafael. pucrs.br3电子邮件:ac.rocha. gmail.comhttp://dx.doi.org/10.1016/j.entcs.2016.09.0111571-0661/© 2016作者。出版社:Elsevier B.V.这是CC BY许可下的开放获取文章(http://creativecommons.org/licenses/by/4.0/)。124A.R. Panisson等人/理论计算机科学电子笔记324(2016)123这些通信要求中的许多不能通过交换单个消息来满足。它们需要在相关语句上交换消息序列[18]。因此,智能体需要能够参与多智能体对话[1,22]。在Agent语言的上下文中,多Agent系统中的通信的形式化通常使用结构化操作语义。在许多这些形式化中,重点是在主体层面上接收和发送言语行为[28,3]。然而,更复杂的沟通方法,如基于辩论的对话[21,17]有其他要求,其中言语行为的交换具有社会含义,即,它在社会和个人层面都有影响。此外,在多智能体系统中,存在比明显的个人/社会层次更多的层次。多智能体系统中各种不同层次概念的例子可以在[8,13,5]中找到在本文中,我们提出了一个同时具有多级转换的语义表示.在我们的方法中,每个转换代表一个级别(或一个级别的组件),明确引用多智能体系统的多个级别。我们认为,这种表示方便阅读的变化,每个级别的单独以及它们的关系,使各种过渡的表示相匹配的抽象,我们通常在多智能体系统。本文件的其余部分组织如下。在下一节中,我们将讨论多智能体系统中的通信。接下来我们提出了多层次语义的思想,这是本文的主要贡献。在此基础上,我们讨论了这种语义风格的一些特点。然后,我们讨论了一些相关的工作,在最后一节中,我们总结了一些最后的评论,并指出了我们工作的可能方向2多智能体系统一般来说,使用面向代理的编程语言编程的系统不是由单个代理组成的;通常一组代理共享相同的环境。这一特性使得系统中的代理之间的通信(交互)的需求变得明显,因此需要某种合作和协调的社会能力[6]。代理之间的通信通常是通过消息传递。这种交流通常是基于言语行为理论,其中言语行为被视为行动4。一般来说,言语行为可以被看作有两个主要组成部分:一个是施为的(代表发送者的意图,例如,实现,告诉,等等)一个(命题)的内容。例如,在Jason [6]多智能体编程语言中,通信是通过预先定义的内部操作“.send”完成的.send(接收者,言外之力,命题内容)4话语具有行动的特征,在这个意义上,它们以一种类似于物理行为[2]。A.R. Panisson等人/理论计算机科学电子笔记324(2016)123125其中,receiver是代理的名称(在多代理系统中,每个代理都有唯一的个人名称),或者是消息要发送到的代理名称的列表命题内容是AgentSpeak中的一个术语(文字、触发事件、计划或文字或计划的列表)。言外之力表示发送者的意图(通常称为施为的),如言语行为理论。[28]中给出了接收此类消息的正式语义,[6]中可以找到所有可用的言外之此外,多智能体系统中的通信通常需要在相关语句上交换消息序列,例如在通信协议中,以及最近在面向智能体的编程范式下开发的智能体的基于争论的对话中[18,20,19]。在基于论证的对话[1,22]中,主体交换一系列论证来捍卫他们在这种对话中的立场。此外,在对话中,代理人致力于他们的主张-他们宣布社会承诺5,不仅要相信,而且要捍卫主张[26,27]。考虑到上述方面,代理应该具有所谓的承诺存储(CS)(可以为CS找到其他名称,例如[16]中的对话义务存储和[24]中的对话存储)。这样的结构(CS)在社会层面上维护了Agent在对话期间做出的断言(所有参与对话的Agent都可以访问这些承诺)。显然,在这方面,交流也在社会一级产生影响当一个行动者在规范系统中创造了一个新的禁令或义务时,也会发生同样的情况[4](假设这个行动者有权这样做),或者当一个行动者承诺为社会中的另一个行动者执行一项任务时。3多层次语义表示多智能体系统是分布式系统。在设计多代理系统的过程中,我们需要通过交互协议以严格的方式指定代理之间的通信[7]。此外,我们需要指定此通信对代理状态的确切影响(例如,所谓的心理状态来自BDI -信念-欲望-意图-架构)。在某些形式的代理交互中,通信不仅影响代理状态,而且影响整个多代理系统,即,在社会层面上也有影响(例如, 社会承诺、规范体系、基于辩论的对话等)。这些方面揭示了需要指定这些变化,以保持多代理系统规范的严格性,并证明这些通信方法的考虑到这些新的表示需求,我们提出了一个多层次的语义表示,我们感兴趣的效果,行动(包括基于言语行为的通信行动)的原因,在个别代理的状态,以及在多智能体系统作为一个整体。5Singh [26,27]认为,代理人是社会实体,因此,当参与社会互动时,他们致力于他们所说的话126A.R. Panisson等人/理论计算机科学电子笔记324(2016)123我们提出使用操作语义来定义多级语义,这是一种广泛使用的为编程语言提供语义的方法[23]。操作语义由一组推理规则给出,这些推理规则定义了多智能体系统的配置(社会级)和智能体配置(智能体级)之间的转换关系。我们的多级语义方法背后的主要思想是便于将语义赋予具有多个但相互关联的级别的系统(例如,多代理系统中的抽象层次),特别是其中系统的各个层次已经通过独立的转换系统被赋予语义。我们的方法允许将约束添加到现有的语义规则中,为层次之间的相互关系提供语义,也就是说,明确在系统的一个层次上发生的事件如何特定地影响另一个层次或同时影响其他各个为每个抽象级别指定独立的转换系统可以带来一系列好处,其中包括:模块化,视觉上更优雅和更容易理解的语义规则,以及允许每个级别的指定的不同的特殊性。我们将在第4节中讨论我们方法的这些特征。为了展示我们的多层次语义方法,在接下来的部分中,我们将描述一个简化的多智能体系统配置和一个使用我们提出的语义风格3.1多智能体系统配置为了验证我们的方法,我们将使用基于BDI架构的抽象组件。对于这项工作的建议,我们只感兴趣的是显示多层次的语义表示,而不是指定任何多智能体系统的语言或技术。BDI体系结构是认知主体研究最多的体系结构之一BDI代理的内部状态包括:(i)代表该主体可获得的关于世界(包括自身和其他主体)的信息的信念;(ii)代表主体动机的愿望,即,代理人希望达到的环境状态;(iii)代理人承诺通过遵循特定行动计划来实现的愿望。大多数BDI语言使用适用计划的概念,即,该计划有一个背景,如果背景条件得到满足,则该计划适用。我们将多代理系统配置定义为元组AG,CL,CO,其中AG组件是社会中的一组BDI代理(即,在多代理系统中),其中每个代理由唯一的标识符ID标识。CL组件包含代理之间的通信链路的规范,其中两个代理ag1和ag2仅在存在链路com(ag1,ag2)或链路com(ag2,ag1)∈CL时才能够通信,这意味着代理ag1和ag2具有通信链路。这种规范在组织模型中很常见,如MOISE [15]。A.R. Panisson等人/理论计算机科学电子笔记324(2016)123127分量CO表示代理人CO是一组元组,其格式为ag_1,ag_2,commit_commit,这意味着代理ag_1具有与代理ag_2的commitment_commit,其中commit可以是对支付、执行动作等的承诺。代理配置由元组Bag,B,I,A,M,S给出,其中:• ag是代理标识符。• B是信念的集合。• I是意图的集合{i,i,J,. . }中。每个意图i都是一堆部分安装的计划。• A是可在环境中执行的一组操作。• M是一个元组,其组成部分包含通信代理的以下方面。· In是邮件收件箱:假设多代理系统有一个运行时基础结构,其中包括在此结构中寻址到此代理的所有消息。setIn的元素有如下形式:mid,id,ilf,cnt,其中mid是信息标识符,id标识信息的发送者,ilf是信息的言外之力,cnt是信息的内容。· Out是代理发布它希望发送的消息的地方;假设某些底层通信基础设施处理这些消息的传递此集合中的消息具有与上面完全相同的格式,除了这里ID是指消息要发送到的代理• S是Agent推理循环的当前状态,当转换发生时,它将被更新,但我们不会确切地提到状态是什么(因为我们在这里没有使用具体的例子)。为了提高可读性,我们在语义规则中采用了以下符号约定:• 如果M是消息组件,我们写MIn以引用M的In组件,对于多代理系统的其他组件和每个代理的配置• 我们写Bag来标识由ag标识的智能体的信念(分量B)。我们在有必要识别特定制剂的成分时使用此方法,例如,当我们在相同的语义规则中处理两个代理• 我们使用两个转换来表示多智能体系统的状态变化(这项工作的主要贡献),其中转换-→A对应于单个智能体的配置转换 转换−→MAS对应于多智能体系统的转换。代理配置中的每个转换被独立地处理,其中由这样的代理执行的动作可以引起多代理系统中的转换,例如,代理可以改变多代理配置,代理可以做出新的承诺等。6我们只使用需要证明语义的组件,但我们强调存在其他组成部分,如角色,规范等。128A.R. Panisson等人/理论计算机科学电子笔记324(2016)123⎣⎦⎣⎦• 我们在语义规则中使用三个函数,定义如下:(i)Executable-Act()函数,返回给定代理能够执行的所有动作;(ii)Current()函数,接收代理意图集作为参数,并返回在该推理循环中选择用于更新/执行的意图;以及;(iii)SelMsg函数,接收接收的消息集作为参数,并返回在该推理循环中选择要处理的消息。3.2例如为了验证我们的方法,我们使用以下示例:一个名为ag1的代理,在系统执行的某个时刻,需要提交自己为另一个名为ag2的代理执行动作a1。 唯一的办法就是向AG2发送具有特定语音动作提交的消息。然而,在组织规范中,代理ag1和ag2之间没有通信链路为了与ag2通信,ag1需要更改执行操作的组织规范。添加com link(ag1,ag2),它具有以下语义:i[head←.add com link(ag1,ag2);h]=Current(Iag1).add com link(ag1,ag2)∈ExecutableAct(Aag1)ag1,ag2∈AG(ADDCOMLINK)(a)HLAG,CL,COHLAG −→MASHLAG,CLJ,CO HLAG(b)ag1,B,I,A,M,S−→第2、B、I、A、M、S页其中:A,M,St +1,BJ,IJ,A,M,St+1,[BJ,I,A,M,St+2](a) CLJ=CL链接com(ag1,ag2)(b) Iag1J=(Iag1\ {Current(Iag1)})I{i[head<$h]}Bag1,ag2J=Bag1,ag2+com link(ag1,ag2)在这个语义规则中,由ag1表示的代理遵循与特定意图相关联的计划-其推理循环中的当前意图。下一个计划步骤是执行操作. addcom link(ag1,ag2),它在代理ag1和ag2之间添加通信链路。当代理执行此操作时,它会更新组织规范。从那一刻起,代理ag1和ag2能够彼此通信7。此外,两个代理都意识到这种通信链接,更新他们的信念基础。[7]请注意,我们认为通信链路是对称关系。一A.R. Panisson等人/理论计算机科学电子笔记324(2016)123129在代理ag1在组织规范中添加通信链路之后,代理能够与代理ag2通信。因此,代理能够发送一条消息,承诺自己执行操作a1.i [head←. send(ag2,commit,execute(a1));h] =Current(I)a1∈ExecutableAct(A)linkcom(ag1,ag2)∈CLag1,ag2∈AG(SNDCOMMIT)(a)AG,CL,CO(b) ag1,B,I,A,M,S其中:(a) COJ=CO{ag1,ag2,execute(a1)}(b) MOJut=MOut{mid,ag2,commit,execute(a1)}IJ=(I\ {Current(I)}){i[head←h]}在这个语义规则中,ag1所代表的智能体正在遵循与特定意图相关联的计划-其推理周期上的当前 接下来的计划步骤是执行action.send与执行性提交,其中代理与消息的接收者(在上面的示例中由ag2标识)一起提交自己以执行actiona1。当代理执行此动作时,它更新承诺库,表示多代理系统中的社会承诺。此外,代理发送相应的消息,承诺自己执行动作,并更新其意图,考虑到执行的发送消息的动作。接收该消息的语义规则如下:SelMsg(MIn)=selmid,ag1,commit,execute(a1)SELMID(接收提交)(a)H2OAG,CL,CO H2O −→MAS H2OAG,CL,CO H2O(b) ag2,B,I,A,M,S其中:(b)MIJn=MIn\{提交,ag1,提交,执行(a1)}BJ =B+执行(a1)[源(ag1)]在此语义规则中,代理处理从代理ag 1接收的消息(由mid标识),该代理已向其提交(由performative commit指示)以执行动作a1(由消息的内容- execute(a1)指示)。 该消息从组件M_In(代理的邮件收件箱)中移除,并且接收到该消息的代理更新其信念库,意识到这样的承诺。130A.R. Panisson等人/理论计算机科学电子笔记324(2016)123在我们的例子中要注意的一个重要的点是,对应于多代理系统的组件这是因为智能体和多智能体系统配置是由不同的过渡系统处理的,这些过渡系统揭示了下一节讨论的有趣特性。图1.一、多智能体系统中的层次交互,考虑一个智能体层次和一个通用的社会层次。我们可以观察到,在多代理系统的代理(个体)和社会级别之间存在不同的交互,如图1所示。例如,考虑图1,首先,在左边,我们有一个发生在代理层面的事件,导致了社会层面的事件。 在社会层面上, 另一方面,在代理级别引起事件。这种情况可以在语义规则AddComLink中观察到,其中代理执行一个动作来改变组织规范(在社会层面),并且这种改变在代理层面上做出反应,其中所有涉及的代理都意识到这种变化。第二,我们有一个在主体层面上的事件,导致了社会层面上的事件。 这种情况在我们的语义规则SndCommit中得到了例证,其中代理执行一个动作来发送具有执行性提交的消息,并且这样的动作在社会层面上注册了社会承诺。最后一种情况是当代理级别的事件在社交级别上没有效果时,例如当代理接收到由语义规则ReceivingCommit表示的消息时。4多层次语义在本节中,我们非正式地讨论了多级语义表示的一些特征我们的多层次语义的最重要的特点之一是模块化,在每一个层次的处理分离的过渡系统,使我们能够澄清多智能体系统的模块化。如果需要改变系统的一个层,例如组织,则只需要修改语义规则中相应的转换系统;其他层的独立转换系统保持不变。A.R. Panisson等人/理论计算机科学电子笔记324(2016)123131除了它的模块化,我们认为,多级语义在视觉上更好,更容易理解的复杂系统,如多智能体系统,和相应的编程框架,如JaCaMo [5]这样的语义规则更容易。这是多智能体编程框架本身基于这样的模块化的事实的结果,其中抽象的不同层次(代理,环境和组织),也称为维度,由不同的平台编程,遵循我们提出的多级语义的不同层次。另一个有趣的特点是,我们定义多层次语义的风格允许以不同的粒度表示不同抽象层次的组件,因此可以集中所需层次的语义规范,让其他层次更加抽象,但仍然考虑其他层次,从而保持整体的连贯性和系统表示。5相关工作Dennis等人 [12]提出了一种用于BDI风格编程语言的代理基础结构层(AIL)。[12]中的目标是:i)为许多BDI语言提供公共语义基础; ii)通过开发针对代理程序优化的模型检查器来支持形式验证。作者提出了使用[11]中提出的广泛的操作语义来设计AIL。作者认为,AIL捕获了常见BDI语言的所有主要特征。AIF的主要目标是为一个大片段提供一个公共的(操作的)语义 BDI风格的语言,允许开发通用的验证工具和技术。关于沟通方面,丹尼斯等人。 [12]描述了他们提出的语义涵盖了执行发送动作的计划和接收事件的效果。这些方面类似于[28],其中发送操作被视为其他操作,接收消息通过特定事件处理此外,[12]的作者指出,约束的使用允许人们过滤某些信息,处理诸如社会可接受性之类的概念在[9]中,作者提出了一种引入模块概念的操作语义。作者认为,模块化有利于实现代理,代理角色和代理配置文件是结构化编程,特别是代理编程的基本原则。操作语义用于创建、执行、测试、更新和实现模块实例,即,模块相关的操作。在[14]中,给出了一个操作语义,以涵盖可能应用于目标的操作的细节(删除,中止,挂起和恢复目标)。作者认为,语义澄清了代理如何根据它选择做出的决定来管理其目标。根据作者的说法,语义进一步为代理行为的正确性验证提供了基础。作者强调,这项工作有助于制定一个丰富而详细的规范,当一个目标正在追求,已经成功或失败,或已经中止,暂停,或恢复,132A.R. Panisson等人/理论计算机科学电子笔记324(2016)123那个特工在[8]中,作者提出了一个操作语义框架,用于(结构上和操作上)位于代理社会中的法律系统。这项工作使用操作语义学对法律系统的结构和动态进行建模[8]中提出的工作涉及与法律制度有关的行动也就是说,在基于行动的动态下,配置转换由所研究的法律体系的法律机关和法律主体的行动表现决定。 这 是已经使用操作语义来正式化多层次系统的工作的一个明显的例子。Vieira等人 [28]已经给出了基于言语行为的通信的操作语义。在该文件中,语义给出了基本的施为,允许代理之间的通信,通过简单的消息交换。在[28]中,通信被视为单个消息交换,而不是交互序列(即,对话),以及通信仅影响代理级别,即,消息不影响多代理系统的社会级别6最后评论在本文中,我们介绍了多智能体系统的状态转移的多级语义表示我们的方法考虑到多智能体系统的多层次抽象,所以每个过渡代表在这样的抽象的一个级别上的变化-代理级别和社会级别通常,虽然任意多个级别可以被正式化。我们认为,这种代表性使我们能够更容易地可视化在多个层面上的影响,例如,不仅在个别代理,但作为一个整体的系统的通信这是有用的代理技术,一个experect个人,但与社会的影响,如基于辩论的对话,规范系统,构成规则等,我们的多层次语义可以用来表示各种形式的组合过渡发生在这样的系统的当前趋势。例如,假设多智能体系统从外部接收到一个新的规范,该规范禁止系统中特定角色的智能体执行特定动作。我们的形式语义学风格可以用来描述社会层面上的这种转变(即, 在规范系统中添加规范),这将同时在该特定角色的所有代理中引起代理级别的转变(即,他补充说,禁止的行为作为未来的工作,我们打算使用多级转换来确保多级系统中的语义完整性,确保转换之间的一致性与完整性约束,如Searle在[ 25 ]中引入的这些想法也出现在[5]中,其中作者声明有兴趣探索O-E(此外,我们打算使用这种语义风格,正式规定我们的工作,在多智能体通信A.R. Panisson等人/理论计算机科学电子笔记324(2016)123133领域,在那里我们正在考虑实施复杂的对话框架,特别是使用基于论证的技术。引用[1] 阿姆古德湖,N. Maudet和S. Parsons,Modeling dialogues using argumentation。,in:ICMAS(2000),pp. 31比38[2] Austin,J.L.,[3] Bedi , P. 和 P. Vashith , Extending speech-act based communication to enable argumentation incognitive agents,in:Advances in Computing,Communication and Control,Berlin:Springer,2011 pp.25-40.[4] Boella,G.,L. Van Der Torre和H. Vernessy,Introduction to normal multiagent systems,Computational Mathematical Organization Theory12(2006),pp. 七十一比七十九。[5] Boissier,O.,R. H. Bordini,J. Hubner,A. Ricci和A. 刘晓波,多Agent技术在计算机辅助设计中的应用,计算机科学,2000 。Prog. 78(2013),pp.747-761[6] 博尔迪尼河 H、 J. F. Hubner和M. Wooldridge,&“Programming Multi-Age n t Systems in Agen t S peak using Jason (Wiley Series in Agent Technology ) ”,John Wiley Sons ,2007年。[7] Chopra,A. K.和M. P. Singh,Agent communication,in:Multiagent Systems:A Modern Approachto Distributed Arti Ficial Intelligence , Second Edition , chapter 3 , MIT Press , Gerhard Weiss(ed),2013 pp. 101-141[8] da Rocha Costa,A. C.的方法,情境法律系统及其操作语义学,Arti ficial Intelligence and Law23(2015),pp.43-102[9] 达斯塔尼湾和B. R. Steunebrink,多智能体编程中BDI模块的操作语义,在:多智能体系统中的计算逻辑,Springer,2010年,pp。83比101[10] deBrito,M., J. F. Hubner和R. H. Bordini,多代理系统中的制度事实,在:协调,组织,机构和规范在代理系统VIII,施普林格,2013页。158-173.[11] 丹尼斯湖一、代理基础结构层(ail):设计和操作语义v1,技术报告,0.技术报告ULCS-07-001,利物浦大学计算机科学系,2007(2007)。[12] 丹尼斯湖一、B.法尔河H. Bordini,M. Fisher和M. Wooldridge,BDI语言,在:Programming Multi-Agent Systems,Springer,2008 pp。124-139[13] Dignum,V.,组织在Agent系统中的作用,MAS研究手册:组织模型的语义和动力学(2009),pp。1比16[14] Harland,J.,D. N. Morley,J. Thangarajah和N. Yorke-Smith,BDI代理中目标生命周期,自治代理和多代理系统28(2014),pp.682-719[15] Hubner , J.F. 、 J. S. Sichman 和 O.Boissier , Developing organized multiagent systems using themoise+ model : programming issues at the system and agent levels , International Journal ofAgent-Oriented Software Engineering1(2007),pp.370-395.[16] McBurney,P.和S. Parsons,Locutions for argumentation in agent interaction protocols。,在:R. M.van Eijk,M.- Huget和F. Dignum,编辑,AC,计算机科学讲义3396(2004), pp. 209-225[17] Panisson,A. R.,A.弗雷塔斯湾施密特湖,澳-地Hilgert,F.梅内古齐河Vieira和R. H. Bordini,在多智能体系统中使用本体信息进行任务重新分配,在:第12届多智能体系统论证国际研讨会(ArgMAS),2015年。[18] Panisson,A. R.,F. Meneguzzi,M.法贡德斯河Vieira和R. H. Bordini,Foreign Semantics of SpeechActs for Argumentative Dialogues,第13届自治代理和多代理系统国际会议(AAMAS),2014年,第13页。1437-1438年。[19] Panisson , A. R. , F. 梅 内 古 齐 河 Vieira 和 R. H. Bordini , Towards practical argumentation-baseddialogues in multi-agent systems , in : IEEE/WIC/ACM International Conference on Intelligent134A.R. Panisson等人/理论计算机科学电子笔记324(2016)123Agent Technology,2015。A.R. Panisson等人/理论计算机科学电子笔记324(2016)123135[20] Panisson,A. R.,F.梅内古齐河Vieira和R. H. Bordini,Towards Practical Argumentation in Multi-AgentSystems,in:2015 Brazilian Conference on Intelligent Systems,BRACIS 2015,2015。[21] Parsons,S.和p.McBurney,Argumentation-based Dialogues for Agent Co-ordination,GroupDecision and Negotiation12(2003).415-439[22] 帕森斯,S.,M.伍尔德里奇和L. Amgoud,分析正式的智能体间对话,在:第一届国际会议上自主代理和多智能体系统(2002年),pp。394-401[23] Plotkin,G. D、A structural approach to operational semantics(1981).[24] Sadri,F.,F. Toni和P. Torroni,逻辑代理,对话和谈判:一种溯因方法,在:《AISB[25] Searle,J.R.,[26] 辛格,M。P.,Agent Communication Languages:Rethinking the Principles,Computer31(1998),pp.40比47[27] 辛格,M。P.,A social semantics for agent communication languages,in:Issues in agentcommunication,Springer,2000 pp.31比45[28] 维埃拉河,A.莫雷拉湾Wooldridge和R. H. Bordini,在面向代理的编程语言中基于言语行为的通信的形式语义,J。第Int. Res. 29(2007),pp.221-267
下载后可阅读完整内容,剩余1页未读,立即下载
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
cpongm
- 粉丝: 4
- 资源: 2万+
上传资源 快速赚钱
我的内容管理 收起
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
会员权益专享
最新资源
- 利用迪杰斯特拉算法的全国交通咨询系统设计与实现
- 全国交通咨询系统C++实现源码解析
- DFT与FFT应用:信号频谱分析实验
- MATLAB图论算法实现:最小费用最大流
- MATLAB常用命令完全指南
- 共创智慧灯杆数据运营公司——抢占5G市场
- 中山农情统计分析系统项目实施与管理策略
- XX省中小学智慧校园建设实施方案
- 中山农情统计分析系统项目实施方案
- MATLAB函数详解:从Text到Size的实用指南
- 考虑速度与加速度限制的工业机器人轨迹规划与实时补偿算法
- Matlab进行统计回归分析:从单因素到双因素方差分析
- 智慧灯杆数据运营公司策划书:抢占5G市场,打造智慧城市新载体
- Photoshop基础与色彩知识:信息时代的PS认证考试全攻略
- Photoshop技能测试:核心概念与操作
- Photoshop试题与答案详解
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
安全验证
文档复制为VIP权益,开通VIP直接复制
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)