Henry E. Kyburg, Jr. and Choh Man Teng
Classical statistical inference is nonmonotonic in nature. We show how it can be formalized in the default logic framework. The structure of statistical inference is the same as that represented by default rules. In particular, the prerequisite corresponds to the sample statistics, the justifications require that we do not have any reason to believe that the sample is misleading, and the consequent corresponds to the conclusion sanctioned by the statistical test.