【摘 要】
：
针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参
【机 构】
：
国防科学技术大学计算机学院,北京航空航天大学计算机学院
【基金项目】
：
国家自然科学基金Nos．60473057，60573057，90604007，60703075~~
论文部分内容阅读
针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑之间的对比研究,采用描述逻辑公理来刻画Web服务的IOPR(inputs,outputs,precondilions and results),扩展了基于动态逻辑的人工智能规划方法,提出了把语义Web服务组合问题转化为描述逻辑推理问题的方法,克服了经典的人工智能规划方法中的困难和基于服务匹配的服务组合方法的缺点.
其他文献
对于不等式恒成立问题,这类问题题型多变,解答有一定难度,重点考查不等式与函数、数列、导数、几何等知识的交汇应用,知识面广,对数学思想方法要求高。很多同学在解决这类问
研究背景：随着军事科技水平的发展，子弹致伤力的大幅度提升，导致四肢枪弹伤在战伤的比率逐渐增高。枪弹对机体的损伤，除枪弹导致的直接弹道损伤外，与原发伤相隔较远的远隔器官也会
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
<正>【本刊讯】海康威视不久前推出的DS-2DM2127高清机芯,采用优异的编码压缩技术,最大限度的减少压缩损失,在同等图像质量下要求的码率更低,从而减少传输带宽和存储空间。内
<正>专利申请号:CN201520787147.X公开号:CN204999954U申请日:2015.10.12公开日:2016.01.27申请人:长沙有色冶金设计研究院有限公司本实用新型涉及一种钼精矿脱水干燥系统,该
目的:国内外的大量研究结果已证实,微重力环境可引起许多微生物一系列的生物学特性发生改变,包括细菌的生长繁殖以及代谢等。本实验初步研究肺炎克雷伯杆菌(Klebsiella pneum
目的探究临床路径护理对冠心病患者自我效能感及生命质量的影响。方法随机选取2017年5月至2018年5月收治的62例冠心病患者作为研究对象,依据抽签分组法将患者分为两组,各31例
大连市体育中心体育馆屋面系统主要由蜂窝铝板复合屋面系统、装饰玻璃复合屋面系统、玻璃采光天窗系统组成,本文介绍了该屋面系统的针对性防水措施,主要包括直立锁边屋面板防
目的探讨临床路径在胆囊炎患者护理中的应用价值。方法选择2014年6月—2017年6月我院收治的胆囊炎患者58例作为研究对象,将其分成对照组与观察组,每组29例。对照组患者采用常
随着新军事变革和"医疗、医保、医药"三医体制改革的逐渐深入,军队医院以其特殊的身份处于改革的风口浪尖。作为国家卫生机构中关键要素的军队医院,既具有公立医院的公益性,