An approach to the modeling of and the reasoning under uncertainty. The book develops the Dempster-Shafer Theory with regard to the reliability of reasoning with uncertain arguments. Of particular interest here is the development of a new synthesis and the integration of logic and probability theory. The reader benefits from a new approach to uncertainty modeling which extends classical probability theory.

This witty introduction to number theory deals with the properties of numbers and numbers as abstract concepts. Topics include primes, divisibility, quadratic forms, and related theorems.

Both in science and in practical affairs we reason by combining facts only inconclusively supported by evidence. Building on an abstract understanding of this process of combination, this book constructs a new theory of epistemic probability. The theory draws on the work of A. P. Dempster but diverges from Depster's viewpoint by identifying his "lower probabilities" as epistemic probabilities and taking his rule for combining "upper and lower probabilities" as fundamental. The book opens with a critique of the well-known Bayesian theory of epistemic probability. It then proceeds to develop an alternative to the additive set functions and the rule of conditioning of the Bayesian theory: set functions that need only be what Choquet called "monotone of order of infinity." and Dempster's rule for combining such set functions. This rule, together with the idea of "weights of evidence," leads to both an extensive new theory and a better understanding of the Bayesian theory. The book concludes with a brief treatment of statistical inference and a discussion of the limitations of epistemic probability. Appendices contain mathematical proofs, which are relatively elementary and seldom depend on mathematics more advanced that the binomial theorem.