Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms

空间认知——表达表征形式和有效推理机制

• 批准号: FT0990811
• 负责人: Prof Sanjiang Li
• 金额: $ 48.08万
• 依托单位: University of Technology Sydney
• 依托单位国家: 澳大利亚
• 项目类别: ARC Future Fellowships
• 财政年份: 2010
• 资助国家: 澳大利亚
• 起止时间: 2010-01-01 至 2015-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/FT0990811
• 关键词: Spatial; Cognition; Expressive; Representation; Formalisms

The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications including consistency checking and spatial query pre-processing. The project will help in extracting knowledge from massive spatial databases, meeting the growing needs of naive users for spatial information and establishing Australia as a major player in spatial cognition research and in the development of geo-location services.

该项目将大大有助于知识的进步，突破性的科学在定性空间推理和智能信息在地理信息系统中的使用。表达性空间语言在组织空间知识、定义空间查询语言和指导空间数据挖掘等方面具有重要意义。有效的空间推理机制使理论更接近于应用，包括一致性检查和空间查询预处理。该项目将有助于从大量空间数据库中提取知识，满足初级用户对空间信息日益增长的需求，并使澳大利亚成为空间认知研究和地理定位服务开发方面的主要参与者。