Bayesian quadrature (BQ) is a method for solving numerical integration problems in a Bayesian manner, which allows users to quantify their uncertainty about the solution. The standard approach to BQ is based on a Gaussian process (GP) approximation of the integrand. As a result, BQ is inherently limited to cases where GP approximations can be done in an efficient manner, thus often prohibiting very high-dimensional or non-smooth target functions. This paper proposes to tackle this issue with a new Bayesian numerical integration algorithm based on Bayesian Additive Regression Trees (BART) priors, which we call BART-Int. BART priors are easy to tune and well-suited for discontinuous functions. We demonstrate that they also lend themselves naturally to a sequential design setting and that explicit convergence rates can be obtained in a variety of settings. The advantages and disadvantages of this new methodology are highlighted on a set of benchmark tests including the Genz functions, and on a Bayesian survey design problem.
翻译:贝叶斯二次曲线(BQ)是以巴伊西亚方式解决数字融合问题的一种方法,使用户能够量化其对于解决办法的不确定性。对巴伊克的标准方法以原形的戈西亚进程近似(GP)为基础。结果,巴伊斯二次曲线本质上限于能够高效地进行GP近似的情况,从而往往禁止非常高的维度或非湿度的目标功能。本文件提议以新的巴伊西亚数字融合算法(BART)来解决这个问题,我们称之为BART-Int。 BART的前身很容易调和,而且适合不连续的功能。我们证明,它们也自然地适合顺序设计设置,而且可以在各种环境下获得明确的趋同率。在一套基准测试中,包括Genz函数和Bayesian调查设计问题,突出了这一新方法的优缺点。