《動態時空推理研究》是依託吉林大學，由歐陽繼紅擔任項目負責人的面上項目。
基本介紹
- 中文名：動態時空推理研究
- 項目類別：面上項目
- 項目負責人：歐陽繼紅
- 依託單位：吉林大學
項目摘要,結題摘要,
項目摘要
時空推理是人工智慧的重要組成部分之一，其研究已取得令人矚目的進步。大多數研究針對固定時間片、靜態空間上的對象進行表達與推理，不能表達現實世界中空間對象隨時間的動態變化。近年來，動態時空推理的研究越來越受到廣泛關注，已取得一定進展，但還存在如下問題：除拓撲關係外，對其它單一空間關係的研究還很少；缺乏融合多方面空間關係的動態推理研究；未見表達動作、運動的時空邏輯；已有模型的表達和推理機制還不夠完善，難以處理不確定、不完備空間信息；很多關鍵技術有待突破，亟待研究。針對以上問題，本項目擬開展：基於時空連續性的動態時空推理、動態時空邏輯、動態空間系統(DSS)的理論與套用研究，以提出能處理多方面空間關係的動態時空信息表示與推理模型、能表達空間變化的動態時空邏輯、面向套用的DSS框架，並將所取得的理論研究成果套用於環境智慧型等領域，對上述研究進行驗證和指導，把動態時空推理的理論和套用研究更推進一步。
結題摘要
時空推理是指對占據空間並隨時間變化的對象所進行的推理，是人工智慧的重要組成部分之一。近年來，動態時空推理受到越來越多的關注，並取得一定進展，同時也存在如下問題：除拓撲關係外，對其它單一空間關係的研究很少；缺乏融合多方面空間關係的動態推理研究；未見表達動作、運動的時空邏輯；已有模型的表達和推理機制還不夠完善，難以處理不確定、不完備空間信息，其中很多關鍵技術亟待解決。針對上述問題，本項目重點圍繞基於時空連續性的動態時空推理、動態時空邏輯、動態空間系統(DSS)的理論與套用、時空知識發現與融合展開研究，並取得以下重要研究進展和研究成果，具體包括：1．基於時空連續性的動態時空關係模型：提出能描述動態信息的方向關係模型、能處理複雜空間對象的拓撲關係模型、提出動態空間信息表達推理系統；對近年定性時空推理領域的研究現狀進行了總結分析。2．動態時空邏輯部分，基於區間值模糊集對經典描述邏輯ALCN進行擴展，得到IFALCN系統，提出一種可靠完備的模糊Tableau算法，較好解決了以往邏輯系統推理中難以處理不確定性和模糊性的問題。3．構建面向套用的動態空間系統框架DSSF：提出一種動態方位關係推理方法ROR；提出能描述視角的3DTPCC模型；建立能描述三維空間運動點對象的三維相對方位關係模型，可用於大範圍的空間場景；在此基礎上，將這些理論成果套用於智慧型環境、智慧型交通等領域，通過模擬驗證效果很好。4．時空知識發現與融合，在原計畫之外新增的內容，圍繞時空知識發現和融合做了初步的試探性研究，主要包括（1）重點進行了結合機率主題模型的研究，取得一系列較好的研究成果，主要包括：提出了一種擴展模型SL-LDA；提出兩種有監督的主題模型FLDA 和DFLDA；針對LDA中存在的“強制主題”問題，提出了GLDA模型；提出了兩種多粒度的主題情感混合模型MG-R-JST和MG-JST，分類效果優於主題情感混合模型，且穩定性更好。（2）基於貝葉斯網的定量模型研究，提出結合馬爾科夫覆蓋的貝葉斯網增量建模方法，提高了建模效率。
