Logiques pour l'intelligence artificielle — Raymond Turner