Non-standard theories of uncertainty in knowledge representation and reasoning - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue The Knowledge Engineering Review Année : 1994

Non-standard theories of uncertainty in knowledge representation and reasoning

Résumé

This paper provides a survey of the state of the art in plausible reasoning, that is exception tolerant reasoning under incomplete information. Three requirements are necessary for a formalism in order to cope with this problem: (i) making a clear distinction between factual information and generic knowledge; (ii) having a correct representation of partial ignorance; (iii) providing a nonmonotonic inference mechanism. Classical logic fails on requirements (i) and (iii), whilst the Bayesian approach does not fulfil (ii) in an unbiased way. In this perspective, various uncertainty modelling frameworks are reviewed: MYCIN-like fully compositional calculi, belief functions, upper and lower probability systems, and possibility theory. Possibility theory enables classical logic to be extended to layered sets of formulae, where layers express certainty levels. Finally, it is explained how generic knowledge can be expressed by constraints on possibility measures, and how possibilistic inferences can encode nonmonotonic reasoning in agreement with the Lehmann et al. postulates.
Fichier non déposé

Dates et versions

hal-04057353 , version 1 (04-04-2023)

Identifiants

Citer

Didier Dubois, Henri Prade. Non-standard theories of uncertainty in knowledge representation and reasoning. The Knowledge Engineering Review, 1994, 9 (4), pp.399--416. ⟨10.1017/S0269888900007128⟩. ⟨hal-04057353⟩
9 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More