推理规则相关论文
随着信息技术产业的发展和物联网设备数量的增长，物联网安全防御的难度与复杂度不断上升，针对物联网与供应链的重大安全事件时有发生......
我国是地震的高发区,每年因地震造成了巨大的经济损失和人员伤亡。在震后救援中,应急救援物资的调度是开展应急救援的一个重要环节......
随着经济和科技的发展，我国交通事业也取得了巨大的进步，民航航空已经不再陌生，成为我国一项主要出行方式。民航安全事故的发生对国家......
如今由于电网发生污闪事故所造成的危害已严重影响到电网设备的安全可靠运行，其所产生的经济损失以及对社会造成的影响是无法估量的......
学位
随着互联网的迅猛发展,网上的数据每日海量增加,用户要想在网上搜索到自己希望的信息已经越来越难。为此,出现了搜索引擎等一系列......
该文提出了一种对软件质量的负面因素——软件缺陷进行分析和度量的软件质量控制方法.介绍了软件缺陷的定义、种类、特点和度量方......
本文在对国内外研究现状进行综合分析的基础上，从一个全新的角度对XML函数依赖的推理规则与蕴涵问题进行了研究。 首先，对当前广......
随着语义Web领域的发展,各个领域按照语义Web的数据格式发布的数据逐年呈几何级爆炸性增长。Linked Open Data上的RDF数据条数已经......
XML凭借着众多优势已经成为Web上数据表示与交换的标准。但XML模式所能表示的语义信息却相对有限。同关系数据库相似,设计不好的XM......
报警系统是SCADA系统重要的组成部分。一个具备推理能力的智能化的报警系统可以帮助调度人员准确识别、定位已经发生的故障，总结故......
在现实生活中,计算机系统和数据库系统所存储的数据有N^N种形式。对于开发者来说,最耗时间的就是在遍布网络的系统之间交换数据。......
XML的出现给数据库领域带来了很多新的问题，其中XML数据的约束问题是当前的研究热点之一。XML函数依赖、逻辑蕴涵是进一步研究XML键......
目前,问答系统作为一种新型的智能化的信息检索形式,作为一种更高效、更人性化的搜索引擎,已经成为信息检索和自然语言处理领域中......
XML(eXtensible Markup Language)作为一种Internet上的主要的数据表示和交换标准，应用范围非常广，这就对XML数据库的模式提出了更高......
带硬约束的MAX—SAT问题又称为Partial MAX—SAT问题，它是SAT问题和MAX—SAT问题的结合，比后两者有着更强的描述问题的能力和更广泛......
由于事件本体(Event Ontology)所表示的知识更接近于人类对知识的理解与分析过程,使得事件本体越来越受到学术界的重视。同时,时间......
信息检索是从信息集合中找出与用户需求相关的信息。本体作为一种表示知识的形式,具有良好的概念层次结构,支持推理功能,因此基于......
创新设计是企业生存以及发展的动力因素，也为企业注入了新鲜的血液使企业在如今的市场竞争中立于不败之地，但由于设计者的思想受到以......
近些年来，我国的医疗卫生事业取得了长足的发展，但与此同时，医疗事故时有发生，由此引起的医疗纠纷给医院和患者带来了不必要的麻烦，影响......
信息时代的发展,引领计算机软件应用深入到千家万户,各行各业。随着软件的应用领域迅速加大,规模急速扩张,软件安全性的要求也逐步......
基因组重排是人类基因组中常见的一种变异形式,物种进化过程中基因组的变化实际上是发生一系列基因组重排事件的过程。通过对基因......
随着人工智能不断的深入研究,本体越来越多地被应用在领域知识的表示以及共享。如何将本体应用于医学领域是当前的研究热点之一,目......
西服的质量直接关系到西服制造企业的经济效益及信誉荣誉。现有的西服质量管理研究主要关注于成品合格率或事后的质量评价,缺乏西......
本文通过研究国内外森林培育决策系统的现状和趋势,针对人工林培育专家决策系统中所存在的问题,从林农的角度出发,设计并研建了人......
随着科学技术的不断发展,计算机水平技术突飞猛进以及经济全球化的到来,各种三维CAD模型也大量产生,如何方便、准确、快速地获取机......
<正>传统的实质真理论有其自身的缺陷,塔斯基等人的语义真理论则需要使用更强的元语言。实质真理论和语义真理论都试图给真下定义,......
创造性思维研究是创造性的核心,多年来,心理学为此做出了不懈的探索与研究,对创造性思维的本质特点从不同的角度进行了阐述,但纵观......
主题地图是一种良好的企业信息集成和检索工具。在传统主题地图信息集成中,查询语言TMQL能提供一定程度的智能化检索功能,但不能解......
在语文学习过程中,有的问题的解决过程和答案都是很确定的,可以直接运用相关规律甚至直接套用推理规则,这类问题属于结构良好领域(......
伴随电子商务的全球化发展趋势，面向电子商务的网上谈判系统日趋成为一个研究热点。自动谈判系统是网上谈判应用的分支，采用谈判软件......
形式概念分析是由R. Wille于1982年提出的一种数学理论,概念格是其核心的结构模型.概念格描述了内涵和外延之间的联系,并通过Hasse......
随着电子商务和Internet网络技术的不断发展，原有的电子商务模式不适合发展的需要，为求更主动、快捷地推动电子商务活动过程，本论文提......
信息时代下我们不会担心信息的缺少,而是需要在海量信息中精确地、快速地找出需要的信息,提高信息检索的效率和精度。让信息检索拥......
随着机器人相关技术日新月异的进步,使机器人拥有类似于人的感知能力与行为能力,进而能够与使用者进行自然和谐的交流互动,成为机......
近四十年来，由于不确定性推理在控制系统中的广泛应用，关于不确定性推理的逻辑基础-非经典逻辑理论的研究更加引起了人们广泛的关注......
该文根据上海通用别克轿车副车架生产的实际情况,采用CCD摄像机监控工人手工焊接全过程,并以实时采集到的视觉信息为主提出了一种......
近几年来，模糊控制技术取得了很大的成功，但作为模糊控制技术核心的模糊推理在数学理论上却缺乏严格的逻辑基础，由此引起了世界上许多......
模糊系统控制的理论和技术已经取得了举世公认的成功，作为模糊控制理论基础的模糊推理与模糊逻辑也日益受到关注。
早期的逻辑......
随着计算机与网络的广泛应用,数据库安全问题已经变得日益显著,因此数据库技术已经成为信息安全的重要研究领域。数据库推理控制是......
随着互联网技术的发展和应用,在线学习已经成为了当今教育领域的一大热点,根据建设学习型社会的需要以及学习个性化、终身化的要求......
该文根据先进制造发展的特点,结合现代设计理论提出了适合敏捷制造的面向并行设计的装配顺序规划系统结构.针对在自动装配顺序规划......
形式系统是现代数理逻辑的一个重要内容。形式系统从大的方面通常分为两大类:公理系统和自然演绎系统。除了这两种主要的形式系统......
RDF闭包是提高RDF数据查询效率的一种有效途经,目前大部分闭包生成算法依据推理规则间的触发实现推理,推理规则多次重复使用,闭包......
在先前设计的一个出具证明编译器原型基础上,增加了可用来描述数据结构性质的自定义谓词,对断言语言表达能力方面做了提升.在出具......
