Logic Muse est un système tutoriel intelligent dédié à l’enseignement de la logique mathématique et du raisonnement formel. Le système utilise des techniques de modélisation cognitive pour adapter l’enseignement aux besoins individuels des étudiants.