La logique paraconsistante permet de raisonner en présence de contradictions et offre par là même une nouvelle conception de la notion de preuve qui s’avère particulièrement intéressante pour l’intelligence artificielle. – Introduction. – 1. Qu’est-ce que la logique paraconsistante ?; – 2. Systèmes de preuves paraconsistantes (Déduction naturelle; Calcul des séquents); – 3. Interprétations et applications des systèmes de preuves paraconsistants.