Stratified induction in possibilistic logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Stratified induction in possibilistic logic

Résumé

Possibilistic logic offers a framework for handling classical formulas associated with levels of certainty, or of priority which are viewed as lower bounds of a necessity measure. This logic has been developed in connection with deductive reasoning under uncertainty and with non monotonic reasoning. In this paper, we investigate the extension of classical inductive process to the stratified setting of possibilistic logic. The idea is to partition the set of examples into subsets having distinct levels of priority. An induced formulas all the better as it covers the more examples including those with low priority. An inductive possibilistic machinery is outlined and exemplified. Keywords : uncertainty, possibility theory, induction
Fichier non déposé

Dates et versions

hal-03377606 , version 1 (14-10-2021)

Identifiants

  • HAL Id : hal-03377606 , version 1

Citer

Didier Dubois, Henri Prade, Gilles Richard, Mathieu Serrurier. Stratified induction in possibilistic logic. 9ème Conférence Internationale sur le traitement d'information et gestion d'incertitudes dans les systèmes à base de connaissances (IPMU 2002), Jun 2002, Annecy, France. pp.617-623. ⟨hal-03377606⟩
17 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More