推理引擎相关论文
近些年,人工智能已经由传统的感知智能逐渐向认知智能过渡,认知智能与自动推理成为研究的重点。如何将深度学习应用于逻辑推理,从......
MEISRDL是一种用于军事电子信息系统顶层设计的需求描述语言.由于该语言是一种半形式化的语言,所以无法进行基于精确语义的形式化......
随着集成电路设计规模的日益增大,组合验证已成为时序电路的形式化等价性验证的重要手段.为了验证较大规模的电路,通常需要将随机......
关键字查询无法解决同义词、一词多义问题,本文将语义Web技术与鲜花网站结合提出一个语义化查询系统.该系统使用本体描述选购鲜花......
理论上来说万维网是一个具有无限潜力的信息资源,但实际上这一潜力是受到很大限制的,因为计算机还不能从语义的角度智能的对这些信......
本文对描述逻辑、语义和本体以及本体的描述和查询语言进行了阐述.在此基础上，分析了当前OWL语义本体推理和存储系统存在的问题。如......
本论文在深入研究语义Web的体系结构、关键技术的基础上，对逻辑推理系统和基于OWL的语义Web推理技术作了研究，主要创新性工作包......
本文在数据质量监控方面作了大量的研究。 讨论了数据质量控制工具和方法的现状及其不足。提出以下解决方案：在已有的数据质量分......
随着计算技术和通信技术的发展，笔记本、PDA、手机等移动设备的便携性和计算能力都得到了很大的提高。将这些设备应用于日常生活以......
规则引擎是推理引擎的一种,它起源于基于规则的专家系统。近些年来,规则引擎被越来越广泛的应用在业务逻辑的处理过程中,它将业务......
近几年,Internet已经深入企业,企业已经不仅仅是从Internet上获取信息,企业的许多业务也延伸其上,成为企业商业活动、企业管理活动......
本文讨论了RKIF规范的设计和推理引擎的实现。最终定义的RKIF实际上是一个默认封闭世界假设，并去掉了一些不常用的KIF语法特性的KIF......
初等数学应用题自动求解的研究存在两个方面的难点:题意理解和推演计算。本文以自然语言处理和自动推理相关技术为研究的理论基础,......
情境感知计算是普适计算的一个重要研究方向,其目标是使系统能根据情境信息的变化自适应地为用户提供与用户当前任务相关的计算服......
计算机在教育中的研究和应用可以追溯到20世纪50年代。随着学习理论、网络技术、人工智能技术的发展,当前基于网络的智能学习系统......
随着网络技术的蓬勃发展,计算机网络的规模和网络应用的复杂度大幅提升。网络技术的日新月异,使得网络结构变得复杂且难以维护,网......
随着传感器技术、嵌入式开发技术、移动计算技术、上下文感知推理技术等技术的不断成熟与发展,普适计算的研究正迎来研究热潮,普适......
工业信息物理系统为工业生产环境中物理设备和不同系统之间提供了相互连接形成闭环反馈机制,以及横向和纵向的一体化集成方法。而......
从认知决策引擎的角度出发，以提高认知决策引擎和政策推理引擎的整体效率为目标，提出基于频谱可用性态势图的政策推理方法，简化了......
提供了灵活有效的谈判代理开发方法,使用状态图和可废止逻辑规则说明谈判策略,动态地插入到一个集状态解释器和可废止逻辑推理引擎......
约束推理机是约束逻辑程序设计的核心部分,它包含有变量组、临时容器、约束过滤器和推理引擎,与分支策略、探索策略和节点回溯策略......
本文简要介绍了J2EE技术,给出了一个基于Web的智能推理引擎模型,并详细的论述了如何用J2EE技术来实现这个推理引擎.此推理引擎模型......
在制造业信息化进程中,首要问题是如何充分利用新的信息技术搭建一个最具发展前景的企业现代化管理平台。新信息技术的应用对企业......
数据仓库中多维组织存储了海量的面向主题的数据,对于技术人员针对不同和可变的领域业务规则对数据仓库中的主题数据进行分析是一......
深度学习推理引擎是人工智能(AI)软件的基础组件。通过将深度学习模型解析成计算图,推理引擎实现了模型的优化并支持在不同设备上......
剧情是太阳风暴应急演练的驱动,控制演练的过程和发展。针对传统演练中手动设置剧情、演练剧情已知,且不能反映太阳风暴动态演化过......
分析了语义Web的体系结构及其相关知识，对本体论的逻辑基础进行了研究。在此基础上提出了一种有效的推理系统。......
基于静态约束调度及其组件结构,建立了一种动态约束优化调度的软件模型结构,可以适应于调度环境的动态变化。从软件模型上分析,动......
讨论基于WEB的软件工程测量专家系统.利用软件工程测量系统软件,在一个正式和一致的框架之下,提供全面的关于软件测量及度量的建议......
普适计算对推理引擎提出了有别于传统方法的诸多新挑战.面向普适计算的推理引擎需要基于情境驱动,可灵活应对情境时变频繁、实时性......
以提高教学管理系统的智能化和可视化程度为目标,利用智能工程的思想及方法将模型库、知识库、推理引擎、数据库和计算机图形等技......
为了使教学效益达到最佳，首先根据基于本体和规则建立了基于推理引擎的教学策略推理机，引入了辅助规则和匹配规则；并建立教学规则库，根......
软件测试多Agent系统(Software Test Muiti-Agent System，STMAS)利用Agent具有的自治性、社交能力和智能性为软件系统的测试提供积......
未来的WWW搜索引擎将不只用于文字搜索,它应该能够理解Web页面的内容,在其上执行逻辑推理,实现复杂的搜索查询并反馈准确结果。创......
目的:设计基于开放视觉推理和神经网络优化(OpenVINO)人工智能工具套件的情绪识别反馈康复训练系统,方便康复人员在可调难度的游戏......
主要研究基于知识的智能化Internet远程教学模型(ILTMK);模型采用面向对象的系统分析方法及统一模型描述语言(UML),基于教学内容知......
应用SDG技术对复杂系统进行安全分析推理,其引擎的性能测试至关重要。我们提出了采用系统标准的SDG测试图,对引擎进行测试。论述了......
测试用例的数量和质量决定软件测试的成本和有效性。该文设计了一种基于Agent的测试用例选择工具,它能优化测试用例自动生成器所产......
基于本体（ontology）理论,利用本体对概念、术语及其相互关系的规范化描述,勾画出数字图书馆领域的基本知识体系,构建了数字图书馆领......
HAZOP是分析系统可靠性的一种有效方法,在石油、化工工业中得到了广泛应用。但人工HAZOP分析存在费时、费力、成本高等缺点,而计算......
提出了一种基于任务链的对等网信息智能查询体系框架（TLB-PPIQA），结合对等网和基于任务链的知识管理技术的特征，为用户提供非集中环境......
数据仓库中多信组织存储了海量的面向主题的数据，对于技术人员针对不同和可变的领域业务规则对数据仓库中的主题数据进行分析是一件......
基于本体的领域知识推理主要分为基于逻辑的领域知识检错推理和基于关系的领域蕴涵知识发现推理。对本体描述的领域知识进行推理，可......
航天器的研发正面临着研发要求越来越高、周期越来越短、经费预算越来越紧张的新挑战,对传统的航天器总体设计方法进行优化成为了......
为工业过程的设备选择通常要求工业专家和技术人员的广泛的参予，它引起资源的严肃的浪费。这个工作基于本体论技术为工业苯乙烯过程......
为了及时诊断矿井通风机故障，提高和改善煤矿企业安全生产的水平，设计基于规则推理的矿井通风机故障诊断专家系统。系统采用JESS作为......
文中提出一种软件测试多Agent系统(STMAS),该系统由用户界面Agent、测试用例选择和测试Agent、回归测试Agent三部分组成,这些Agent......
