人工智能应用中基于区间代数的时态推理

时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用.区间代数是一种独立的与领域无关的时态理论.用区间代数能表示不确定的时态关系,可以很方便地用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理.在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示.     

时态关系的向量表示及其推理

作为推理的基础,时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量。其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中。这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现。     

框架理论在故障诊断中的应用研究

本文介绍了故障诊断专家系统的知识表示和推理方式,研究采用框架知识表示法,运用模糊集合理论,利用框架推理,以局部符合的深度优先搜索构建推理机,将模糊关系矩阵和模式识别相结合设计了一个诊断模型。     

基于时态逻辑的知识表示研究

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.     

采用模糊Petri网的形式化推理算法及其应用

以模糊Petri网为工具，研究了多种约束条件下的人类知识和推理过程的表示方法．在此基础上，将模糊Petri网与矩阵运算相结合，给出了模糊推理过程的形式化推理算法．算法考虑了推理过程中的众多约束条件，包括命题在规则中的权重、变迁触发的阈值、规则的可信度以及多结论规则等，将复杂的推理过程采用矩阵运算实现，充分利用了模糊Petri网的并行处理能力，使模糊推理过程更加简单、快速和易于实现。     

一种基于联想的知识表示方法

本文提出一种基于联想的知识表示方法，并对其结构，特点以及推理机制进行了分析。这种方法具有很强的表达能力。它将逻辑推理与联想推理结合起来，可以提高基于一定领域知识库的专家系统的推理效率。     

时间区间关系的定性与定量的混合推理

区间代数是一种用来进行定性时态推理的工具,它在人工智能中有着广泛的用途。现实世界中有许多定性的时态信息,也有许多定量的时态信息,将定性的时态信息和定量的时态信息在一起进行混合推理是有意义的,它更加贴近于现实,简化了问题的一致性场景的表示,提高了时态计算的效率。     

规划识别中的时态推理

提出了一个用于规划识别的多层次时态推理算法。该算法可将以往的时态推理从单个规划的分解推广到多层次规划系统，使之更具普遍性；可将观察中的时态关系作为约束信息在层次结构中传播，减少候选规划的数目，提高规划识别的效率和准确性。     

复杂网络下基于路径选择的表示学习方法

基于路径和基于知识表示的推理是当前知识图谱领域两大主流推理方法,二者的融合算法可以提高知识推理的准确率,但是依旧存在表示学习的时候效率低下、预测准确率低、模型过拟合等若干问题.本文方法针对这些问题提出了基于路径选择的表示学习方法.对路径特征信息进行进一步的过滤和筛选,保留关键路径,在路径信息和知识表示的结合过程中使用平衡参数对缺失路径信息的三元组进行处理.使用公开数据集对模型进行测试,实验表明模型可以有效提高泛化能力和准确率.      

特征空间中的拓展稀疏人脸识别

基于稀疏表示分类（SRC,sparse representation for classification）是近年来模式识别领域中备受关注的一个研究热点。当每类训练样本较少时,SRC的识别效果往往不理想。为解决此问题,人们提出了拓展的稀疏表示分类算法。它引入了训练样本的类内变量矩阵,来补充每类训练样本信息。但是,该方法很难获取普遍存在于复杂数据如图像中的非线性信息。为此,提出了特征空间中的拓展稀疏人脸识别算法。该算法将样本集非线性映射到新的特征空间中,计算每个训练样本在表示测试样本时所做的贡献。根据贡献大小,给每个训练样本赋予一定的权重。同时,利用类内变量矩阵,共同表示测试样本。实验表明所提出的算法优于其它经典稀疏表示分类算法。     

面向对象的概念建模

给出一种面向对象概念建模方法，它将图形表示、Ｅ－Ｒ方法、关系演算、时态逻辑溶为一体，支持对象结构、行为和对象演变建模的一体化和封装     

农业专家系统在新疆兵团的应用

农业专家系统,也叫农业智能系统,是农业信息技术中的一项重要技术,它是将人工智能的知识工程原理应用于农业领域的一项高新技术,它是运用知识表示、推理、知识获取等技术,总结农业专家的宝贵经验、实验数据及数学模型,建造起来的计算机农业软件系统。它具有独立的知识库,智能化     

