MarkovJunior: 一種基於模式匹配和約束傳播的概率程式語言

banq發表於2022-06-02

MarkovJunior 是一種概率程式語言,其中程式是重寫規則的組合,並且通過約束傳播執行推理。MarkovJunior 以數學家Andrey Andreyevich Markov的名字命名,他定義並研究了現在稱為Markov 演算法的東西。

主要的應用領域是在網格上進行程式性生成。它能做的一些例子。
  • 現代住宅的生成器:https://www.youtube.com/watch?v=DTdIYa5k2us
  • 分層住宅的生成器:https://youtu.be/PWyQ8Xy_lic
  • 海上別墅拼圖生成器:https://youtu.be/L13XOHAV7jg
  • 未來主義塔樓的生成器:https://youtu.be/JkbVpskDs6s


它基本上是一個詳細描述概率系統狀態的模型。想想節點和邊/圖。你在一個節點,你有一定的概率移動到另一個節點。該概率僅由您所在的節點/對於該邊緣確定。
它們在數學中很重要,因為它們通常代表具有穩定性解決方案的系統 - 也就是說,當長時間執行時,大多數最終狀態或多或少都會落在特定節點上。
數學中還有其他應用,例如線性代數,其中有馬爾可夫矩陣,這些矩陣在提高到某個大冪時會收斂到一個值。

相關文章