时空推理研究进展

与时态和空间有关的推理问题是人工智能研究中重要的组成部分,在地理信息系统、时空数据库、CAD/CAM等领域有着重要应用.从本体、表示模型和推理方法3个方面分别介绍了时态推理和空间推理的发展,并在此基础上综述了时空结合推理的研究进展.讨论了目前时空推理领域存在的问题,并指出了今后的发展方向.     

故障诊断系统中基于多Agent的并行推理机制研究

基于诊断任务的多层次混合分解策略,提出了一种融合不同知识表达方式和推理机制的多Agent并行诊断结构,分析了管理Agent、诊断Agent和决策Agent的基本职能;并将证据理论应用于多诊断Agent的联合决策过程,指出了Dempster合成规则及Yager改进方法的不足,提出了基于证据支持度的冲突信息加权分配方法,并以一个算例证明了该方法的有效性。     

时空推理前沿研究综述

本文对时空推理及应用中若干前沿研究方向进行了综述和分析。概括了时空推理的概念和主要研究方向,总结了近10年来时空推理中时空代数、时空信息综合、时空柱度等理论方向及地理信息系统和时空数据库等应用方向的研究工作,分析了存在的问题并指出了发展趋势。     

动态系统的定性推理：定性模型的建立与定性仿真方法

本文首先介绍了动态系统的定性推理的产生背景，发展概况以及定性推理的实际应用前景，然后以Ｋｕｉｐｅｒｓ的定性仿真理论为中心介绍了定性推理的基本原理及方法，其中重点介绍了动态定性仿真算法ＱＳＩＭ和定性推理的最新发展，并对存在的问题进行了探讨。     

基于时空推理和XML的时空查询语言

新一代地理信息系统(简称GIS)正在向同时处理时间和空间信息发展,时空查询成为GIS的研究重点。目前的时空查询语言不论在语法还是语义方面都存在不足。为此,设计了一个基于XML的扩展SQL时空查询语言ST—XSQL,并在组件地理信息系统CGIS上实现。鉴于：XML是当前各类基于Web的查询语言普遍采用的技术手段,ST—XSQL采用基于xML的扩展SQL语法。语义解释采用时空推理中著名的RCC和区间代数理论。与同类工作相比,ST—XSQL的语法表达更加清晰和严谨,时空关系语义也更加完备和实用。     

基于Rete算法的多Agent的实时协同推理

1 引言多Agent系统是由若干具有一个或多个目标的Agent按照一定的信息关系和控制关系以及问题求解能力的分布模式组成的系统,它主要研究一组在逻辑上或物理上分离的Agent之间行为的协调。目前,多Agent系统已应用于诸如空中交通控制、电子商务、通讯网络管理和作业调度等生产实际领域。Agent技术应用到实际领域时映射的对象一般有     

时空推理中自动生成复合表的通用算法

时空推理是面向时间/空间问题的研究领域,在人工智能(如语义Web、机器人导航、自然语言处理、物理过程的定性模拟和常识推理等)和其他领域有着广泛的应用前景.复合推理在时空推理中具有重要作用,是约束满足问题等其他定性推理的基础.复合推理是由R(a,b)和R(b,c)决定R(a,c)的一种演绎推理.一般将关系复合结果放在复合表中备查.但目前复合表的建立需要逐个模型进行手工推导,少数模型给出了独立的复合表生成算法,没有适合多种时空关系模型、能自动生成复合表的通用算法.为此,提出了一种能自动生成复合表的通用算法.首先,给出了基于空间划分的通用时空表示模型.在此基础上,提出了基于场景检测的通用复合表生成算法.通过理论分析和对RCC、宽边界、区间代数等20余种典型时空模型的测试,证明了本算法对于所有以精确区域(或区间)为基础的确定、不确定时空模型均能正确快速地生成复合表.     

基于范例推理的合同网模型

合同网是一类重要的基于竞争机制的协同问题求解模型，它一般不对竞争者范围进行限制，采用广播方式发布任务，消费了大量通讯负载，因此不能保证高的工作效率．为了减少Agent之间的通讯负载和协商时间，提高工作效率，本文在合同网模型中引入范例推理，使用范例推理来确定合适的投标竞争者，缩小问题竞争者范围；同时本文在范例中加入了时间因子和遗忘系数等参数，以及一类特殊的范例，有助于改善合同网协作过程，使得系统具有较好的灵活性和适应性．     

可拓推理与多Agent之间的冲突消解问题

分析了多Agent之间的冲突问题和冲突消解方法，提出了用可拓学中的解决对立问题的转换桥方法，根据“反其道而行之”和“多路分频”的原则，解决多Agnet的动态冲突问题。最后给出了解决足球机器人拦截－避障作为对立问题的实现方法。     

框架系统中的近似推理

本文在概述 L.A.Zadeh 提出的近似推理理论 AR(Approximate Reasoning)中的知识表示及推理规则的基础上,着重讨论了 AR 理论在框架系统中的应用,对如何运用 AR 理论处理默认知识(default knowledge)也作了较为详细的介绍。     

