Système d’information en philosophie des sciences

Sur les preuves non déductives en intelligence artificielle

MARQUIS Pierre

Dans : LE CONCEPT DE PREUVE À LA LUMIÈRE DE L'INTELLIGENCE ARTIFICIELLE - 1999

Pages : 139 à 158
Date de création : 04-01-2011
Dernière mise à jour : 04-01-2011

Mots-clés :

Résumé :

Français

1. Introduction; – 2. La preuve (Le contexte de la preuve; La confiance en une preuve); – 3. Les preuves non déductives (Cohérence; Confirmation inductive; Abduction); – 4. Preuves par abduction (Une définition formelle; Automatiser l’inférence abductive); – 5. Conclusion.

Mots-clés :

Résumé :

Français

1. Introduction; – 2. La preuve (Le contexte de la preuve; La confiance en une preuve); – 3. Les preuves non déductives (Cohérence; Confirmation inductive; Abduction); – 4. Preuves par abduction (Une définition formelle; Automatiser l’inférence abductive); – 5. Conclusion.