Séminaire sur l'IA : Stephen Montes Casper sur les limites de la logique logique à partir de la rétroaction humaine