聯(lián)合啟發(fā)式求解優(yōu)先約束問題.pdf

1、從上世紀(jì)60年代起，人們就開始了對(duì)智能規(guī)劃的研究。如今，智能規(guī)劃已經(jīng)成為人工智能領(lǐng)域的一個(gè)重要分支。近年來，有關(guān)智能規(guī)劃的研究取得了新的突破，使得智能規(guī)劃成為一個(gè)熱門的人工智能研究領(lǐng)域。
　　啟發(fā)式搜索結(jié)合知識(shí)與經(jīng)驗(yàn)進(jìn)行求解，常常能有效地解決問題。目前已有很多啟發(fā)式搜索技術(shù)應(yīng)用于規(guī)劃領(lǐng)域的成功范例，比如快速前向規(guī)劃系統(tǒng)FF。
　　在規(guī)劃問題中經(jīng)常出現(xiàn)的一種情況就是當(dāng)某個(gè)子目標(biāo)實(shí)現(xiàn)時(shí)，它刪除了在它之前實(shí)現(xiàn)的某個(gè)子目標(biāo)，這樣被刪

2、除的子目標(biāo)需要重新實(shí)現(xiàn)，造成了時(shí)間和空間的浪費(fèi)。在本文中，提出一種解決優(yōu)先約束問題的算法，假設(shè)一個(gè)規(guī)劃問題有很多子日標(biāo)，首先，根據(jù)子目標(biāo)間的相互關(guān)系，用k-分割策略給子目標(biāo)進(jìn)行分組，有相互作用的子目標(biāo)分到一組，這樣組與組之間是獨(dú)立的;其次，在組內(nèi)進(jìn)行預(yù)處理，對(duì)子目標(biāo)進(jìn)行排序;第三，用ctx函數(shù)來檢測(cè)是否會(huì)出現(xiàn)上述優(yōu)先約束的情況，然后在各個(gè)大組間再進(jìn)行檢測(cè);最后，在組內(nèi)用提出的啟發(fā)式hcem，組間用啟發(fā)式hpcc，二者并行，計(jì)算實(shí)現(xiàn)最終目