Logique Equationnelle et probabilités selon Halpern - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2003

Logique Equationnelle et probabilités selon Halpern

Abstract

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00107710 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More