2015 | OriginalPaper | Chapter
The Design Rationale of Logic-Muse, an ITS for Logical Reasoning in Multiple Contexts
Authors : Roger Nkambou, Clauvice Kenfack, Serge Robert, Janie Brisson
Published in: Artificial Intelligence in Education
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
This paper describes the design and implementation of Logic-Muse, an Intelligent Tutoring System (ITS) that helps learners develop reasoning skills on various contents. The study was conducted jointly with the active participation of logicians and reasoning psychologists. Logic-Muse’s current version was internally validated. It is focused on propositional logic and supports learners reasoning in a wide range of situations.