Système d’information en philosophie des sciences
Information system on philosophy of science

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.

 

Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Samedi 23 octobre 2021