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

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

作　　者：赵莹映[1] 章韵[1] 

机构地区：[1]南京邮电大学计算机学院,南京210003

出　　处：《电信科学》2012年第12期70-75,共6页Telecommunications Science

摘　　要：在实际的网络应用中,相比客户端的形式,人们更希望能提供服务设施和应用程序的平台来自简单方便的网络浏览器。基于多阶段可用性的Web服务组合管理关键技术的研究成功,将解决目前服务组合管理中的许多关键问题。本文主要研究人工智能语言Prolog在该项目中的应用与发展,用情景演算理论作为推导理论,并用逻辑编程语言对服务内容加以描述,同时在Prolog的基础上扩展到对Golog语言的研究,并在此基础上针对Web服务需求做出了一些推论。In practical network applications, compared to the form of the client, people prefer to the platform which provides the services facilities and application 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 was 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.

关 键 词：WEB服务 情景演算 PROLOG 

分 类 号：TP393.4[自动化与计算机技术—计算机应用技术]