计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2012年
3期
607-619
,共13页
吕帅%刘磊%魏唯%高冰冰
呂帥%劉磊%魏唯%高冰冰
려수%류뢰%위유%고빙빙
智能规划%逻辑%编码方式%编码%公理
智能規劃%邏輯%編碼方式%編碼%公理
지능규화%라집%편마방식%편마%공리
逻辑编码方式的设计和实现是基于转换的规划方法有效处理的关键.对几种智能规划方法中的逻辑编码方式予以分析,分别介绍线性编码、基于Graphplan的编码、基于状态的编码、基于动作的编码、基于命题的编码、基于转移的编码、提升的因果编码、基于多值变元的编码、基于有向二元决策图的编码以及基于约束可满足的编码等,并结合国际规划竞赛和相关论文等的实验结论,说明上述编码方式的有效性和可行性,分析该类编码方式在其他领域的应用前景.最后,提出目前智能规划方法中逻辑编码方式研究所面临的挑战、可能的处理方法,以及与之相关的研究热点与趋势.
邏輯編碼方式的設計和實現是基于轉換的規劃方法有效處理的關鍵.對幾種智能規劃方法中的邏輯編碼方式予以分析,分彆介紹線性編碼、基于Graphplan的編碼、基于狀態的編碼、基于動作的編碼、基于命題的編碼、基于轉移的編碼、提升的因果編碼、基于多值變元的編碼、基于有嚮二元決策圖的編碼以及基于約束可滿足的編碼等,併結閤國際規劃競賽和相關論文等的實驗結論,說明上述編碼方式的有效性和可行性,分析該類編碼方式在其他領域的應用前景.最後,提齣目前智能規劃方法中邏輯編碼方式研究所麵臨的挑戰、可能的處理方法,以及與之相關的研究熱點與趨勢.
라집편마방식적설계화실현시기우전환적규화방법유효처리적관건.대궤충지능규화방법중적라집편마방식여이분석,분별개소선성편마、기우Graphplan적편마、기우상태적편마、기우동작적편마、기우명제적편마、기우전이적편마、제승적인과편마、기우다치변원적편마、기우유향이원결책도적편마이급기우약속가만족적편마등,병결합국제규화경새화상관논문등적실험결론,설명상술편마방식적유효성화가행성,분석해류편마방식재기타영역적응용전경.최후,제출목전지능규화방법중라집편마방식연구소면림적도전、가능적처리방법,이급여지상관적연구열점여추세.