Abstract
We describe in this paper an ITS called SIAL that supports the learning of problem solving skills in computational logic from obtaining the clause form of simple well formed formulae to hyperresolution. The core function in SIAL is the error diagnosis module, that has the role of detecting and interpreting the mistakes of the learner while he/she is solving the exercises. It combines both model-based and knowledge-based (expertise) diagnosis in order to achieve more accurate results. SIAL complements this core function with a flexible user interface and a pedagogical module that offers three modes of interaction adapted to the learner’s level of expertise. SIAL is currently being tested by a group of volunteers in order to measure and tune its accuracy, as a preliminary step before performing tests in real conditions.
This work has been funded by the “Junta de Castilla y León” project VA04/99.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Simón, A., Martínez, A., López, M., Maestro, J., Marqués, J., Alonso, C.: Learning Computational Logic with an Intelligent Tutoring System: SIAL. In: First International Congress on Tools for Teaching Logic, pp. 161–168. U. of Salamanca (2000)
Martínez, A., Simón, M., Maestro, J., López, M., Alonso, C.: Student Modelling and Interface Design in SIAL. In: Gauthier, G., VanLehn, K., Frasson, C. (eds.) ITS 2000. LNCS, vol. 1839, p. 659. Springer, Heidelberg (2000)
Chang, C.L., Lee, R.C.T.: Symbolic logic and mechanical theorem proving. Academic Press, London (1987)
Aranda, L., Torres, S., Trella, M., Conejo, R.: BabelWin: An environment for learning and monitoring reading and writing skills. In: Computers and Education in the 21st Century, pp. 79–92. Kluwer Academic Pub., The Netherlands (2000)
Vygotsky, L.: Mind in society: The development of higher psychological processes. Harvard University Press, Cambridge (1978)
Dillenbourg, P., Self, J.: A framework for learner modelling. Interactive Learning Environments 2, 111–137 (1992)
Ferrero, B., Fernandez-Castro, I., Urretavizcaya, M.: Multiple Paradigms for a Generic Diagnostic Proposal. In: Gauthier, G., VanLehn, K., Frasson, C. (eds.) ITS 2000. LNCS, vol. 1839, p. 653. Springer, Heidelberg (2000)
Price, C.: Computer-based diagnostic systems. Springer, Heidelberg (1999)
Martin, B., Mitrovic, A.: Tailong Feedback by Correcting Students Answers. In: Gauthier, G., VanLehn, K., Frasson, C. (eds.) ITS 2000. LNCS, vol. 1839, pp. 383–392. Springer, Heidelberg (2000)
Schreiber, G., Akkermans, H., Anjewierden, A., de Hoog, R., Shadbolt, N., Van de Velde, W., Wielinga, B.: Knowledge Engineering and Management, The CommonKADS Methodology. The MIT Press, Cambridge (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maestro, J.A., Simón, M.A., López, M., Martínez, A., Alonso, C.J. (2004). A Proposal of Diagnosis for an ITS for Computational Logic. In: Conejo, R., Urretavizcaya, M., Pérez-de-la-Cruz, JL. (eds) Current Topics in Artificial Intelligence. TTIA 2003. Lecture Notes in Computer Science(), vol 3040. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25945-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-25945-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22218-7
Online ISBN: 978-3-540-25945-9
eBook Packages: Springer Book Archive