属性Petri网模型及其推理算法

定性映射是从哲学上事物的质-量互变规律出发,以感觉特征抽取为依托而建立的脑思维数学模型。文章以定性映射基本定义为基础讨论了属性Petri网的基本模型,给出了其形式定义和基本运行机制,描述了基于属性Petri网的知识表示模式,最后给出了属性Petri网的相应推理算法。该模型在以定性判断为特点的诊断系统中能得到较好地应用。     

方向关系的定性表示与推理

方向关系是GIS中的一个重要的理论问题。本文重点讨论方向关系的定性表示与推理。文章首先讨论了基于井字空间的方向关系定性表示,然后介绍了基于方向关系组合运算表的方向关系定性推理,最后对我们现在和将来的一些研究进行了叙述,并对我们的工作做了总结。     

基于混合推理机制的故障诊断专家系统

多数故障诊断专家系统采用单一的推理机制,或者基于规则的推理,或者基于事例的推理。而这两种推理机制都各有优缺点,采用单一推理机制会造成诊断的不准确性。论文将基于规则的推理和基于事例的推理相结合,设计了混合推理机制。在此基础上,论文设计了一个既有专家知识库,又有故障事例库,具有自学习能力的故障诊断专家系统(AFDES)。实验结果表明,论文设计的混合推理机制是比较有效的。     

Algorithms for Hierarchical Spatial Reasoning

In several applications, there is the need to reason about spatial relations using multiple local frames of reference that are hierarchically organized. This paper focuses on hierarchical reasoning about direction relations, a special class of spatial relations that describe order in space (e.g., north or northeast). We assume a spatial database of points and regions. Points belong to regions, which may recursively be parts of larger regions. The direction relations between points in the same region are explicitly represented (and not calculated from coordinates). Inference mechanisms are applied to extract direction relations between points located in different regions and to detect inconsistencies. We study two complementary types of inference. The first one derives the direction relation between points from the relations of their ancestor regions. The second type derives the relation through chains of common points using path consistency. We present algorithms for both types of inference and discuss their computational complexity.     

定性仿真和功能推理在系统故障诊断中应用

针对电路系统的特点,提出一种基于定性仿真和功能推理的故障诊断方法。在对电路系统进行简化与拆分的基础上,建立元件的定性仿真模型,对拆分后的电路系统进行定性仿真和推理,确定系统中功能执行元件的工作状态,并与实际的电路进行比较,从而将故障进行隔离定位。仿真实例说明了该方法的有效性。     

模糊推理算法的数学原理

模糊推理算法在自动控制等领域不断得到成功应用,但其理论基础却是贫弱的.从数学与逻辑的角度对模糊推理算法的基础进行研究分析,提出并证明了3个定理.结果表明在各种模糊推理模式中,前提与结论之间存在一个数学关系(有界实函数),模糊推理的各种算法都是这一函数的不同构造形式.所以,模糊推理的算法其基础是可靠的.     

Relation Algebras and their Application in Temporal and Spatial Reasoning

Qualitative temporal and spatial reasoning is in many cases based on binary relations such as before, after, starts, contains, contact, part of, and others derived from these by relational operators. The calculus of relation algebras is an equational formalism; it tells us which relations must exist, given several basic operations, such as Boolean operations on relations, relational composition and converse. Each equation in the calculus corresponds to a theorem, and, for a situation where there are only finitely many relations, one can construct a composition table which can serve as a look up table for the relations involved. Since the calculus handles relations, no knowledge about the concrete geometrical objects is necessary. In this sense, relational calculus is pointless. Relation algebras were introduced into temporal reasoning by Allen (1983, Communications of the ACM 26(1), 832–843) and into spatial reasoning by Egenhofer and Sharma (1992, Fifth International Symposium on Spatial Data Handling, Charleston, SC). The calculus of relation algebras is also well suited to handle binary constraints as demonstrated e.g. by Ladkin and Maddux (1994, Journal of the ACM 41(3), 435–469). In the present paper I will give an introduction to relation algebras, and an overview of their role in qualitative temporal and spatial reasoning.     

小麦节水专家系统的推理机制

文章介绍了小麦节水专家系统的推理机制和推理策略,实现了系统的正向推理。并结合系统实例,介绍了推理机的应用。     

基于CBR与RBR的设备采购决策支持系统

该文通过分析制造行业新产品试制部门的设备采购过程,说明采购决策支持系统引入的必要性,并基于CBR(Case-BasedReasoning)案例推理和RBR(Rule-BasedReasoning)规则推理,构造了混合框架的推理系统及相应的案例表示结构,解决了设备采购等复杂决策领域中决策支持系统冗余推理的问题。最后将该混合推理框架及案例表示结构应用于某大型制造企业试制部门的决策支持系统中,取得了较好的效果。