基於定性演算的空間知識表示與推理

《基於定性演算的空間知識表示與推理》是依託清華大學，由李三江擔任項目負責人的面上項目。

基本介紹

• 中文名：基於定性演算的空間知識表示與推理
• 依託單位：清華大學
• 項目負責人：李三江
• 項目類別：面上項目

基本信息

批准號	60673105
項目名稱	基於定性演算的空間知識表示與推理
項目類別	面上項目
申請代碼	F0607
項目負責人	李三江
負責人職稱	教授
依託單位	清華大學
研究期限	2007-01-01 至 2009-12-31
支持經費	24（萬元）

項目摘要

能對所處空間環境做出及時、準確的反應是人和智慧型Agent理性決策的前提。空間推理是人工智慧研究的重要領域，在地理信息系統、自然語言處理、計算機圖形學、圖像檢索等領域有重要套用。由於基於數值的、嚴格精確的空間知識往往不容易或不必要得到，這使得對空間知識進行定性表示和推理成為迫切需要。空間關係是最重要的空間知識，主要分為拓撲、方位和距離三種。目前的空間關係模型只研究某一類空間關係，與實際套用的要求相距甚遠。本項目擬在定性演算的統一框架下對空間知識表示和推理展開研究，目的在於建立綜合多方面空間信息的、具有豐富表達能力和有效推理機制的、符合人類空間認知特徵的形式化體系。我們將對定性演算的易處理可傳播性質、子演算、演算的合成、以及抽象和分層遞階空間推理技術進行研究；仔細研究主方位模型的推理複雜性；在著名的RCC8拓撲演算的基礎上，研究拓撲信息與方位信息以及尺寸信息的綜合推理模型。