智慧型規劃問題相變規律研究

《智慧型規劃問題相變規律研究》是依託東北師範大學，由周俊萍擔任項目負責人的數學天元基金項目。

基本介紹

• 中文名：智慧型規劃問題相變規律研究
• 項目類別：數學天元基金項目
• 項目負責人：周俊萍
• 依託單位：東北師範大學

項目摘要

本項目主要考慮計算複雜度更高的智慧型規劃問題的相變現象,研究並行STRIPS規劃問題、帶動作代價的規劃問題和一致性規劃問題的相變現象，探討上述規劃問題計算複雜性的本質成因以及問題相變現象和求解難度的關係，有針對性的設計智慧型規劃的高效求解算法，開發相應的智慧型規劃求解系統，最終建立國際上有我們自己特色的、成體系的智慧型規劃理論和方法。本項目的研究不僅在人工智慧領域有著重要的理論研究價值，在機器人控制系統、應急系統、智慧型調度系統等許多領域也都有著十分廣泛的套用前景。

結題摘要

本項目旨在研究智慧型規劃問題的相變現象，探討計算複雜性的本質成因以及問題相變現象和求解難度的關係，有針對性的設計智慧型規劃的高效求解算法。項目組在智慧型規劃問題建模和複雜性刻畫、相變規律研究以及規劃問題的求解方面開展了研究工作，研究了在初始狀態未知，動作具有不確定性的情況下智慧型規劃問題的相變現象，從理論上證明了這類問題相變現象與求解難度的關係，探討了多尺度規劃問題的建模，從側面研究了並行STRIPS 規劃問題的複雜性，設計了相關問題的求解算法。在國內外期刊發表或錄用論文5篇，其中SCI期刊3篇，出版專著1本，獲得吉林省科學技術獎（二等）1項、吉林省自然科學學術成果獎（二等）1項。我們取得的成果有望在人工智慧、機器人控制領域得到套用。