La pollution industrielle des eaux Bilan au 1er janvier 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 185 (3054) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Computing Subjective Expected Utility using Probabilistic Description Logics

We introduce a framework which is based on probabilistic Description logics (Prob-DL), to represent and solve multi-criteria discrete alternative problems by calculating expected utility. To our knowledge, this is the first ever approach for calculating expected utility using a Description logics based formalism

Probabilistic description logics for subjective uncertainty

We propose a family of probabilistic description logics (DLs) that are derived in a principled way from Halpern's probabilistic first-order logic. The resulting probabilistic DLs have a two-dimensional semantics similar to temporal DLs and are well-suited for representing subjective probabilities. We carry out a detailed study of reasoning in the new family of logics, concentrating on probabilistic extensions of the DLs ALC and EL, and showing that the complexity ranges from PTime via ExpTime and 2ExpTime to undecidable