定性空间表示与定性空间的研究与发展

1 引言空间推理是指利用空间理论和人工智能技术对空间对象建模、描述和表示,并据此对空间对象间的空间关系进行的定性或定量的分析和处理过程。在描述和推断空间对象间的空间关系时,要获得精确、定量的数据通常是不可能的或不必要的,在这种情况下,可能要用到关于空间关系的定性空间推理。定性空间推理是一个     

定性空间推理的分层递阶框架

定性空间推理是定性推理和空间推理的重要组成部分 .拓扑和形状是定性空间推理研究的关键问题 .针对定性空间推理已有一般框架存在的问题 ,提出了定性空间推理的分层递阶框架 ,并结合拓扑和形状方面的定性空间推理研究工作阐述了所提出的框架的有效性和合理性 .最后总结了分层递阶框架的要点并提出了基于该框架的进一步研究工作 .     

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

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

定笥空间住是的分层递阶框架

定性空间推理是定性推理和空间推理的重要组成部分,拓扑和形状是定性空间推理研究的关键问题,针对定性空间推理已有一般框架存在的问题,提出了定性空间推理的分层递阶框架,并结合拓扑和形状方面的定性空间推理研究工作阐述了所提出的框架的有效性和合理性,最后总结了分层递阶框架的要点并提出了基于该框架的进一步研究工作。     

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

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

一种带缺省推理的描述逻辑

该文提出了一种新的带缺省推理的描述逻辑，它以描述逻辑为主要框架，对单调逻辑和非单调逻辑进行了整合，但又避免了一般缺省逻辑的困难．基于带缺省推理的描述逻辑，构建了一种同时具有Tbox，Abox和缺省规则的知识库系统，研究了带缺省推理的描述逻辑的可满足性、缺省可满足性、概念包含、缺省包含以及实例检测等推理问题，提出了一种用来检测可满足性和缺省可满足性的Tableau—D算法，并得到了缺省可满足性和缺省包含的转换定理．     

基于空间球理论的定性空间表示

主要研究了三维空间中空间对象的关系表示,介绍了利用部分学理论和形态学理论定义空间球的方法.根据Bran-don Bennettd的RBG理论,定义了空间球的形态关系及判断方法,提出了空间球全等的公理系统,给出了利用空间球模型定性表示方向关系和距离关系的方法.智能体对空间关系的确定是通过空间球实现的,该模型为智能体在约束空间环境中的行动推理提供了一个新的表示方法.     

定性空间推理中区域连接演算的多维扩展

区域连接演算(RCC)是定性空问推(QSR)的基础理论之一．但RCC理论只支持区域,不能处理包括点、线和区域在内的空问多维对象,这阻碍了RCC应用的发展．扩展了区域概念,将点和线对象视为特殊的区域．提出了能直接用RCC理论描述空间多维对象拓扑关系的MRCC理论．在保留RCC公理的前提下,MRCC增加了2条新公理,并由此推导出了36种MRCC基本关系．进而讨论了基于概念邻域图和复合表的推理．MRCC拓展了RCC理论的适用范围,促进了RCC向实际应用的发展．     

集成多方面信息的定性空间推理及应用

以往的定性空间或时空推理工作多数面向单一时空方面,这不符合实际应用需要.提出了集成拓扑、尺寸和时间3方面信息的定性表示和推理技术,并应用到时空GIS中.给出了面向GIS的拓扑、尺寸和时间的表示方法,并研究了它们之间的依赖性.提出了集成这3方面信息的约束满足问题求解算法TriRSAT.在时空GIS中,把定性时空表示用于约束关系库,把TriRSAT算法用于时空数据一致性检查和时空查询.应用结果显示,该理论和方法能有效地集成处理多方面时空信息,在时空数据库、机器人导航等领域有着广泛的应用前景.     

基于定性空间推理的多层空间关联规则挖掘算法

很多应用于空间数据挖掘的空间关系模型存在表达能力不强、可理解性较差、不支持不确定性等问题。针对这种情况,以定性空间推理的RCC理论为基础,结合模糊逻辑,提出了一种面向空间数据库的近似区域空间关系模型,在此基础上给出了多层空间关联规则的挖掘算法QSRSAK。该算法使用了MBR优先判定、顶点近似等手段针对大型空间数据库进行了优化处理。实验结果表明,QSRSAR在空间知识表达能力、规则可理解性和空间关系计算效率等方面优于同类算法。     

定性控制综述

