推理、元推理与数学真理：有限资源下的定理证明研究

在早期工作中，我们引入了灵活推理和基于决策理论的元推理，以解决规范性推理的难解性问题。在此，我们不再致力于利用由不确定事件区分构成的决策模型来计算信念和行动，而是研究在自动定理证明器完成证明之前推断关于数学真理的信念的方法。我们采用贝叶斯分析，根据定理证明的进展来更新对真理的信念，并展示了如何利用基于决策理论的方法来确定在时间关键情境下继续深思与采取即时行动的价值。