CERT-SEI

Resources for Argumentation Theory Discussion

A complete discussion of argumentation theory including confidence maps is available in several documents including

Toward a Theory of Assurance Case Confidence, John B. Goodenough, Charles B. Weinstock, Ari Z. Klein
In this report we present a framework for justifying confidence in the truth of an assurance case claim based upon eliminative induction, defeasiable reasoning, and Baconian probabilites.

Measuring Assurance Case Confidence Using Baconian Probabilities, Charles B. Weinstock, John B. Goodenough, Ari Z. Klein
In this paper, we discuss how to assess confidence in a case by considering the doubts eliminated by the claims and evidence in a case. This is an application of eliminative induction and the notion of Baconian probability as put forward by L. Jonathan Cohen.

Eliminative Induction: A Basis for Arguing System Confidence, John B. Goodenough, Charles B. Weinstock, Ari Z. Klein
In this paper, we use the principle of eliminative induction to provide a justified basis for assessing how much confidence one should have in an assurance case argument.