基于推理机制的逻辑语言在Web服务组合机制中的应用.pdfVIP

电信科学∞抡晕豢魏 理关键技术的目标就是让网络协议规范化、服务项 目原子 则可以表示为这种谓词流的值。流F(x，S)以状态S为它的 化、服务内容组合化。语义Web服务组合作为一种能够快 最后一个参数。状态S是一系列原子行为，且从某个特定 速提供复杂型组合服务的方法近年来得到广泛关注，同时 的初始状态 开始执行的一个历史序列。常量S。表示初 为了达到上述 目的．对其进一步的研究是必不可少的，而 始状态 (initialsituation)，即在此状态下没有任何行为发 如何提高服务组合的可用性和实际性则成为Web服务组 生，为流的初值。函数do(a，s)将状态和行为映射到一个新 合管理中必备的组成部分和亟待解决的关键问题。 的状态，表示在状态S下执行U的后续状态(successor 所谓Web服务_l1．是指一个应用程序能够给外界提供 situation)。行为本身可以参数化，例如put(x，y)指代行为：把 一 个通过Web进行调用的API．即用户可以通过简单方式 物体放在Y物体上，进而do(putA(，B)，s)就表示了在世界 向Web发送请求，让Web调用其应用程序，等待查看返回 的状态为S下时．将A置于B上所产生的新的状态。 结果。基于语义的Web自动组合服务，是指用一种或多 用以表示变化情景一系列过程的情景演算，作为一套 种语义标记语言描述服务提供者提供的各个原子服务， 完整的一阶逻辑公式，其基本要素在于行为、流和状态。论 使其成为可被计算机或服务器理解的知识，进而通过情 域则由一系列公式规定．规定如下： 景演算推理机制，使得计算机可针对用户的需求发现知 · 对于每一个行为都有一个行为前提公理： 识并对其加以重组，以此产生一系列组合形式的服务回 · 对每一个流都有一个后续状态公理： 馈用户。 · 公理可以在各种各样的状态下对世界加以描述： PrologIl(programminginlogic)，即人们通常所说的人工 · 存在基本定理，该定理可以与研究领域无关。 智能语言．是一种建立于逻辑学理论基础之上的逻辑编程 2．1 情景演算理论 语言．其最重要的应用在于自然语言的理解以及智能知识 为刻画动态变化的世界。状态演算的行为理论D包含 库的构建．它采用一些代替逻辑语言的符号表示程序的内 初始状态公理 (initialsituationaxiom)、行为前提公理 容，因此具有相对较快的编程速度。平台无关性让Prolog (actionpreconditionaxiom)、后续状态公理(successorstate 程序的应用范围更广。更能够满足编写者的需求。在Web axiom)、唯一命名公理(uniquenamesxaiom)等，其形式化 服务的研究过程中．原子服务的描述是一个不容忽视的问 定义如之后内容所述l5】。 题，因为会影响到推理阶段的质量。而Prolog较强的递归 2．1．1 定义形式的行为前提公理 功能和内部事实数据库功能可以胜任这项工作，下文所要 假设情景演算语言 (1anguageofsituationcalculus) 提到的扩展后的Golog系列应用都能证明选用这类语言可 中含有有限多个函数符A ··，则一定有有限多个行为 以解决在研究中遇到的诸多问题。 前提公理，如式(1)所示： Poss(AI()，S) Ⅱ (，S) 2 Prolog下的情景演算理论 Poss(A(三)，S)；n (，S) (1) 情景演算l4l适用