以概率论为工具，研究归纳推理的理论；也指以数理逻辑为工具，研究概率统计领域中的逻辑问题。它随着自动机的误差控制的研究有了进一步的发展。在一个自动化系统中，研究各部件的允许误差，就用到概率逻辑。