The paper offers a complete probabilistic characterization of the ab-ductive operator axiomatized by Maurice Pagnuco in [11]. The model assumes the axiomatic characterization of Conditional Coherence presented by Lester Dubins in section 3 of [8]. It follows, as a philosophical consequence, that a form of probabilism based on Dubins' conditional probability not only permits ampliative rules of inference, but that it also mandates them. This result is contrasted with various arguments provided by Bas van Fraassen in [19] showing that the adoption of any form of Inference to the Best Explanation as a rule for belief revision must make one's belief system incoherent. In the second part of the paper a property of iterated probability change, called Cumulativity, is presented as well as the corresponding axiomatization for iterated abductive operators (in the style of [17] and [7]). Finally we consider non-cumulative methods of change constrained by the general principles of Conditional Coherence.
展开▼
机译：这篇论文提供了由Maurice Pagnuco在[11]中提出的归纳运算符公理化的完整概率刻画。该模型假设Lester Dubins在[8]的第3节中提出的条件一致性的公理化特征。从哲学上讲，由此得出的结论是，基于杜宾斯条件概率的一种概率形式不仅允许推论性的放大规则，而且还强制了它们。这个结果与巴斯·范·弗拉森（Bas van Fraassen）在[19]中提出的各种论点形成对比，这些论点表明，采用任何形式的对“最佳解释”的推理作为信念修正的规则都必须使人的信念体系变得不连贯。在本文的第二部分中，介绍了迭代概率变化的属性，称为累积率，以及迭代归纳运算符的相应公理化（采用[17]和[7]的样式）。最后，我们考虑了受条件一致性一般原则约束的非累积性变更方法。
展开▼
