Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society


A probabilistic extension of terminological logics

Jaeger, Manfred

MPI-I-94-208. March 1994, 64 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:
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
References to related material:

To download this research report, please select the type of document that fits best your needs.Attachement Size(s):
MPI-I-94-208.pdfMPI-I-94-208.pdfMPI-I-94-208.ps500 KBytes; 399 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView
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},