一种用于推理推理过程的领域特定概率编程语言（或：关于“memo”的备忘录）

《Proceedings of the ACM on Programming Languages》：A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning (Or: A Memo on memo)

心智理论建模中，递归概率推理的编程挑战与解决方案。memo语言通过专用语法简化理论建模，结合数组编程实现高效推理，显著提升开发效率并兼容现代硬件。

　　

摘要

人类思考自身思维的能力（即“心智理论”）是许多学科研究的基本对象。近几十年来，来自这些学科的研究人员逐渐形成了一种基于递归概率推理的丰富计算范式来建模心智理论。然而，实际应用中人们常常发现这种范式的编程具有挑战性：首先，对程序员来说，“思考自身思维”的概念较为复杂；其次，相关模型的运行速度较慢。本文介绍了一种新的领域特定概率编程语言 memo，它克服了这些难题：一方面，通过为心智理论提供专门的语法和语义；另一方面，采用了一种独特的推理方法，该方法通过数组编程能够在现代硬件上实现高效运行。memo 使开发者能够用更少的代码编写出运行速度更快的模型，并已被多个研究团队采纳。