Logo Sips
Accueil

Abécédaire

Recherche

Intranet

Contact

Système d'information en philosophie des sciences

Logo Sips
ImprimerEnvoyer le lien

ARTICLE

Sur les preuves non déductives en intelligence artificielle

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

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.

 

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.

 
Haut de pageRetour à la page précédente