Toulmin’s model of argumentationand quantitative indicators of the validity of conclusion
The total framework of proving in the specifi case is quite a complicated structure. These structures are usually split into simpler elements, for which the models of the formation of intermediate conclusions are applied. Toulmin’s model of argumentation is applicable for the situations, when precise and credible data are absent. But quantitative indicators of validity are not used in this model, and it lacks formal rules of conclusion- drawing as well. The article discusses quantitative models of conclusion-drawing based on Bayesian approach and Dempster-Shafer theory. Possibility of application of these methods in proving is analyzed.