A challenging problem in probabilistic programming is to develop inference algorithms that work for arbitrary programs in a universal probabilistic programming language (PPL). We present the nonparametric involutive Markov chain Monte Carlo (NP-iMCMC) algorithm as a method for constructing MCMC inference algorithms for nonparametric models expressible in universal PPLs. Building on the unifying involutive MCMC framework, and by providing a general procedure for driving state movement between dimensions, we show that NP-iMCMC can generalise numerous existing iMCMC algorithms to work on nonparametric models. We prove the correctness of the NP-iMCMC sampler. Our empirical study shows that the existing strengths of several iMCMC algorithms carry over to their nonparametric extensions. Applying our method to the recently proposed Nonparametric HMC, an instance of (Multiple Step) NP-iMCMC, we have constructed several nonparametric extensions (all of which new) that exhibit significant performance improvements.
翻译:概率性编程中一个具有挑战性的问题是,如何制定在通用概率性编程语言(PPL)中用于任意程序的推算算法。我们提出非参数性演算法(NP-iMCMC)作为构建MCMC非参数性算法的方法,用于在通用PPL中可以显示的非参数性模型的推算法(MCMC MC ) 。我们以统一的演算法框架为基础,并通过提供驱动不同维度之间国家运动的一般程序,表明NP-iMCMC 能够将许多现有的iMC 算法概括为非参数性模型。我们证明了NP-iMC 取样器的正确性。我们的实证研究表明,若干iMC 算法的现有优点可以延续到非参数性扩展。我们运用了最近提出的非参数性HMC,即(多步)NP-iMC MC 实例(多步),我们建立了若干非参数性扩展(所有新的),显示业绩显著改进。