一种DNA序列的2D图形表示

本文介绍了DNA序列的一种非退化的2D图形表示,基于图论距离方法将该图形表示转化成了相应的矩阵表示并讨论了它们的数字特征,以便人们对DNA序列作进一步的比较分析。     

框架知识表示及推理的研究与实践

采用框架结构来对知识进行表示,定义了框架知识语言,实现了对知识的表示和推理.框架作为知识的表示方式,其最突出的特点是它善于表达结构性的知识,通过继承把知识的层次关系表现出来.     

基于特征Petri网建模的冷水机组故障诊断系统

冷水机组是建筑物中空调系统重要的制冷设备,它的运行状态直接关系到建筑物暖通空调系统运行的性能和稳定性,其故障诊断问题一直受到广泛关注.将特征建模方法引入到冷水机组的故障诊断技术中,并采用模糊Petri网技术实现建模.利用Petri网进行知识表示及推理的矩阵运算算法,描述冷水机组故障征兆与特征参数的关系.运用所提出的诊断系统,不但可以充分利用各特征参数的信息资源进行故障判断,而且可根据冷水机组能效指标COP对故障诊断结果进行综合诊断,有利于冷水机组高效运行.实验结果验证了该故障诊断系统的可行性和准确性.     

模态逻辑与程序验证

本文探讨模态的一般概念,类似于客体变元视为集合化的个体,将模态变态变元视为集合化(或称为状态化)的客体变元,并在状态间建立了被称为可达关系的二元关系,当取状态为程序的执行状态时,将表示出各种不同的程序性质。为使程序性质便于演算,引入了程序语言的一种时态语义及若干推理规则,那么验证程序的不变性,部分正确性,完全正确性可与通常的一阶谓词演算一样进行逻辑推理。     

采用属性文法的知识表示及推理方法

本文利用属性文法表示不确定性的知识,并采用这种形式化的知识给出了进行不精确推理的方法。本文提出的方法为不确定性知识的表示及其推理提供了一个良好的支持。     

情态演算在行动推理中的应用

情态演算是专门设计来表示动态变化世界的一个二阶多类语言，它可作为描述动态系统的一个工具，在行动推理的应用中显示出其强大的表示能力和实现能力．在情态演算中，可以对行动进行公理化，可以描述行动的时间性、并发性及agent的信念和知识，可用Prolog实现在开放世界中带有感知行动的规划．讨论并介绍与这些应用有关的基本概念、思想，方法和最新的一些研究成果。     

不确定性知识的定性表示、推理及其应用——定性概率网研究综述

 贝叶斯网是不确定性知识表示和推理的有效框架,定性概率网是贝叶斯网的抽象表示,它简化了不确定性知识的表示,加速了不确定性知识的推理.近年来,定性概率网成为了不确定人工智能和知识发现领域的一个重要研究方向.分析总结了目前定性概率网的挑战和研究成果,主要包括定性概率网的知识表示、推理及应用3个方面.表示方面,概括了定性影响、定性加协作、定性乘协作和原因间影响,并探讨了定性概率网表示机制存在的问题及主要解决方法;推理方面,描述了推理算法,探讨了定性概率网推理冲突问题,分析比较了解决推理冲突的主要方法;应用方面,概括了基于定性概率网的知识发现和决策支持的主要方法.此外,基于对现有研究成果的分析总结,也指出了定性概率网相关方面进一步研究的问题及重点.     

矩形波导缝隙阵列天线的快速综合算法

矩形波导缝隙阵列天线计算复杂,本文提出一种快速综合算法,充分考虑互耦的影响,并且可以对同相或不同相缝隙电压加权进行综合.首先在有源导纳法的基础上得出一个矩阵方程,互耦的影响和缝隙自身的影响分别可以用方程中的一个矩阵完全表示.分析矩阵的特性后,本文可将对面阵的综合转换为对每条波导上缝隙的综合,大大降低计算量.仿真实例验证了算法的有效性.