Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barnes, T., Stamper, J.: Automatic Hint Generation for Logic Proof Tutoring Using Historical Data. Educational Technology & Society 13(1), 3–12 (2010)
Brisson, J., de Chantal, P.-L., Lortie-Forgues, H., Markovits, H.: Thinking & Reasoning (2014): Belief bias is stronger when reasoning is more difficult. Thinking & Reasoning (2014)
Evans, J.S.B.T., Newstead, S.E., Byrne, R.M.J.: Human Reasoning. Psychology Press (1993)
Stanovich, K.E.: Rationality and the reflexive mind. Oxford University Press, Oxford (2011)
Lesta, L., Yacef, K.: An intelligent teaching assistant system for logic. In: Cerri, S.A., Gouardéres, G., Paraguaçu, F. (eds.) ITS 2002. LNCS, vol. 2363, pp. 421–431. Springer, Heidelberg (2002)
Robert, S.: Logique de la découverte et naturalisation de la connaissance: L’épistémologie historique d’Imre Lakatos. Presses de l’Université Laval, Québec (2009)
Tchetagni, J., Nkambou, R., Bourdeau, J.: Explicit Reflection in Prolog-Tutor. International Journal on Artificial Intelligence in Education 17(2), 169–217 (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Nkambou, R., Kenfack, C., Robert, S., Brisson, J. (2015). The Design Rationale of Logic-Muse, an ITS for Logical Reasoning in Multiple Contexts. In: Conati, C., Heffernan, N., Mitrovic, A., Verdejo, M. (eds) Artificial Intelligence in Education. AIED 2015. Lecture Notes in Computer Science(), vol 9112. Springer, Cham. https://doi.org/10.1007/978-3-319-19773-9_105
Download citation
DOI: https://doi.org/10.1007/978-3-319-19773-9_105
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19772-2
Online ISBN: 978-3-319-19773-9
eBook Packages: Computer ScienceComputer Science (R0)