电信科学 ›› 2012, Vol. 28 ›› Issue (12): 112-117.doi: 10.3969/j.issn.1000-0801.2012.12.017

• 专题 • 上一篇    下一篇

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

赵莹映,章韵   

  1. 南京邮电大学计算机学院 南京 210003
  • 发布日期:2017-02-07

Application of the Logic Language Based on Reasoning Mechanism in Web Composite Service

Yingying Zhao,Yun Zhang   

  1. College of Computer,Nanjing University of Posts ＆ Telecommunications,Nanjing 210003,China
  • Published:2017-02-07

在线阅读

0

PDF下载

409

被引次数

11

摘要：

在实际的网络应用当中，相比较客户端的形式，人们更希望所能提供服务设施和应用程序的平台来自简单方便的网络浏览器。基于多阶段可用性的Web服务组合管理关键技术的研究成功，将解决目前服务组合管理中的许多关键问题。本文主要研究人工智能语言Prolog在该项目中的应用与发展，用情景演算理论作为推导理论，并用逻辑编程语言对服务内容加以描述，同时在Prolog的基础上扩展到对Golog语言的研究，并在此基础上针对Web服务需求做出了一些推论。

关键词: Web服务, 情景演算, Prolog

Abstract:

In practical network applications,compared to the form of the client,people prefer to the platform which provide the services facilities and application is from a simple and convenient web browser.The success in doing the research about the web services portfolio management based on the availability of multi-stage will solve a variety of key problems in current environment.This text is aiming at the application and the development of the artificial intelligence language prolog in the project,using the situation calculus as the scene theory and describing the service content with the logic programming language,at the same time,extending to the Golog language on the basis of Prolog to make some inferences on the web services.

Key words: web services, situation calculus, Prolog

No Suggested Reading articles found!