本书是对几率编程的钻研生水准的先容。它不只为指望应用几率编程系统的任何人供应了通盘的配景学识,并且还先容了谋划和建立这些系统所需的技巧。它面向对几率机械研习和编程言语或抱负境况下对几率机械研习和编程言语具备本科水准知道的人。
咱们首先议论基于模子的推理,并声明为甚么前提反射是几率机械研习和人为智能范畴的中心根底谋划。而后,咱们引入一阶几率编程言语(PPL),其程序对应于具备已知的有限随机变量集的图形模子。在本PPL的高低文中,咱们先容了根底的推理算法并描写了怎么完结它们。
而后咱们转向高阶几率编程言语。此类言语的程序也许界说具备动态谋划图的模子,这些模子也许不会在屡屡施行中实例化雷同的随机变量集。推理需求通太反复评价程序来生成模范的办法。在程序施行和推理节制器之间的接口的高低文中议论了这类言语的根底算法。
末了,咱们琢磨几率布局和可微布局的交加。咱们首先议论主动微分,以及怎么应用它来完结基于哈密顿蒙特卡罗的高效推理办法。而后,咱们议论在应用神经网络参数化的程序中基于梯度的最大似然猜度,怎么经过研习程序后验的神经类似来摊派推理,以及言语特性怎么影响深度几率编程系统的谋划。
专知方便观察
方便下载,请