![](https://editlib-media.s3.amazonaws.com/sources/JILR.jpg)
How to Program a Domain Independent Tracer for Explanations
Article
Alessio Ishizaka, University of Exeter, United Kingdom ; Markus Lusti, University of Basel, Switzerland
Journal of Interactive Learning Research Volume 17, Number 1, ISSN 1093-023X Publisher: Association for the Advancement of Computing in Education (AACE), Waynesville, NC
Abstract
Explanations are essential in the teaching process. Tracers are one possibility to provide students with explanations in an intelligent tutoring system. Their development can be divided into four steps: (a) the definition of the trace model, (b) the extraction of the information from this model, (c) the analysis and abstraction of the extracted information, and (d) the visualization of the result of the analysis. This article describes the architecture of a domain independent tracer developed in Visual Prolog displaying explanations in the form of a textual dialog or a graphical tree.
Citation
Ishizaka, A. & Lusti, M. (2006). How to Program a Domain Independent Tracer for Explanations. Journal of Interactive Learning Research, 17(1), 57-69. Chesapeake, VA: Association for the Advancement of Computing in Education (AACE). Retrieved August 8, 2024 from https://www.learntechlib.org/primary/p/6092/.
© 2006 Association for the Advancement of Computing in Education (AACE)
Keywords
References
View References & Citations Map- Born, A., & Lusti, M. (1996). An architecture for knowledge based tutoring systems in algorithmic domains. In P. Brna, A. Paiva, & J. Self (Eds.), European Conference on Artificial Intelligence in Education, (pp. 291-297). Lissabon, Portugal.
- Crowley, R.S., & Medvedeva, O. (2003). A general architecture for intelligent tutoring of diagnostic classification problem solving. AMIA Annual Symposium Proceedings, (pp. 185-189).
- Ducassé, M. (1999). Opium: An extendable trace analyser for Prolog. The Journal of Logic Programming, Special Issue on Synthesis, Transformation and Analysis of Logic Programs, 39, 177-223.
- Ducassé, M., & Noye, J. (1994). Logic programming environments: Dynamic program analysis and debugging. The Journal of Logic Programming, 19-20, 351-384.
- Ducassé, M., Langevine, L., & Deransart, P. (2003). Rigorous design of tracers: An experiment for constraint logic programming. In M. Ronsse & K. De Bosschere (Eds.), Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003, pp. 171-185), Ghent, Belgium.
- Eisenstadt, M. (1984). A powerful prolog trace package. In Tim O'Shea (Ed.), Proceedings of the Sixth European Conference on Artificial Intelligence (ECAI-84, pp. 149-158). Pisa, Italy. Eisenstadt, M. (1985). Retrospective zooming: A knowledge based tracking and debugging methodology for logic programming. Proceedings of the International Joint Conferences on Artificial Intelligence, (pp. 717-719).
- Lusti, M. (1995). An authoring component for protocol driven hypertext explanations. Artificial Intelligence in Education, Proceedings of EDMEDIA (pp. 290-298). Charlottesville, VA: Association for the Advancement of Computing in Education.
- Muntjewerff, A., & Winkels, R. (1995). ROSA; A model based computer system for teaching legal case solving. In J.C. Hage, T.J.M. Bench-Capon, M.J. Cohen, & H.J. Van den Herik (Eds.), Legal Knowledge Based Systems JURIX ’95: Telecommunication and AI & Law, (pp. 133141). Lelystad, Holland.
- Patel, M.J., Taylor, C., & Du Boulay, J.B.H. (1994).Textual tree (prolog) tracer: An experimental evaluation. In D. Gilmore, R. Winder, & F. Detienne (Eds.), User-centred requirements for software engineering environments, (pp. 127-141). Berlin: Springer-Verlag.
- Rätz, T. (1993). Erklärungen in wissenbasierten lernsystemen am beispiel eines tutors zur normalisierung von datenbanken. Doctoral dissertation, Peter Lang, Frankfurt am Main.
- Rätz, T., & Lusti, M. (1992). Explanation strategies: Realization in a tutor for database normalization, European Conference on AI, (pp. 47-56). Paris, France.
- Taylor, C., Du Boulay, B., & Patel, M. (1991). Outline proposal for a prolog "textual tree tracer" (TTT). Cognitive Science Research Paper 177, School of Cognitive and Computing Sciences, University of Sussex, UK.
- Trapp, U. (2000). Komponententechnologien zur flexibilisierung konventioneller lernsysteme am beispiel einer wissenbasierten erklärungskomponente. Doctoral dissertation, Basle University, http://www.dissertation.de , Berlin.
- Trapp, U., & Lusti, M. (1999). A domain independent authoring environment for problem solving knowledge, Artificial Intelligence in Education, International Artificial Intelligence in Education Society, (pp. 768-770). Le Mans, France.
- Yalcinalp, L.U. (1991). Metaprogramming for knowledge-based systems in prolog, Unpublished doctoral dissertation, Case Western Reserve University, Cleveland, OH.
These references have been extracted automatically and may have some errors. Signed in users can suggest corrections to these mistakes.
Suggest Corrections to References