MPI-INF/SWS Research Reports 1991-2021

2. Number - All Departments


A probabilistic extension of terminological logics

Jaeger, Manfred

March 1994, 64 pages.

Status: available - back from printing

In this report we define a probabilistic extension for a basic terminological knowledge representation languages. Two kinds of probabilistic statements are introduced: statements about conditional probabilities between concepts and statements expressing uncertain knowledge about a specific object. The usual model-theoretic semantics for terminological logics are extended to define interpretations for the resulting probabilistic language. It is our main objective to find an adequate modeling of the way the two kinds of probabilistic knowledge are combined in what we call default reasoning about probabilities. Cross entropy minimization is a technique that turns out to be a very promising tool towards achieving this end.
Categories / Keywords:
logic programming

  • Attachement: (500 KBytes); MPI-I-94-208.pdf (399 KBytes)

URL to this document:

Hide details for BibTeXBibTeX
  AUTHOR = {Jaeger, Manfred},
  TITLE = {A probabilistic extension of terminological logics},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-94-208},
  MONTH = {March},
  YEAR = {1994},
  ISSN = {0946-011X},