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.
Mentions légales © SIPS, 2022.
Dernière mise à jour : Dimanche 14 août 2022