Towards an Intelligent Tutoring System for Logical Reasoning in Multiple Contexts

  • Roger NkambouEmail author
  • Janie Brisson
  • Clauvice Kenfack
  • Serge Robert
  • Pamela Kissok
  • Ange Tato
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9307)


In this paper we present a participatory approach to design Logic-Muse, an Intelligent Tutoring System that helps learners develop reasoning skills in multiple contexts (situations). The study was conducted jointly with the active participation of experts in the field of logic and the psychology of reasoning. An explicit catalogue of systematic errors in classical logic is built, followed by an explicit representation and encoding of the semantic knowledge behind reasoning as well as reasoning procedural structures and meta-structures. Logic-Muse innovates through its design rationale, which leads to strong structures on which learning is based. It also innovates with the projection of reasoning skills in a variety of well-defined classes of situations to ensure an absolute mastery of reasoning skills regardless of the content effect.


Intelligent tutoring system Reasoning skills Formal logic learning 



We would like to thank all Logic-Muse team members (J. Bourdeau, M. Bélanger, A, Cloutier, J-B Plouhinec, H. Markovits and M. Sainte-Marie) for their contribution to this work.


  1. 1.
    Barnes, T., Stamper, J.: Automatic hint generation for logic proof tutoring using historical data. Educ. Technol. Soc. 13(1), 3–12 (2010)Google Scholar
  2. 2.
    Brisson, J., de Chantal, P.-L., Lortie-Forgues, H., Markovits, H.: Belief bias is stronger when reasoning is more difficult. Think. Reasoning 20(3), 385–403 (2014)Google Scholar
  3. 3.
    Cummins, D.D., Lubart, T., Alksnis, O., Rist, R.: Conditional reasoning and causation. Mem. Cogn. 19(3), 274–282 (1991)CrossRefGoogle Scholar
  4. 4.
    Evans, J.S.B.: On the resolution of conflict in dual process theories of reasoning. Think. Reason. 13, 321–339 (2007)CrossRefGoogle Scholar
  5. 5.
    Evans, J.S.B.T., Newstead, S.E., Byrne, R.M.J.: Human Reasoning. Lawrence Erlbaum Publishers, Hove (1993)Google Scholar
  6. 6.
    Markovits, H.: On the road toward formal reasoning: reasoning with factual causal and contrary-to-fact causal premises during early adolescence. J. Exp. Child Psychol. 128, 37–51 (2014)CrossRefGoogle Scholar
  7. 7.
    Stanovich, K.E.: Rationality and the Reflexive Mind. Oxford University Press, Oxford (2011)Google Scholar
  8. 8.
    Thompson, V.A.: Conditional reasoning: the necessary and sufficient conditions. Can. J. Exp. Psychol. 49(1), 1–60 (1995)MathSciNetCrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Tchétagni, J.M., Nkambou, R.: Hierarchical representation and evaluation of the student in an intelligent tutoring system. In: Cerri, S.A., Gouardéres, G., Paraguaçu, F. (eds.) ITS 2002. LNCS, vol. 2363, pp. 708–717. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  12. 12.
    Tchetagni, J., Nkambou, R., Bourdeau, J.: Explicit reflection in prolog-tutor. Int. J. Artif. Intell. Educ. 17(2), 169–217 (2007)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Roger Nkambou
    • 1
    Email author
  • Janie Brisson
    • 1
  • Clauvice Kenfack
    • 1
    • 2
  • Serge Robert
    • 1
  • Pamela Kissok
    • 1
  • Ange Tato
    • 1
  1. 1.Université du Québec à MontréalMontréalCanada
  2. 2.University of YaoundéYaoundéCameroun

Personalised recommendations