DMCA
Probabilistic Reasoning in Terminological Logics (1994)
| Citations: | 86 - 5 self |
BibTeX
@MISC{Jaeger94probabilisticreasoning,
author = {Manfred Jaeger},
title = {Probabilistic Reasoning in Terminological Logics},
year = {1994}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper a probabilistic extensions for terminological knowledge representation languages is defined. 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 modelling of the way the two kinds of probabilistic knowledge are combined in commonsense inferences of probabilistic statements. Cross entropy minimization is a technique that turns out to be very well suited for achieving this end. 1 INTRODUCTION Terminological knowledge representation languages (concept languages, terminological logics) are used to describe hierarchies of concepts. While the expressive power of the various languages that have been defined (e.g. KL-ONE [BS85] ALC [SSS91]) varies greatly in that ...
Keyphrases
terminological logic probabilistic reasoning probabilistic statement uncertain knowledge usual model-theoretic semantics probabilistic extension commonsense inference concept language expressive power various language terminological knowledge representation language cross entropy minimization probabilistic language kl-one bs85 alc sss91 main objective introduction terminological knowledge representation language conditional probability probabilistic knowledge specific object adequate modelling
