Abstract
Knowledge Representation & Reasoning (KR&R) is a fundamental topic in Artificial Intelligence. A basic KR language is First–Order Logic (FOL), the most representative logic–based representation language, which is part of almost any introductory AI course. In this work we present KRRT (Knowledge Representation & Reasoning Tutor). KRRT is a Web–based system which main goal is to help the student to learn FOL as a KR&R language.
This research was funded in part by the Spanish Ministry of Education and Science under grant TIN2004–03884 and Feder funds.
This is a preview of subscription content, log in via an institution to check access.
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
Logic software and logic education, http://www.cs.otago.ac.nz/staffpriv/hans/logiccourseware.html
Abraham, D., Crawford, L., Lesta, L., Merceron, A., Yacef, K.: The Logic Tutor: A multimedia presentation. Electronic Journal of Computer–Enhanced Learning (October 2001)
Alonso, J.A., Aranda, G.A., Martín.-Mateos, F.J.: FITS: Formalization with an Intelligent Tutor System. In: IV International Conference On Multimedia And Information And Communication Technologies In Education (2006)
Bornat, R., Sufrin, B.: Jape: A calculator for animating proof-on-paper. In: McCune, W. (ed.) Automated Deduction - CADE-14. LNCS, vol. 1249, pp. 412–415. Springer, Heidelberg (1997)
Huth, M., Ryan, M.: LICS web tutor, http://www.cs.bham.ac.uk/research/projects/lics/tutor
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)
Lukins, S., Levicki, A., Burg, J.: A tutorial program for propositional logic with human/computer interactive learning. In: SIGCSE 2002, pp. 381–385. ACM, New York (2002)
McCune, W.: OTTER 3.3 reference manual. Argonne National Laboratory (2003)
Riazanov, A., Voronkov, A.: Vampire 1.1 (system description). In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 376–380. Springer, Heidelberg (2001)
Wildenberg, A., Scharff, C.: OLIVER: an OnLine Inference and VERification system. In: 32 ASEE/IEEE Frontiers in Education Conference, IEEE (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alonso, J.A., Aranda, G.A., Martn–Mateos, F.J. (2007). KRRT: Knowledge Representation and Reasoning Tutor System. In: Moreno Díaz, R., Pichler, F., Quesada Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2007. EUROCAST 2007. Lecture Notes in Computer Science, vol 4739. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75867-9_51
Download citation
DOI: https://doi.org/10.1007/978-3-540-75867-9_51
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75866-2
Online ISBN: 978-3-540-75867-9
eBook Packages: Computer ScienceComputer Science (R0)