Thèse de doctorat : Université de Fribourg, 2008 ; Nr. 1603.
The distributive law known from arithmetics is one of the best tools for a computer scientist to grapple with the intractable nature of many applications. So, efficient algorithms have been developed for the computation of Fourier and Hadamard transforms, Bayesian networks, database queries, decoding problems and many more. The fact that they all benefit from the same technique suggests that a...
|
Thèse de doctorat : Université de Fribourg, 2009 ; Nr. 1640.
Gaussian linear information arises in many real-world models of the natural and social sciences. The Gaussian distribution has turned out to appropriately represent uncertainty in many linear models. The main goal of this thesis is to describe and to compare different algebras of Gaussian linear information: Corresponding elements and operations in the various algebras are revealed and the...
|
Thèse de doctorat : Université de Fribourg, 2009 ; Nr. 1657.
The commonly used information theory, going back to Shannon, is almost exclusively concerned with the measure of information. However, by measuring information, one does not get very much to know about its nature, about what information actually is. Therefore, this thesis has two main goals: The first is to provide an adequate definition of the concept of information, by a semantic interpretation...
|
This thesis presents the concept of general argumentation systems, a framework for representing uncertain knowledge using information algebras and information systems as well as probability algebras. Argumentation systems are a generalization of assumption-based systems and propositional argumentation systems and can deal with very general formalisms. We show also that an argumentation system...
|
Thèse de doctorat : Université de Fribourg : 2001 ; 1340.
Uncertain knowledge can be represented in the framework of argumentation systems. In this framework, uncertainty is expressed using so-called assumptions. Depending on the setting of the assumptions, a given hypothesis of interest can be proved or falsified. The main goal of assumption-based reasoning is to determine the set of all supporting arguments for a given hypothesis. Such a supporting...
|
