《複雜時空推理及套用研究》是依託吉林大學，由劉大有擔任項目負責人的面上項目。
基本介紹
- 中文名：複雜時空推理及套用研究
- 項目類別：面上項目
- 項目負責人：劉大有
- 依託單位：吉林大學
- 批准號：60773099
- 申請代碼：F06
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-31
- 支持經費：31（萬元）
項目摘要
時空推理是人工智慧的最重要組成部分之一，其研究具有極其重要的理論意義。時空推理研究已取得很大進展，但也存在一些問題：對複雜對象空間關係和融合多方面空間信息的推理的研究還不夠深入；時態推理和空間推理難以有效融合；基於時空推理、多關係數據挖掘和定性空間相似性等時空數據挖掘研究非常缺乏；現有大多數時空推理方法還很難用來解決實際問題。為此，本項目擬深入開展複雜對象空間關係和融合多方面空間信息的推理，多空間結合和時空結合邏輯，基於時空推理、多關係數據挖掘、定性形狀表示與空間相似性結合的時空數據挖掘方法，基於空間推理的空間相似性等研究。以提出能處理複雜空間對象和融合多方面空間信息的形式化推理模型，空間結合邏輯，統一時空邏輯，一組結合時空推理的時空數據挖掘新方法。以上研究能解決時空推理領域所面臨的部分重要難題，對深化、完善時空推理的理論研究，促進時空推理有效解決實際問題等方面都具有十分重要的意義。
