Sur les preuves non déductives en intelligence artificielle

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.