Skip to Main content Skip to Navigation
Reports

Logique Equationnelle et probabilités selon Halpern

Guillaume Burel 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00107710
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:06:36 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM
Long-term archiving on: : Friday, November 25, 2016 - 12:24:37 PM

Identifiers

  • HAL Id : inria-00107710, version 1

Collections

Citation

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

Share

Metrics

Record views

112

Files downloads

111