首先介绍了定性推理，定性控制的产生背景，发展状况及已取得的成就，然后给出了定性控制的三种基本方法，并依次举例做了较为详细的说明，最后对定性控制的优点，缺点及发展趋向做了探讨。     

基于PDA的农业专家系统的知识表示与推理策略

专家系统在农业领域的应用是当前关于专家系统研究和应用的热点课题之一。智能化信息技术特别是人工智能(专家系统技术)在世界农业领域中的应用始于70年代末。经过20余年发展,应用已经遍及作物栽培管理、设施园艺管理、畜禽饲养、水产养殖、资源保护与耕作以及农场管理与决策等各方面。目前,农业专家系统基本上都是在PC平台上开发的,不便于带到田间地头直接指导农业生产;另一方面,我国大部分农村还不富裕,PC台式机和笔记本电脑的价格还难以承受,因而不能用PC平台上的农业专家系统在农村进行广泛的推广。另外我国和发达国家国情有很大不同,例如美国、日本、以色列及欧洲一些国家的农庄面积大,机械化程度高,基本上是工厂化管理方式,农场主科技文化素质高,因此这些国家的农场主对如何提高资源利用率、农业经济效益、保护环境实现持续发展等方面等技术研究与应用比较重视,农业信息化程度较高,劳动生产率也较高;而我国由于广     

知识推理在GIS中的应用

传统的GIS平台具有完成数据采集、管理、存储、处理和一定的空间分析功能,但其空间分析推理和决策能力较弱。将人工智能中有关推理、分析的技术引入到GIS中,使GIS能够具备一定的空间推理分析能力,将弥补GIS对于决策支持方面的不足,发挥其效能,使之能够解决更为复杂的问题。并在最后设计了一个“自助驾车游北京”的智能咨询模型。     

基于Voronoi图的定性路径推理

动态空间知识的表示与推理是定性空间推理研究的重要内容.基于Voronoi图及其动态变化,提出运动路径定性表示与推理方法.先根据Voronoi图空间邻近关系定义Voronoi图生成子空间关系,进一步定义定性位置及概念邻域,并应用概念相邻的定性位置序列给出定性路径表示.再由动态Voronoi图的边集变化和给出的概念邻域中定性位置间最短路径的启发式算法,设计并实现具有观察者角度的定性路径推理算法.最后,实验分析并验证该方法的有效性.     

基于模型的定性仿真的研究现状

基本方法定性推理是Al的重要分支。定性的含义是指推理中使用的信息和推理的结论都是定性的(本质上是离散的而非连续的)。定性推理的目的是对物理现象作解释且解释的粒度较粗,具有较高的知识层次,是对物理现象宏观行为的描绘[lJ;它与实际物理系统的关系极为密切,从而可根据实际物理背景验证Al及定性推理理论和方法的正确性,便于实现可用的系统。在信息量巨大,数据繁多,系     

基于事例推理技术在火炮设计中的应用

从基于事例推理技术理论出发,在Ｎａｖｉｎｃｈａｎｄｒａ、Ｂａｒｄａｓｚ、ＺｅｉｄＩ）等学者提出的设计事例表示方法基础上提出更为通用、有效的设计事例表示形式,即设计事例３级表示方法和它的组织结构,并结合火炮总体设计的具体特点,给出火炮总体设计事例表示形式定义、组织及推理策略,以及火炮设计专家系统模型。通过研究表明,采用事例形式的知识表示可以有效地利用火炮设计经验,提高火炮设计质量、缩短周期,有力地推     

基于贝叶斯网络不确定推理的研究

本文介绍了贝叶斯定理和贝叶斯网络的基本概念。提出可以利用贝叶斯网络表示和处理智能信息系统中的不确定性．讨论了贝叶斯网络的推理方法，并给出一个示范性的例子，阐述字使用贝叶斯网络进行不确定推理的过程。     

基于地理本体的空间方向关系定性推理

围绕基于地理本体的空间方向关系定性推理进行研究,给出了定性推理系统总体框架,并对方向关系模型、自定义规则、地理本体、定性推理进行详细探讨。     

定性代数的形式框架FAQA

本文首先讨论了定性推理系统和一量推理系统的描述，进而给出了定性代数的一种形式框架ＦＡＱＡ，提出了定性、定量是不同层次观察结果的观点，并对定性（混合）结构进行了分析描述。ＦＡＱＡ框架是Ｗｉｌｌｉａｍｓ等人工作理论上的完善及统一基础。