Logique Equationnelle et probabilités selon Halpern - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2003

Logique Equationnelle et probabilités selon Halpern

Résumé

L'introduction de probabilités en logique est motivée par le besoin de faire des raisonnements prenant en compte l'incertitude, pour lesquels on aimerait à quel point on peut se fier à une affirmation particulière. De tels raisonnements trouveraient des applications dans des domaines variés, comme par exemple l'intelligence artificielle ou le domaine médical.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
A03-R-321.pdf (405.72 Ko) Télécharger le fichier

Dates et versions

inria-00107710 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107710 , version 1

Citer

Guillaume Burel. Logique Equationnelle et probabilités selon Halpern. [Stage] A03-R-321 || burel03a, 2003, 19 p. ⟨inria-00107710⟩
59 Consultations
92 Téléchargements

Partager

Gmail Facebook X LinkedIn More