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.
Type de document :
Rapport
[Stage] A03-R-321 || burel03a, 2003, 19 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00107710
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:06:36
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 12:24:37

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

72

Téléchargements de fichiers

40