Approche logique de l'intelligence artificielle 4 — André Thayse