MarkovJunior: 一种基于模式匹配和约束传播的概率编程语言

22-06-02 banq

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


它基本上是一个详细描述概率系统状态的模型。想想节点和边/图。你在一个节点，你有一定的概率移动到另一个节点。该概率仅由您所在的节点/对于该边缘确定。
它们在数学中很重要，因为它们通常代表具有稳定性解决方案的系统 - 也就是说，当长时间运行时，大多数最终状态或多或少都会落在特定节点上。
数学中还有其他应用，例如线性代数，其中有马尔可夫矩阵，这些矩阵在提高到某个大幂时会收敛到一个值。

猜你喜欢