车载导航电子地图中道路数据的空间逻辑描述

道路数据是车载导航电子地图中主要研究的数据 ,也是智能化交通运输系统 (ITS)建立数据框架的基础数据 .据此采用地理信息系统 (GIS)技术 ,从逻辑描述方案的角度探讨道路数据的空间逻辑描述、属性描述和整体逻辑关系 ,以提供恰当的道路逻辑描述方案来建立道路空间数据库 。

基于Agent的语义Web服务框架及其逻辑描述

通过研究Agent技术与语义Web服务技术在应用中结合的方式和Agent在语义Web服务技术体系中需要扮演的角色,以及Agent与语义Web服务结合的具体实现,提出了一种基于Agent的语义Web服务框架。在此框架的原理基础上,利用扩展逻辑C&L意图理论描述了框架中Agent的工作过程以及语义Web服务的内容。

由逻辑描述得到逻辑函数的方法与技巧

组合电路的设计过程,其出发点是给定了逻辑功能,而要求设计出实现这个功能的逻辑电路,具体地说,逻辑设计的任务是从给定的逻辑功能或逻辑要求出发,经过逻辑抽象和逻辑化简进而得到在特定条件下实现给定逻辑功能的最经济合理的逻辑电路图。

红外视频处理系统数据通道的逻辑描述

红外视频数字处理技术有广泛的应用,红外高速数据通道是红外视频数字处理系统的核心,此红外视频数字处理系统主要是由红外视频同步,先进先出缓冲区和PCI桥组成.在本文中提出了三层逻辑描述的架构和红外视频数字处理系统数据通道的设计,同时提出了关键逻辑,例如用HDL(硬件描述语言)描述了红外视频同步和PCI局部总线存取.

复合型报表结构的逻辑描述方法

报表结构描述是报表生成的前提。本文通过复合型报表结构的推理分析,提出运用表达式描述的总体思想,并给出描述表达式的定义及编译与报表生成方法,旨在为MIS或其他应用系统报表的描述与生成提供一个更加简洁、高效的新途径。

一种可离线的业务逻辑描述方法

当前移动办公的离线需求,一般都是在移动终端上重新实现一套业务逻辑,这就导致同样的业务有两套程序代码,不仅仅工作量增加了,还可能出现两套代码的处理逻辑不一致。本文主要从如何描述数据、如何描述数据存取操作、如何描述存取操作的次序逻辑三个方面,提出一套业务罗杰描述方法,将各种业务逻辑从程序代码中分离出来,形成一个统一的配置库,从而达到统一PC在线、移动终端在线、移动终端离线的业务逻辑实现,减轻代码工作量,减少不一致的目的。同时,经过黄埔网格项目的实际校验,基本验证了这套方法的可行性和有效性。

基于逻辑描述的决策树算法及其Prolog实现

决策树算法是数据挖掘领域的重要算法之一.文章首先对决策树算法的数据进行逻辑描述,然后使用保险公司客户数据来构建决策树,利用Prolog语言实现了基于逻辑描述的ID3算法,尝试了用逻辑推理方法解决数据挖掘问题,并对结果进行了分析.

基于逻辑描述的开放式规则检测方法的实现

规则检测方法是入侵检测系统中应用最为广泛的一种检测方法,现有的规则检测方法存在着规则不能扩充或规则扩充不够灵活、不够方便、用户不易掌握等问题。为此,本文提出了基于逻辑描述的开放式规则检测方法,并给出了概略的实现。

基于动态描述逻辑的语义Web服务匹配研究

动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务以及服务发布方的原子服务用动态描述逻辑的动作进行描述,解决了语义Web服务的一致的形式化表述问题;将目标服务和原子服务的匹配问题归结为动态描述逻辑的公式可满足性判定问题,利用动态描述逻辑对动作的推理功能,发现与目标服务相匹配的原子服务组合.动态描述逻辑的公式可满足性问题是可判定的,解决了利用一阶谓词逻辑进行逻辑推理时的不可判定性.

一种分布式动态描述逻辑

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

基于描述逻辑的模糊ER模型

分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.

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

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

