首页> 中文期刊> 《电信科学》 >基于推理机制的逻辑语言在Web服务组合机制中的应用

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

         

摘要

在实际的网络应用中,相比客户端的形式,人们更希望能提供服务设施和应用程序的平台来自简单方便的网络浏览器.基于多阶段可用性的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.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号