Le concept de preuve à la lumière de l'intelligence artificielle
- Éditeur
- Puf
- Format
- Livre Broché
- Collection
- Nouvelle encyclopédie Diderot
- Catégorie
- Philosophie
- Langue
- Français
- Parution
- 11 - 1999
- Nombre de pages
- 384
- EAN
- 9782130501046
- Dimensions
- 150 × 220 × 20 mm
Résumé du livre
Propose les analyses qui permettent de caractériser l'activité probatoire dans l'unité de son projet et la diversité de ses manifestations (le formalisme et l'activité de preuve ; preuve et logique ; les problèmes des formes d'automatisation de la preuve ; les activités probatoires dans les sciences humaines).