The notion of burden of proof and its companion notion of presumption
are central to argumentation studies.
This book argues that we can learn a lot from how the courts
have developed procedures over the years for allocating and reasoning
with presumptions and burdens of proof,
and from how artificial intelligence has built
precise formal and computational systems to represent this kind of reasoning.
The book provides a model of reasoning with burden of proof and presumption
based on analyses of many clearly explained legal and nonlegal examples.