基於馬爾可夫過程理論的隨機動態系統的最優決策過程,英文縮寫 MDP。馬爾可夫決策過程是序貫決策的主要研究領域。它是馬爾可夫過程與確定性的動態規劃相結合的產物,故又稱馬爾可夫型隨機動態規劃,屬於運籌學中數學規劃的一個分支。馬爾可夫決策過程是指決策者週期地或連續地觀察具有馬爾可夫性的隨機動態系統,序貫地作出決策。即根據每個時刻觀察到的狀態,從可用的行動集合中選用一個行動作出決策,系統下一步(未來)的狀態是隨機的,並且其狀態轉移概率具有馬爾可夫性。決策者根據新觀觀察到的狀態,再作新的決策,依此反復地進行。馬爾可夫性是指一個隨機過程未來發展的概率規律與觀察之前的歷史無關的性質。馬爾可夫性又可簡單敘述為狀態轉移概率的無後效性。狀態轉移概率具有馬爾可夫性的隨機過程即為馬爾可夫過程。馬爾可夫決策過程又可看作隨機對策的特殊情形,在這種隨機對策中對策的一方是無意志的。馬爾可夫決策過程還可作為馬爾可夫型隨機最優控制,其決策變量就是控制變量。

  發展概況 50年代R.貝爾曼研究動態規劃時和L.S.沙普利研究隨機對策時已出現馬爾可夫決策過程的基本思想。R.A.霍華德(1960)和D.佈萊克韋爾(1962)等人的研究工作奠定瞭馬爾可夫決策過程的理論基礎。1965年,佈萊克韋爾關於一般狀態空間的研究和E.B.丁金關於非時齊(非時間平穩性)的研究,推動瞭這一理論的發展。1960年以來,馬爾可夫決策過程理論得到迅速發展,應用領域不斷擴大。凡是以馬爾可夫過程作為數學模型的問題,隻要能引入決策和效用結構,均可應用這種理論。

  數學描述 周期地進行觀察的馬爾可夫決策過程可用如下五元組來描述:{S,(A(i),iS,q,γ,V},其中S 為系統的狀態空間(見狀態空間法);A(i)為狀態i(iS)的可用行動(措施,控制)集;q為時齊的馬爾可夫轉移律族,族的參數是可用的行動; γ是定義在Γ(Г≡{(i,ɑ):aA(i),iS}上的單值實函數;若觀察到的狀態為i,選用行動a,則下一步轉移到狀態 j的概率為q(ji,ɑ),而且獲得報酬γ(j,ɑ),它們均與系統的歷史無關;V是衡量策略優劣的指標(準則)。

  策略 策略是提供給決策者在各個時刻選取行動的規則,記作 π=(π0π1π2,…, πnπn1…),其中πn是時刻 n選取行動的規則。從理論上來說,為瞭在大范圍尋求最優策略πn,最好根據時刻 n以前的歷史,甚至是隨機地選擇最優策略。但為瞭便於應用,常采用既不依賴於歷史、又不依賴於時間的策略,甚至可以采用確定性平穩策略。

  指標 衡量策略優劣的常用指標有折扣指標和平均指標。折扣指標是指長期折扣〔把 t時刻的單位收益折合成0時刻的單位收益的βt(β<1)倍〕期望總報酬。平均指標是指單位時間的平均期望報酬。采用折扣指標的馬爾可夫決策過程稱為折扣模型。業已證明:若一個策略是β折扣最優的,則初始時刻的決策規則所構成的平穩策略對同一β也是折扣最優的,而且它還可以分解為若幹個確定性平穩策略,它們對同一β都是最優的。現在已有計算這種策略的算法。采用平均指標的馬爾可夫決策過程稱為平均模型。業已證明:當狀態空間S 和行動集A(i)均為有限集時,對於平均指標存在最優的確定性平穩策略;當S和(或)A(i)不是有限的情況,必須增加條件,才有最優的確定性平穩策略。計算這種策略的算法也已研制出來。

  

參考書目

 R.A.Howard,Dynamic Programming and Markov Processes, MIT Press, Cambridge Mass., 1960.