面向语义Web语义表示的模糊描述逻辑

分析了语义Web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义Web语义表示的模糊描述逻辑FSHOIQ(fuzzy SHOIQ).给出了FSHOIQ的语法和语义,提出了FSHOIQ的模糊Tableaux的概念,给出了一种基于模糊Tableaux的FSHOIQ的ABox约束下的可满足性推理算法,证明了可满足性推理算法的正确性.提出了FSHOIQ的TBox扩展和去除方法,并证明了FSHOIQ的TBox约束下的包含推理问题可以转化为ABox约束下的可满足性推理问题.FSHOIQ为语义Web表示和推理模糊知识提供了理论基础.

基于描述逻辑的带属性依赖时序ER模型

分析了描述逻辑在数据库中的研究现状和存在的问题,特别是描述逻辑与时序ER模型的关系,在Artale的基础上提出了一种形式化带属性依赖时序ER模型εRVTAD.针对带属性依赖时序ER模型εRVTAD的需求和特点,提出了一种新的描述逻辑,即时序描述逻辑ALCQI(D)US.给出了ALCQI(D)US的语法和语义,提出了基于ALCQI(D)US的带属性依赖时序ER模型,即给出了如何将带属性依赖时序ER模型εRVTAD转化为ALCQI(D)US知识库,以及利用ALCQI(D)US的推理机制给出了带属性依赖时序ER模型εRVTAD的可满足性、冗余性、包含关系和蕴含关系等自动推理问题,证明了这些推理问题的正确性.

模糊描述逻辑FALNUI的tableaux推理

分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑tableaux的FALNUI的可满足性推理算法,证明了该推理算法的正确性,以及提出了FALNUI的Tbox扩展和去除方法,证明了FAL-NUI的包含推理问题可以转化为可满足性推理问题,并给出了FALNUI的包含推理算法.FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础.

支持数量约束的扩展模糊描述逻辑复杂性研究

扩展模糊描述逻辑EFALCN(extendedfuzzyattributiveconceptdescriptionlanguagewithcomplementsandunqualifiednumberrestriction)是支持数量约束的描述逻辑ALCN的模糊扩展,但该逻辑的推理问题缺乏相应的算法和复杂性证明.提出EFALCN推理问题基于约束传播的Tableau算法,并证明该算法可在PSPACE(polynomialspace)约束下执行.由ALCN(attributiveconceptdescriptionlanguagewithcomplementsandunqualifiednumberrestriction)的推理问题可多项式时间归约到EFALCN推理问题,且ALCN的推理问题是PSPACE-complete问题.所以,EFALCN推理问题是PSPACE-hard问题.综上所述,EFALCN推理问题是PSPACE-complete问题.

基于描述逻辑本体的GIS多重表达

多重表达是地理信息弹性表达和弹性存取的一个内在要求,它实质上提供了一个多尺度、多应用主题的数据集成机制。多重表达的建模不能仅限于数据库中多重几何特征的一致性表达,还必须支持不同语义粒度、不同应用主题下语义特征的弹性描述。基于形式化本体的地理信息建模更贴近于认知模型,还有助于语义表达以及基于语义的信息集成和共享。通过经典描述逻辑中具体域以及context的扩展,满足区域拓扑和上下文语义形式化描述的需要;给出一个基于描述逻辑的多表达地理本体方案,该方案能够为数据库中几何信息和语义信息的弹性表达提供一个统一的基于逻辑的模型理论基础。

用描述逻辑进行语义Web服务组合

针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑之间的对比研究,采用描述逻辑公理来刻画Web服务的IOPR(inputs,outputs,precondilions and results),扩展了基于动态逻辑的人工智能规划方法,提出了把语义Web服务组合问题转化为描述逻辑推理问题的方法,克服了经典的人工智能规划方法中的困难和基于服务匹配的服务组合方法的缺点.

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

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

基于描述逻辑的推理系统设计与实现

语义Web的出现使得描述逻辑成为近期的研究热点,作为本体描述语言的基础,描述逻辑具有较强的表达能力.设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义Web的实际应用系统中,减少对计算机的人工干预,在一定程度上提高了机器的理解能力.