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

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

基于描述逻辑的主体服务匹配

多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题．描述逻辑是知识表示和推理的形式化工具,它提供了可判定的和可靠的推理服务．该文利用描述逻辑有效的推理功能,特别是它对概念包含关系的有效判断,把它与多主体系统的服务推理结合起来．充分利用描述逻辑具有清晰模型一理论语义和有效的概念分层推理服务等功能,该文提出了基于描述逻辑的主体服务匹配算法,详细研究了如何利用描述逻辑的理论和推理机制来实现自动的服务分层及服务匹配．并提出了五种服务匹配算法．这些方法都是基于语义的服务匹配,利用服务分层机制实现了有效和高效的多主体系统中的服务匹配,克服了基于语义距离进行服务匹配的不足．     

基于时序活动逻辑的复杂系统多Agent动态协作模型

动态复杂问题求解是人工智能和复杂自适应系统理论与应用重要研究领域,多Agent动态协作是研究热点和难点之一,如何将问题与任务切分有待进一步地研究.借鉴组织学思想将自适应系统中的自主运行单元抽象为Agent,把复杂自适应系统视为多Agent系统组织,从时间和状态角度对复杂动态系统的行为进行描述,提出了基于时序活动逻辑的多Agent系统动态协作任务求解自适应机制和构造模型,建立了用于协作推理的语义规则、授权规则和行为规则,通过在中国科学院智能信息处理重点实验室开发的MAGE等平台上多方实验和仿真测试,验证了方法的可行性和有效性.     

基于逻辑证书的数字权利动态描述模型研究*

数字权利的动态描述一直都是DRM应用系统研究的热点。提出了一种基于逻辑证书的数字权利的动态描述模型。在定义好相关的逻辑证书和逻辑规则后,利用逻辑推理的方法深入探讨和分析该模型中数字证书逻辑推理过程,通过逻辑推理的方法实现数字权利的动态描述。最后通过简单实例,验证了该方法的可行性。     

基于动态描述逻辑的UCON授权模型

使用控制(UCON)是下一代访问控制模型,其核心模型包括授权模型、义务模型和条件模型。该文的目的是使用动态描述逻辑DDL对UCON授权模型进行逻辑表述,对授权过程中的各个决定要素进行逻辑描述并提供可判定性推理,提出UCON授权模型的逻辑模型,并提供了一个完整的授权实例,为模型的实际应用奠定一个较好的逻辑基础。     

一种分布式动态描述逻辑

分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究了D3L的推理机制,提出了两种推理方法: 直接推理和转化推理.与动态描述逻辑DDL相比,该D3L可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足.     

多主体协作系统的一种形式模型

建造能一起工作的计算机系统一直是计算机科学的一项重要任务。目前多主体（Agent）协作的理论与应用研究已成为多学科和AI交叉研究的一个热点前沿课题。关于主体及多主体系统理论研究的主要难点是所谓的“副作用问题”以及动态环境下对主体资源及能力有限的特性的刻画。该文基于情形演算与三值逻辑给出了一个多主体协作的形式模型;本模型能较好的避免“副作用问题”;此外,在此基础上给出的一个多Agent协作规划理论能较好的刻画动态环境下主体的上述特性。     

一种模糊动态描述逻辑

分析了目前描述逻辑DL的研究现状和存在的问题,特别是动态描述逻辑DDL作为语义Web逻辑基础所存在的问题。针对语义Web需要处理模糊和不精确知识的特点和需求,对DDL进行了模糊化扩充,提出了一种新的描述逻辑,即模糊动态描述逻辑FDDL。给出了FDDL的语法和语义,研究了FDDL的推理机制。与动态描述逻辑DDL相比,该FDDL可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足。     

基于多主体协作技术的电子商务研究

论文提出了建立基于多主体协作的电子商务系统亟待解决的若干问题及其相应的解决方案,并运用ZEUS开发工具箱来说明电子商务的多主体实现方案。     

多主体间的协作过程研究

多主体间的协作是多主体系统与其它相关研究领域区别开来的关键性概念之一,也是保证多个智能系统在一起共同工作的关键,将规划、竞争、约束、及协调纳入一个协作框架之中对多主体间的协作过程进行了研究,并将协作过程分为①产生需求、确定目标;②协作规划、妥协作结构;③寻求协作伙伴;④选择协作方案;⑤实现目标;⑥评估结果等６个阶段,地规范描述主体间的协作行为时,还将逻辑和进程代数方法巧妙地融进了一个统一的形式化框     

基于动态模糊逻辑的软件Agent生命周期模型研究

软件Agent的关键问题是如何促进Agent学习,怎样更好地管理Agent,以及如何有效地用它开发软件,基于此,提出了一个基于动态模糊逻辑的软件Agent生命周期模型。模型主要分3个阶段来描述:定义阶段,开发阶段和维护阶段。同时通过示例说明了利用此模型来揭示自动协作系统是十分有效的。     

多agent系统的抽象合作模型

合作是多agent系统的特征之一,研究了具有请求／服务交互特征的多agent系统的抽象合作模型,根据服务请求强度和服务提供方式的差异性和多样性,系统分析并提出了6种基本抽象合作模型,提取了请求、承诺和通知3个言语行为作为实现合作的原子通信行为,给出这些原子通信行为和抽象合作模型的严格语义定义,分析它们的实现机制,以描述多agent系统的合作方式和机制,指导多agent系统的设计和实现．     

基于动态描述逻辑DDL的动作理论

基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径.系统地研究了基于DDL的动作表示和推理问题.首先,在应用描述逻辑对静态领域知识进行刻画的基础上,引入带参数的原子动作定义式和带参数的复...     

动态描述逻辑的Tableau判定算法

动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑.文中以描述逻辑ALCO的动态扩展为例,构建出动态描述逻辑D-ALCO.以D-ALCO的构建过程为基础,将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来,给出了D-ALCO的Tableau判定算法,证明了算法的可终止性、可靠性和完备性.应用该算法,可以在采用开世界假设的情况下对D-ALCO中公式的可满足性进行判定.对于D-ALCQO、D-ALCQIO等具有更强描述能力的动态描述逻辑,可以对该算法扩展后得到相应的Tableau判定算法.     

动态描述逻辑动作间关系的Petri网分析方法研究

针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足, 提出对多个动态描述逻辑动作间关系描述和分析的 Petri 网方法. 首先讨论了动态描述逻辑动作的等价 Petri 网描述, 进一步通过对动作描述的推理和各个动作的 Petri 网共享合成操作, 得到多个动态描述逻辑动作的 Petri 网系统. 在此基础上, 应用 Petri 网的相关理论与方法, 如可达图分析方法, 研究了多个动态描述逻辑动作间关系的分析与判定方法, 对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.     

基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。