动态时空推理研究

项目名称： 动态时空推理研究

项目编号： No.61170092

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 欧阳继红

作者单位： 吉林大学

项目金额： 56万元

中文摘要： 时空推理是人工智能的重要组成部分之一，其研究已取得令人瞩目的进步。大多数研究针对固定时间片、静态空间上的对象进行表达与推理，不能表达现实世界中空间对象随时间的动态变化。近年来，动态时空推理的研究越来越受到广泛关注，已取得一定进展，但还存在如下问题：除拓扑关系外，对其它单一空间关系的研究还很少；缺乏融合多方面空间关系的动态推理研究；未见表达动作、运动的时空逻辑；已有模型的表达和推理机制还不够完善，难以处理不确定、不完备空间信息；很多关键技术有待突破，亟待研究。针对以上问题，本项目拟开展：基于时空连续性的动态时空推理、动态时空逻辑、动态空间系统(DSS)的理论与应用研究，以提出能处理多方面空间关系的动态时空信息表示与推理模型、能表达空间变化的动态时空逻辑、面向应用的DSS框架，并将所取得的理论研究成果应用于环境智能等领域，对上述研究进行验证和指导，把动态时空推理的理论和应用研究更推进一步。

中文关键词： 概念邻域；时空逻辑；动态时空推理；动态空间系统；时空连续性

英文摘要：

英文关键词： Conceptual neighbourhood；spatial temporal logic；dynamic spatial-temporal reasoning；dynamic spatial system；spatial-temporal continuity