MPI-INF Logo
MPI-INF/SWS Research Reports 1991-2021

2. Number - All Departments

MPI-I-94-208

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

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

URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1994-208

Hide details for BibTeXBibTeX
@TECHREPORT{Jaeger94b,
  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},
}