Advertisement

Probabilistic Assumption-Based Reasoning

  • Jürg Kohlas
  • Paul-André Monney
Part of the Lecture Notes in Economics and Mathematical Systems book series (LNE, volume 425)

Abstract

In Chap. 1, sections 1.1 to 1.3 it has been shown that it is possible to represent uncertain information and uncertain knowledge by uncertain rules or — alternatively — by rules containing uncertain or only probable assumptions. Propositional systems containing uncertain assumptions provide a concise language for describing uncertain information and knowledge. They allow for efficient inference mechanisms based on well known methods from logic and from reliability theory. That is why they are of great interest. In this chapter the relevant methods and techniques will be developed and illustrated. It will be shown how propositional systems with uncertain assumptions fit into the framework of the theory of hints. It turns out that the point of view developed in this chapter is especially well suited to illustrate the basic philosophy of the theory of hints as a logic of reliable reasoning with unreliable arguments.

Keywords

Normal Form Boolean Function Boolean Algebra Horn Clause Disjunctive Normal Form 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Jürg Kohlas
    • 1
  • Paul-André Monney
    • 1
  1. 1.Institute of InformaticsUniversity of FribourgFribourgSwitzerland

Personalised recommendations