摘要
This paper determines a delta inference operator C based on the notion of reasonable consequence of Adams′ system and studies its properties. It shows another approach to study inductive and probabilistic reasoning.
基于合理后承关系构造的δ推理算子是合理后承关系的又一表示形式,通过对这一δ推理算子性质的讨论,可以知道合理后承关系是一个满足包含律、单调律、有限累积律的推理关系。δ推理算子的提出,提供了一条新的研究归纳逻辑和概率逻辑的方法。