Web服务组合与动作推理的研究

理论计算机科学电子笔记105（2004）21-36www.elsevier.com/locate/entcsWeb服务组合Matteo Baldoni，Cristina Baroglio，Alberto Martelli，and Viviana Patti1，2Dipartimento diInformaticaUniversit`adegliStudidiTorinoC.so Svizzera，185，I-10149 Torino（Italy）摘要在这项工作中，我们面临的问题，Web服务组合，争论的重要性，包括在Web服务描述，高层次的通信协议所使用的服务与客户端进行交互。 这项工作是在同一个多智能体研究领域，从DAML-S是派生的：关于行动和行动对世界产生的变化的推理。从这个角度来看，Web服务被视为简单或复杂的行为，其特征在于前提条件和结果。在我们的建议中，互动被解释为交际行为执行的结果，因此它可以被推理。关键词：Web服务组合，动作推理，会话协议，模态逻辑语言。1介绍近年来，万维网的概念迅速发展。在不到十年的时间里，我们从将Web作为交换（HTML）文档的手段的概念转变为将Web作为访问（交互式）Web服务的手段的概念[14]。这个领域的研究非常活跃。随着网络上海量信息的涌现，1由MIUR公司2003年“基于逻辑的多代理系统开发和验证”国家项目提供部分支助2Ema il：{baldoni，barogl io，mr t，pa tti}@ di. 联合国1571-0661 © 2004 Elsevier B. V.根据CC BY-NC-ND许可证开放访问。doi：10.1016/j.entcs.2004.02.02322M. Baldoni等人/理论计算机科学电子笔记105（2004）21作为表示HTML背后语义的标准语言（例如RDF [21]，OWL [19]），最近已经进行了一些标准化Web服务描述的尝试（DAML-S [8]，WSDL[23]）。 使用标准描述的目的是允许Web服务的自动发现，它们的自动执行和监控，以及（我们将在本文中重点介绍的任务）自动组合。虽然WSDL倡议主要是由商业世界进行的，目的是标准化注册，查找机制和互操作性，但DAML-S更关心的是以一种可以推理的方式为服务描述提供更大的表达能力[6]。 特别是，服务描述有三个概念性的级别：用于广告和发现的概要文件，描述服务如何工作的过程模型，以及描述代理如何可以访问服务。特别地，流程模型以受Golog语言及其扩展启发的方式将服务描述为原子的，简单的或复合的[12，10，15]。在这个角度来看，各种各样的代理技术的基础上的动作隐喻可以使用。事实上，我们可以将服务视为具有前提条件和结果的动作（原子或复杂），它修改了世界的状态和在世界上工作的代理的状态。过程模型可以，然后，被视为这样的动作的描述，因此，它是可能的设计代理，它适用于推理的动作和Web服务过程模型的变化，以产生新的，复合的，定制的服务技术。这项工作是在一个多代理框架中设置的，其中Web服务是一个代理，它与其他代理在FIPA类动作通信语言（ACL）进行通信; Web服务行为可以表示为会话协议，它描述了可以与其他代理进行的通信。实际上，Web服务必须遵循一些可能不确定的过程，目的是获取/提供所有必要的信息。我们已经证明，通过推理Web服务遵循的（明确给定的）转换协议，我们实现了更好的个性化服务成果[1];在当前的工作中，我们表明，这在服务被组合以解决所需任务的情况下也是正确的。作为一个例子，我们将描述一个理性的代理，这是要求组织一天的给定用户，使预订餐厅和电影院，根据用户给定的约束。我们面临的问题，描述和推理的会话pro-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to-to- 集成在语言中的通信工具包[20，2]允许代理推理它将要制定的交互，以证明是否存在可能的执行M. Baldoni等人/理论计算机科学电子笔记105（2004）2123在此之后，一组感兴趣的信念（或目标）将在代理精神状态中为真。这种形式的推理意味着对其他主体的精神状态做出假设，我们希望与之互动。我们认为一个会话协议是一个（非确定性的）过程，它基于更简单的、类似FIPA的通信行为，指定单个代理的复杂通信行为;在通信协议中，代理可以扮演发起者或响应者的角色。2Web服务组合让我们考虑一个软件代理，它的任务是根据用户作为一个新奇的w.r.t.在[1]中的工作中，PA以解决复杂任务为目的来组合所发现的服务。例如，让我们假设用户想要通过去餐馆然后去电影院度过一天。 他想在这两个地方都预订，但对可能的选择有点限制。他想看一部特别的电影（例如：Nausicaa）和他希望在电影票上得到一些促销，但他不急于在互联网上传达他的信用卡号码。一方面，如果搜索电影院或餐馆预订服务是一项可以基于存储在用于广告的注册系统中的一组特征关键字来完成的任务，则其他类型的条件（寻找促销，不使用信用卡）只能通过推理Web服务的操作方式，特别是它所遵循的交互协议来验证为了完成这个例子，假设有两个餐馆和两个电影院是可用的（见图1和图2的AUML图表示他们的协议），但只有餐馆1参加促销活动，通过它给每个客户，谁作出了预订的互联网服务，免费电影票。在电影院方面，假设电影院2接受预订但没有免费票，而电影院1接受通过使用促销票或通过使用信用卡进行预订。图2（iii）是在使用促销票的情况下电影院1所遵循的协议的一部分，（iv）是另一种情况;（v）是电影院2所遵循的协议。在多代理框架中，特别是在开放环境中，当通信被制定时，代理交换它们的通信协议[13]。在交互的高级别进行协议交换的优点在于，通过这样做，代理可以推断由对话引起的对它们自己的信念状态的改变。交往行为的理性模式24M. Baldoni等人/理论计算机科学电子笔记105（2004）21客户餐厅yes_no_query（available（Time））[available（Time）]inform（reservation（Time））[available（Time）]inform（cinema_promo）[available（Time）]inform（ft_numeber）yes_no_query（available（Time））[available（Time）]inform（reservation（Time））餐厅客户(i)（二）Fig. 1. AUML图[16]表示客户（pa）和每个Web服务之间发生的通信交互;（i）后面是restaurant 1，（ii）后面是restaurant 2。还要求代理人对对话者因此，举例来说，一个智能体只有在它相信接收者忽略了它的时候才会传达一条信息;在发送信息之后，它会对增强的接收者在我们的例子中，PA应该选择第一家餐厅，因为这样它可以从促销活动中受益，并获得免费的电影票。它还应该选择第一家电影院，但进行不要求信用卡的对话。 为了进行这种推理，有必要（再次：在高层次上）形式化交流行为和交互协议。我们使用了Dyspot语言，briemarty将在下一节中介绍。3代理语言简介DYNAMIC是一种在模态逻辑框架中定义的代理语言，它同时考虑原子和复杂的动作或过程。下面将简要介绍该语言的基本原理，更完整的描述请参见[2]。原子行动是世界行动，一个观察世界，或心理行动，即感知或沟通行动，只有一个观察代理人的信念。对于每个世界动作和每个施事，我们定义模态[aagi]，这意味着公式在每次执行后都成立一个由agi，和aagi，代表的可能性，holds后，ac-执行。我们还引入了一个情态Done（aagi）来表示一个（交际行为或世界行为）已经执行。模态Q表示在所有可能的主体心理状态中保持的公式复杂动作的形式化在很大程度上借鉴了动态逻辑来定义动作操作符，如序列、测试和非确定性选择，但与[12]不同的是，我们引用了一个类似Prolog的范式，M. Baldoni等人/理论计算机科学电子笔记105（2004）2125客户电影院yes_no_query（available（Film））[available（Film）]inform（pay_by（cash））[available（Filme）]refuseInform（available（Film））inform（~available（Film））X通知（可用（电影））[available（Film）]queryIf（cinema_promo）refuseInform（cinema_promo）inform（~cinema_promo）X通知（cinema_promo）[available（Film），cinema_promo] inform[available（Film），cinema_promo] inform（ft_number）_no_query是的queryIf（available（Film））_no_query是的电影院客户客户电影院yes_no_query（available（Film））[available（Film）]yes_no_query（cinema_promo）[available（Film），~cinema_promo，pay_by（c_card）]inform（cc_number）[available（Filme，(iii)（四）（五）图二. AUML图[16]表示客户（pa）和每个Web服务之间发生的通信交互;（iii）和（iv）是cinema 1遵循的协议的两个部分;（v）是cinema 2遵循的。过程被定义为递归的Prolog类子句。 对于每一个过程p，语言也包含了普遍模态和存在模态[p]和[p]。智能体的精神状态是用一个一致的集合来描述的信念公式。模态算子Bagi模拟agi的信念，而Magi被定义为Bagi的对偶（Magi对偶Bagi），直观上意味着agi认为是不可能的。也可以处理嵌套的信念，代表其他代理人相信什么，并推理他们如何被沟通行为所影响。语言的所有模态都是正常的，Q是反应性和传递性的;它与动作模态的相互作用由Q[aagi]支配。认知情态Bagi是连续的、传递的和欧几里得的。Done（aagi）的相互作用26M. Baldoni等人/理论计算机科学电子笔记105（2004）21与 其 他 模态 的 关 系 由 以下 规 则 支 配 ：[aagi]Done （ aagi ） andDone（aagj）BagiDone（aagj）（awareness），当aagi∈ C时，agi=agj。给出了持续性问题的一个非单调解，它包括在执行动作序列后最大化关于持续性的假设在溯因表征的上下文中（细节可以在[2]中找到3.1代理理论代理的行为由域描述来指定，域描述包括：（1）代理的信念状态;（2）描述原子世界动作对执行者精神状态的影响的动作和先决条件定律在我们的框架中，代理是个体，每个人都有自己的动态域的主观看法我们不模拟真实世界，每个代理人的内部动态与行动引起的变化有关一个主体的信念状态直观地包含它对世界和其他主体的信念。 它是秩为1和秩为2的信念参数的完备且一致的集合（信念参数F是信念公式BagiL或其否定;L表示信念参数3）。信念状态为每个主体提供了所有可能的信念变元L的三值解释，这些信念变元可以是真的、假的或未定义的（当<$BagiL和<$Bagi<$L都成立时）;UagiL表示agi对L的无知。世界行动是由其前提条件和对行动者例如，动作定律描述了原子动作a对agi相反，前提法则规定了使一个世界行为（或一个交往行为）在一个状态中可执行的心理条件。当a的前提条件满足时，agent可以执行a。感知行为产生关于未知事件的知识;它们被定义为非确定性行为，具有不可预测的结果，由一组感知公理正式建模。 如果我们将每个感测动作s关联到文字（域）的集合dom（s），则当agi执行s时，它将知道这些文字中的哪个是真的。复杂动作通过建立在其他动作之上的过程定义来指定代理复杂行为。形式上，复杂动作是模态逻辑的包含公理模式的集合，形式为：(1)p0;pmp0是过程名称，并且pi（i = 1，. ，m）是过程名称，3即 一个不确定的整数（forf），一个不确定的整数（Done（aa gi）Torritsnegat ion），或一个秩为1的整数（B1或<$B1）。 我们用l表示与态度无关的动词：动词字面量或完成动词。M. Baldoni等人/理论计算机科学电子笔记105（2004）2127原子操作或测试操作;操作符“;”是动态逻辑的排序操作符。过程定义可以是递归的，过程子句可以以目标导向的方式执行，类似于标准逻辑程序。3.2通信通信理论已被集成在一般代理理论，通过添加进一步的公理和法律，每个代理域的描述。言语行为是言语行为形式的原子行为（发送者，接收者，l）：发送者和接收者是代理人，l是一个间接的文字或完成的间接的。它们可以被看作是一种特殊的心理活动，一种对发送者在我们的模型中，我们关注的是代理人对言语行为的内部表征：agi因此，言语行为的具体化有两个方面：一个定义在施动者是发送者时成立它们通过推广世界行为的行为和前提条件定律来建模，从而能够表示由其他代理对农业状态执行的通信的效果。这种表示允许代理对会话结果进行推理。以下是一个具体说明通知FIPA-ACL原语言语行为的语义的示例，如我们的框架中所定义的：inform（Self，Other，l）a)Q（BSelflBSelfUOtherlinform（Self，Other，l）T）b)Q（[inform（Self，Other，l）]MSelfBOtherl）c)Q（BSelfBOther ther ty（Self，l）n[inform（Self，Other，l）]BSelfBOtherl）d)Q（T）通知（其他，自我，l）通知（T）e)Q（[inform（Other，Self，l）]BSelfBOtherl）f)Q（BSelfauthority（Other，l）通知[inform（Other，Self，l）]BSelfl）g)Q（MSelfauthority（Other，l））[inform（Other，Self，l）]MSelfl）(a)表示如果发送者相信L并且相信接收者不知道L，则可以执行通知动作。如果自我是发送者，它认为这是可能的，但它不能确定--自主性假设（b）--他者会接受它的信念。如果它相信他者认为它是关于l的可信权威，那么它确信他者将采纳它的信念（c）。由于可执行性前提条件只能在Self心理状态上进行测试，因此当Self是接收者时，通知的动作被认为总是可执行的（d）。此外，当自我是接收者时，它相信l被发送者他者所相信（e），但只有当它认为他者是一个可信的权威时，它才接受l作为自己的信仰（f）-（g）。获取消息操作用于接收来自其他代理的消息。我们将它们建模为一种特殊的感知行为，因为从代理的角度来看，它们对应于对外部输入的查询，其结果是28M. Baldoni等人/理论计算机科学电子笔记105（2004）21不可预测主要区别是w.r.t.正常的感觉行为是通过对话者的言语行为来定义的。形式上，我们使用get消息操作，由以下形式的公理模式定义：（二）[get message（agi，agj，l）]获取消息[言语行为∈C获取信息言语行为（agj，agi，l）直观地说，Cgetmessage是一组有限的言语行为，它们是在给定的会话背景下，agi期望从agj得到我们并不把获取信息的行为与心理活动的领域联系起来，而是通过观察这些言语行为对个体我们假设个人言语行为发生在预定义的会话协议[13]的背景下，这些协议指定了通信模式。在代理描述中，会话协议通过具有形式（1）的过程公理来建模由于代理人对通信有主观的看法，因此每个协议都有与会话中可能的角色一样多的程序表示。我 们 可 以 将 一 个 智 能 体 agi 的 通 信 工 具 包 CKitagi 定 义 为 三 元 组（CKitC， CKitCP， CKitSget），其中CKitC是定义agi的原始言语行为的简单行为法则的集合，CKit S get是ag i的get消息行为的公理的集合，CKit CP是指定ag i的会话协议的过程公理的在这个Dyspot语言的扩展中，我们定义了agentagi的域描述，一个三元组（Ckit，CKitagi，S0），其中CKitagi是agi的通信工具包，S0是agi的信念假设的初始集合，而CKitag i4关于对话给定一个域描述，我们可以对其进行推理，并通过以下形式的存在查询来形式化时间投影和规划(3)1 pm每个pk，k = 1，.，m可以是由ag i执行的（原子的或复杂的）动作或属于CKit ag i的外部言语行为（我们用外部表示我们的代理扮演接收者角色的言语行为）。检查形式（3）的查询是否成功对应于回答问题pm导致其中信念变量Fs的合取对于agi？这样的执行跟踪是一个计划，以实现FS。程序定义限制了搜索空间。M. Baldoni等人/理论计算机科学电子笔记105（2004）2129在存在通信的情况下，面临着关于会话协议的推理问题（会话是一系列言语行为）;实际上，在p1，.，pm是会话协议，通过回答查询，（3）我们找到一个对话，在此之后，一些期望的条件Fs成立。在当前的应用程序中，我们的目标是找到一个对话，它允许实现一个期望的目标，这是许多协议组成的一个实例。然而，对话通常包含用于从其他代理接收消息的获取消息操作。由于他们的结果是未知的，在规划时间，因为代理不能提前知道他们将收到的答案，我们把它们作为感知行动。然而，协议的存在使我们能够对这些消息做出假设，并找出是否存在可能的对话，从而实现目标。根据具体应用，我们可以选择一种方法，使我们能够从对话者的回答中提取出一个独立于目标的条件计划，就像我们在[2]中所做的那样。相反，在当前的应用中，我们感兴趣的是找到一个线性计划，该计划导致对所接收的答案给出一些假设的目标。这种较弱的方法不能保证在执行时服务将达到计划的会话，但允许我们在无法找到条件计划时找到一个错误的解决方案。例如，让我们再次考虑第2节的例子。如果我们将餐馆1和电影院1组合在一起，则可以找到一个对话，在该对话之后，用户关于信用卡和关于使用促销票的愿望得到满足。然而，计划的成功取决于只有在执行时才知道的信息（座位的可用性）以及我们在计划期间假设的信息。事实上，如果没有座位，预订的目标就会失败。优点在于，包含在协议中的信息足以排除永远不会满足目标的多个组合（例如，餐馆1加电影院2不允许独立于座位的可用性来利用促销）。证明过程是[4，3]的自然演变，并在[20，2]中进行了描述;它是目标导向的，并基于否定失败（NAF）。NAF用于处理持续性问题，以验证心理假设的补语在动作执行的状态下不为真，而在模态理论中，我们采用了溯因刻画。证明过程允许代理找到线性计划，以便从不完全指定的初始状态达到目标。可靠性可以在e-一致性假设下证明，即对于任何作用，其效果集是一致的[9]。提取的计划总是导致目标条件Fs成立的状态30M. Baldoni等人/理论计算机科学电子笔记105（2004）215一个理性的私人助理在本节中，我们描述个人助理pa。该代理组成一组Web服务来满足用户的请求。我们将搜索和合成过程分为两个步骤。第一步（未描述）在这项工作中）是基于关键字的，旨在将注意力限制在从注册表系统中提取的一小部分服务上。第二步是基于推理的进一步选择。在此步骤中，代理根据用户的请求个性化与服务的交互，并拒绝不适合的服务。为了这个目的，代理人对过程comp服务进行推理（下面报告了它的可能实现），它根据交互协议（service（T ypeService，Name，Protocol））概述了一组服务的一般组成顺序，我们假设在第一步识别的服务描述中明确给出。免费服务（[ ]）免费服务数据压缩服务（[[T ypeService，N ame，Data]|服务]）P2Bpa服务（类型服务，名称，协议）;Protocol（pa，Name，Data）;comp services（服务）免费直观地说，comp服务构建了一系列协议，以应用于与一组服务的交互，从而可以对整体进行推理。所呈现的实现是相当简单的，但是作为示例是足够的，并且通常它可以是任何类似于prolog的过程。在解释可以应用的推理类型之前，让我们描述一下我们示例中的Web服务所遵循的协议这样的协议允许两个代理的交互，所以每个代理都有两个互补的视图：Web服务的视图和客户的视图。宾夕法尼亚州在下文中，我们将报告（用Dyzen编写）pa对协议的看法(a) 预订1C（Self，WebS，Time）yes no queryQ（Self，W ebS，available（Time））;B自行提供（时间）？;get info（Self，WebS，reservation（Time））;get info（Self，W ebS，cinema promo）;get info（Self，WebS，ft number）获取信息（Self，WebS，预订时间）(b) 预订rest 2C（Self，WebS，Time）yes no queryQ（Self，W ebS，available（Time））;B自行提供（时间）？;获取信息（自助，网络，预订（时间））M. Baldoni等人/理论计算机科学电子笔记105（2004）2131(c) [get info（Self，WebS，Fluent）]获取[inform（W ebS，Self，Fluent）]程序（a）和（b）描述了两个被考虑的餐厅遵循的协议的客户视图。顾客询问某个时间是否有空桌，如果有，服务人员会通知顾客已经预订了。 第一家餐馆还通知顾客它获得了一张电影院的促销免费票（电影院促销），并返回一个代码编号（ft编号）。(d) Cinema 1C（Self，WebS，Film）电影院yes no queryQ（Self，W ebS，available（F ilm））;B自备（电影）？;是否查询I（Self，W ebS，cinema promo）;- BSelfcinema promo？ ;是否查询I（Self，W ebS，pay by（c card））;B用信用卡自助支付？;inform（Self，WebS，cc number）;获取信息（自助，网络，预订（文件））(e) Cinema 1C（Self，WebS，Film）电影院yes no queryQ（Self，W ebS，available（F ilm））;B自备（电影）？;是否查询I（Self，W ebS，cinema promo）;B自我电影宣传片？ ;inform（Self，WebS，ft number）;获取信息（自助，网络，预订（文件））(f) Cinema 2C（Self，WebS，Film）电影院yes no queryQ（Self，W ebS，available（F ilm））;B自备（电影）？;获取信息（Self，W ebS，pay by（cash））;获取信息（自助，网络，预订（文件））条款（d）和（e）是电影院1遵循的协议，（f）是电影院2遵循的协议。假设所需的电影是可用的，电影院1可选择地接受信用卡付款（d）或促销票（e）。相反，cin-ema 2不参与促销活动。现在让我们考虑一下查询：免费服务（[[restaurant，R，dinner]，[cinema，C，nausicaa]]）（Bpa电影院促销活动Bpa预订（晚餐）Bpa预订（nausicaa）Bpa<$BCcc numberBpaBCft number）32M. Baldoni等人/理论计算机科学电子笔记105（2004）21这相当于确定是否有可能组成交互，餐馆web服务和电影院web服务，从而利用促销（Bpacinema promo）来预订晚餐的桌子（Bpareservation（dinner））和预订电影Nausi-caa的票（Bpareservation（nausicaa））。用户还指定不使用信用卡（Bpa <$BCcc号码），相反，获得的免费票将被花费（BpaBCft号码），即pa是-相信在对话之后，所选择的电影院将知道由所选择的餐馆给出的票的号码，但它将不知道用户的信用卡号码。让我们假设pa具有以下可用服务列表：Bpa服务（餐厅，餐厅1，预订休息 1C）Bpa服务（餐厅，餐厅2，预订休息 2C）Bpa服务（电影院，电影院1，预订电影院 1C）Bpa服务（电影院，电影院2，预订电影院 2C）则查询成功，答案R等于餐馆1，C等于电影院1。这意味着首先在pa和餐馆1之间存在对话，然后在pa和电影院1之间存在对话，它们是相应对话协议的实例，之后期望的条件保持。代理pa代表用户工作，因此它知道他的信用卡号（Bpacc号）和他避免在交易中使用它的愿望（<$Bpapayby（信用卡））。它还认为自己是支付形式和用户它认为其他代理人是关于他们通过通知行为进行通信的权威。 初始精神状态还将包含pa相信还没有预订晚餐和nausicaa的预订的事实，Bpa<$reservation（dinner）eBpa<$reservation（nausicaa），pa还没有电影院的免费票的事实，Bpa电影院促销，以及关于对话者精神状态的一些假设在此上下文中，代理构建comp服务（[[restaurant，R，dinner]，[cinema，C，nausicaa]]）的以下执行跟踪：queryIf（pa，restaurant1，available（dinner））;inform（restaurant1，pa，available（dinner））;inform（restaurant 1，pa， reservation（dinner））;inform（ restaurant 1，pa，cinema promo）;inform（restaurant1，pa，f t number）;queryIf（pa，cinema1，available（nausicaa））;inform（cinema1，pa，available（nausicaa））;M. Baldoni等人/理论计算机科学电子笔记105（2004）2133queryIf（cinema1，pa，cinemapromo）;inform（pa，cinema1，cinemapromo）;inform（pa，cinema1，f tnumber）;inform（cinema1，pa，reservation（nausicaa））我们可以很容易地看到，没有其他comp服务的执行跟踪可以满足目标。这意味着，在由该过程定义的搜索空间中，不可能成功地使用服务的任何其他组合（例如，餐馆1与电影院2），并且这不取决于对话的可能结果。观察服务的任意组合，即，不能作为comp服务的执行找到的组合，可以满足用户然而，在某些情况下，人们对所需的解决方案有一个通用的模式，这有助于减少搜索时间。6相关作品DAML-S环境下的Web服务组合也是其他研究者所面临的问题SheilaMcIlraith的团队进行了最相关的工作[6]，与我们的主要区别在于，虽然我们通过将过程规划应用于复杂动作（即编码会话协议的过程）来组合Web服务，但McIlraith在特别是，前提和结果，输入和输出列表是可描述的;它们之间没有关系可以表达，因此不可能理解服务是否可以遵循各种交互。事实上，在协议级别工作的优势在于，通过对协议进行推理，代理可以通过选择满足用户（或服务）给定要求的过程来个性化交互。这个过程可以在实际交互发生之前启动，并且可以用于Web服务组合以及Web服务搜索。研究会话协议的想法来源于作者在多代理研究领域的经验：实际上，方法之一在于使代理在交互之前交换通信协议[13]。我们基于我们的工作在一个模态动作逻辑框架，并使用代理逻辑编程语言DYNAMIC。通过利用嵌套的be-liefs，我们采取了一个主观的表示会话协议，其中一个代理作出理性的假设，其对话者请注意，由于我们只对推理局部心理状态34M. Baldoni等人/理论计算机科学电子笔记105（2004）21通信行为反映了多智能体系统的全局状态。从不同的角度来看，如果我们将Web服务解释为代理，我们可以找到大量关于协调模型和语言的文献，例如[7]，这些文献提供了统治具有共同目标的代理交互所需的抽象。一个著名的协调模型是TuCSoN[17]，它利用元组中心和基于逻辑的语言ReSpecT[18]进行代理协调。元组中心的特征是反应性行为，它指定了中心如何响应通信事件。然而，链式反应对于通信代理是透明的，通信代理将响应感知为元组中心的单步状态转换。同样在这种情况下，有一种机制来推理元组中心的行为也是很有趣的。7结论和今后的工作在这项工作中，我们已经展示了在Web服务组合任务中对通信协议进行特别是，我们关注的是具有DAML-S表示的服务，通过明确服务的前提条件和效果，实际上将其同化为一个动作。从这个角度来看，像我们这样利用行动和变化的推理机制的方法似乎特别合适。正如论文中所解释的，有可能计划一次导致实现某个目标的对话这一事实并不意味着，它的执行，实际上就达到了目的。例如，考虑用户获得免费票但在所选择的电影院没有剩余免费座位的情况。电影院被完全预订的事实是仅在执行时才知道的信息。计划的对话实际上是一个线性计划，它导致了目标，因为在互动过程中，对话者对可能答案的一些假设得到了尊重。如果这些假设在执行时没有得到满足，则计划失败。继续进行所提出的工作，在这种服务组合方法中集成一种处理故障和重新规划的机制，这种形式的推理是必要的，以便达到实际应用（例如，推荐系统），并且它还可以考虑用户明确表达的偏好标准。在找不到计划或计划执行失败的情况下，这些标准可用于放宽某些限制。引用[1] M. 巴尔多尼， C. 巴罗格里奥，A. 马尔泰利， 和V·帕蒂为个人化网路服务成果之互动推论。In G. Armano，F. De Paoli，A. Omicini和E. 瓦久M. Baldoni等人/理论计算机科学电子笔记105（2004）2135编辑，2003年WOA会议录：Dagli oggetti agli agenti，sistemi intelligenti e computazionepervasiva，Villasimius（CA），意大利，2003年9月。意大利博洛尼亚。[2] M.巴尔多尼角Baroglio，A. Martelli和V. Patti。关于自我和他人的推理：模态动作逻辑中的通信代理。ICTCSSpringer，2003年。[3] M.巴尔多尼湖佐丹奴，A. Martelli和V. Patti。在模态动作逻辑中编程理性代理。数学与人工智能年鉴，基于逻辑的代理实现特刊。出现。[4] M.巴尔多尼湖佐丹奴，A. Martelli和V. Patti。不完全知识下的复杂行为推理：模态方法。ICTCSSpringer，2001年。[5] P. Bretier和D.萨德克以理性主体为核心的合作口语对话系统实现了一个逻辑的会话主体。INJ。P. Müller，M. 我很高兴，N.R. Jennings，editors，Intelligent Agents III，proc. of ECAI-96 Workshop on AgentTheories，Architectures，and Languages（ATAL-96），volume 1193 ofLNAI. Springer-Verlag，1997.[6] J. Bryson，D.马丁，S。McIlraith和L. A.斯坦 DAML-S中基于代理的复合服务：智能语义网的面向行为设计，2002年。[7] P. Ciancarini和J. Wooldridge，编辑。面向Agent的软件工程（AOSE 2000），LNCS的1957卷。Springer-Verlag，2000.[8] DAML-S。 http://www.daml.org/services/daml-s/0.9/网站。 版本0.9，2003。[9] M. Denecker和D.德·施雷耶溯因逻辑程序设计中不完全知识的表示。InProc. of ILPSThe MITPress.[10] G. De Giacomo，Y. Lesperance和H.J. Levesque。Congolog是一种基于情景演算的并发编程语言。《人工智能》，121：109-169，2000年。[11] A. Herzig和D.朗金合作对话中的信念动力。 在1999年的AMSTELOGUE 99的Proc.[12] H. J. 勒韦斯奎河。 Reiter，Y. Lesp'er ance，F. 林和R。 B. S CH E R L.GOLO G：一种动态领域的语言. J. 《逻辑程序设计》，31：59 -83，1997年。[13] A. Mamdani和J. Pitt。多代理系统中的通信协议：开发方法和参考体系结构。在Issues in AgentCommunication中，LNCS的第1916卷，第160-177页。斯普林格，2000年。[14] J·毛雷尔，编辑。 ACM队列。 ACM，2003年3月。[15] S. McIlraith和T.儿子将Golog用于语义Web编程。 第五届国际研讨会《常识推理的逻辑形式化》，第195-202页，2001年。[16] James H. Odell，H.范·戴克·帕鲁纳克和伯恩哈德·鲍尔用UML表示Agent交互协议。面向Agent的软件工程，第121-140页。Springer，2001年。http：//www.fipa.org/docs/input/f-in-00077/。[17] A. Omicini和F. 赞博内利 协调互联网应用开发。 Journal of Autonomous Agents and Multi-Agent Systems，2（3），1999。Web代理的协调机制和模式特刊。[18] 安德里亚·奥米奇尼和恩里科·丹蒂正式审查Maria Chiara Meo，编辑，2000年声明式编程联合会议（AGP[19] 猫头鹰。 http://www.w3c.org/tr/owl-guide/网站。2003年。[20] 维·帕蒂编程理性代理：逻辑编程环境中的模态方法。PhDthe sis，D ip art imentodi In f r matica ，Universit`adegliStudidiTorino ，T orino， Italy， 2002. 可 在 www.example.com上 获得http://www.di.unito.it/~patti/。36M. Baldoni等人/理论计算机科学电子笔记105（2004）21[21]RDF。 http://www.w3c.org/tr/1999/rec-rdf-syntax-19990222/网站。1999年[22]S. 好吧，Y。 他是个骗子。 J. 好了，好了。 SPECIFYINGCOMMUNIVEMUTI-A GNTS SSTEMS。在代理和多代理系统-形式，方法和应用，LNAI的第1441卷，第1-14页Springer-Verlag，1998.[23]WSDL。http://w