Böcker av Juerg Kohlas

This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single generic inference algorithm.

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.