基于动态描述逻辑的多主体协作模型

基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推理应用到主体的具体设计中.它充分利用了动态描述逻辑的统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态和协作过程,探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改以及联合目标的形成、多目标的规划问题.多主体协作模型将理论和实践有机地结合起来,能够充分体现智能主体的本质特征与运行机制,为多主体系统的设计与编程奠定了很好的基础.     

基于本体描述逻辑的云制造服务匹配方案

为了实现云制造环境下资源服务的增值和增效的目的,阐述了云制造的典型特征及云制造服务匹配的意义后,针对处理OWL-S语义描述云制造服务的问题,从服务请求及服务结果匹配两个核心方面入手,提出了一种基于本体描述逻辑(DL)的云制造服务匹配方案,并对该匹配方案中的各个阶段进行阐述,有效地提高了服务匹配的查全率和查准率。最终通过与传统关键字匹配方案和基于本体描述逻辑包含性检测的服务匹配方案进行比较分析,实验结果证明了文中提出的匹配方案具有很好的可行性和有效性。     

多主体系统中的模糊匹配

分析了目前主体服务匹配中存在的问题和不足，针对多主体系统中模糊匹配的需求，提出了一种主体模糊服务描述方法．在模糊服务描述的基础上提出了4种模糊匹配算法：基于语法的近似模糊匹配算法、基于语义的近似模糊匹配算法、等价模糊匹配算法和插入模糊匹配算法，并给出了它们的实现方法．这些算法克服了目前主体服务匹配算法中存在的不足．     

基于动态描述逻辑的主体模型

在动态描述逻辑的基础上,提出了一种智能主体的心智状态模型．它充分利用了动态描述逻辑统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态．探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改等基本问题．该主体模型将理论和实践有机地结合起来,表达能力强,能够充分体现智能主体的本质特征与运行机制,为智能主体的设计与编程奠定了很好的基础．     

QoS驱动的主体服务匹配

分析了目前主体服务匹配的研究现状和存在的问题，为了正确匹配到用户最满意的主体，提出了一个服务质量(Quality of Service,QoS）模型，该模型比较客观的反映了主体服务非功能属性的特征，并研究了该QoS模型上的各种计算和评价方法，在QoS模型的基础上，重点研究了一种QoS驱动的主体服务匹配算法，该算法克服了KSycara,K Arisha、G J Wickler和Z Zhang等人提出的主体服务匹配算法中存在的不足，最后用仿真实验验证了提出的主体服务匹配算法的有效性。     

一种基于本体的主体服务快速匹配算法

分析了目前主体服务匹配中存在的问题,研究了目前主体服务匹配算法效率低的原因。为了提高主体服务匹配的效率,提出了主体服务本体的概念,研究了如何根据主体服务本体来组织主体服务,提出了一种基于本体的主体服务快速匹配算法,从理论上分析了该服务匹配算法的性能特点,并用仿真实验验证了该服务匹配算法的有效性。     

服务描述和服务匹配研究

服务发现是分布式环境下进行资源共享、数据集成、流程协作的前提,而服务描述和服务匹配策略是其中的两个关键问题,服务的多样性、异构性和其上下文的动态变化使这些问题更加复杂.为此,提出了一种能支持多样性、屏蔽异构性、适应变化上下文的服务描述模型SDMDHD,并针对此模型设计实现了包括精确匹配、语义匹配在内的服务匹配引擎,还给出了对该匹配策略的理论评估和实验结果.     

服务发现技术中的服务描述和服务匹配技术

普及计算环境中的设备和应用需要通过服务发现来获得其它设备和应用所提供的服务。在服务发现技术中,服务描述、需求描述和服务匹配是迫切需要解决的关键问题。但由于服务和需求的多样性和复杂性,以及普及计算环境的动态性和异构性,使这些问题更加困难和复杂。所以,寻找一种灵活高效而又准确的方式来进行服务描述、需求描述,进而进行服务匹配,具有非常重要的意义。对现有多种服务发现系统中的服务描述需求描述和服务匹配技术进行比较分析,指出了现有解决方案的一些不足,并对未来的研究进行了展望。     

面向自主计算的主体服务匹配：研究综述

主体服务能力描述和能力匹配是实现自主单元自配置的关键,也是基于主体的自主计算技术中的核心内容.在简要介绍自主计算基础上,重点对主体服务描述语言和主体服务匹配算法的研究成果进行了综述,并指出未来的发展趋势.     

Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace

Service matchmaking among heterogeneous software agents in the Internet is usually done dynamically and must be efficient. There is an obvious trade-off between the quality and efficiency of matchmaking on the Internet. We define a language called Larks for agent advertisements and requests, and present a flexible and efficient matchmaking process that uses Larks. The Larks matchmaking process performs both syntactic and semantic matching, and in addition allows the specification of concepts (local ontologies) via ITL, a concept language. The matching process uses five different filters: context matching, profile comparison, similarity matching, signature matching and constraint matching. Different degrees of partial matching can result from utilizing different combinations of these filters. We briefly report on our implementation of Larks and the matchmaking process in Java. Fielded applications of matchmaking using Larks in several application domains for systems of information agents are ongoing efforts.     

面向服务业的通用业务知识模型与逻辑表示

现有的知识管理方法多种多样,但是不存在统一的解决方法。在服务业中,借鉴都柏林核心的思想,建立一种普适的结构模型,采用分层的思想,对服务业知识进行建模。为了更清楚地表述模型,引入动态描述逻辑(DDL)的方法描述模型,对模型中的动作及模型的状态进行表示,使知识更利于计算机严格地操作。     

服务组合中基于线性逻辑的消息语义匹配

介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机。根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证。同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要。     

基于策略的Web服务非功能属性匹配

Web服务的非功能属性匹配对增强Web服务发现的准确性,保证Web服务调用质量具有重要作用。目前Web服务的非功能属性匹配研究一般局限于某一具体的非功能属性,缺少支持各非功能属性的统一匹配方法。该文提出了一种基于策略的Web服务非功能属性的匹配方法,把Web服务非功能属性作为服务双方的策略,利用策略匹配来实现非功能属性的匹配。采用WSPL作为策略描述语言,并提出了层次化策略的概念,利用不同的发布方式对不同层次的策略进行发布,服务发现的过程与不同层次的策略匹配结合在一起。该方法支持各种非功能属性的匹配,并可以容易地和Web服务的功能性匹配方法结合到一起,形成完整的Web服务发现匹配系统。     

多主体系统中基于本体论的服务相容匹配机制

利用本体论的表示能力,提出了基于本体论的主体服务匹配机制;通过自定义的领域概念化语言,描述领域概念集合以及概念的分类体系,在此基础上完成对主体服务的描述.以概念相容度为依据,提出主体服务语义相容度的概念,给出了主体服务匹配的策略和算法,并通过一个例子描述了主体服务的匹配过程,讨论了其相关的实现环境.