「后验和先验及似然率的乘积成正比」，有时也会写成「后验 = 先验 × 似然率，在有证据的情形下」。
应用.
电脑应用.贝叶斯推断有在人工智慧及专家系统上应用。自1950年代后期开始，贝叶斯推断技巧就是电脑模式识别技术中的基础。现在也越来越多将贝叶斯推断和以模拟为基础的蒙地卡罗方法合併使用的应用，因为一些模杂的模型无法用贝叶斯分析得到解析解，因图模式结构可以配合一些快速的模拟方式（例如吉布斯抽样或是其他Metropolis–Hastings演算法）。因为上述理由