Title: Fondements Logiques de l'intelligence Artificielle