Abstract
In this paper, we present NLtoFOL SIP system, a web-based interactive system aimed at helping students to learn how to convert/translate natural language (NL) sentences into first-order logic (FOL) formulas. It tries to achieve it by providing (a) a structured and interactive process (SIP) for the conversion and (b) guidance and help during that process. The system provides guidance and help of various levels in an intelligent way based on the user’s responses. Also, the user interface is dynamically configured during the user interaction to reflect the steps of SIP. Different NL sentences may require the implementation of different number of SIP steps. According to our knowledge, there is no other system that tackles the problem of NL to FOL conversion in such a systematic way. Small scale evaluation has given quite satisfactory results.
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
Abraham, D., Crawford, L., Lesta, L., Merceron, A., Yacef, K.: The Logic Tutor: A multimedia presentation. Electronic Journal of Computer-Enhanced Learning (2001)
Abraham, D., Yacef, K.: Adaptation in the Web-Based Logic-ITA. In: De Bra, P., Brusilovsky, P., Conejo, R. (eds.) AH 2002. LNCS, vol. 2347, pp. 456–461. Springer, Heidelberg (2002)
Alonso, J.A., Aranda, G.A., MartÃn.-Matceos, F.J.: FITS: Formalization with an Intelligent Tutor System. In: Proceedings of the IV International Conference on Multimedia and Information and Communication Technologies in Education (2006)
Alonso, J.A., Aranda, G.A., MartÃn-Matceos, F.J.: KRRT: Knowledge Representation and Reasoning Tutor. In: Moreno DÃaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2007. LNCS, vol. 4739, pp. 400–407. Springer, Heidelberg (2007)
Bornat, R., Sufrin, B.: Jape: A calculator for animating proof-on-paper. In: Mc-Cune, W. (ed.) CADE 1997. LNCS, vol. 1249, pp. 412–415. Springer, Heidelberg (1997)
Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier, Amsterdam (2004)
Genesereth, M.R., Nilsson, N.J.: Logical Foundations of AI. Morgan Kaufmann, Palo Alto (1987)
Hatzilygeroudis, I.: Teaching NL to FOL and FOL to CL Conversions. In: Proceedings of the 20th International FLAIRS Conference, Key West, FL, May 2007, pp. 309–314. AAAI Press, Menlo Park (2007)
Kaliszyk, C., Wiedijk, F., Hendriks, M., van Raamsdonk, F.: Teaching logic using a state-of-the-art proof assistant. In: Proceedings of the International Workshop on Proof Assistants and Types in Education (PATE 2007), June 25, pp. 37–50 (2007)
Goshi, K., Wray, P., Sun, Y.: An Intelligent Tutoring System for Teaching and Learning Hoare Logic. In: Proceedings of the Fourth International Conference on Computational Intelligence and Multimedia Applications (ICCIMA 2001), pp. 293–297 (2001)
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)
Logic Toolbox, http://philosophy.lander.edu/~jsaetti/Welcome.html (accessed, November 2006)
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)
Luger, G.F.: Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 5th edn. Addison-Wesley, Reading (2004)
Neller, T., Markov, Z., Russell, I.: Clue Deduction: Professor Plum Teaches Logic. In: Proceedings of the 19th International FLAIRS Conference (FLAIRS 2006), Melbourne Beach, Florida, May 11-13, pp. 214–219 (2006)
Plato, http://www.utexas.edu/courses/plato/info.html (accessed, February 2009)
Russell, S., Norvig, P.: Artificial Intelligence: a modern approach, 2nd edn. Prentice Hall, Upper Saddle River (2003)
Wildenberg, A., Scharff, C.: OLIVER: an OnLine Inference and VERification system. In: The Proceedings of the 32 ASEE/IEEE Frontiers in Education Conference (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
HATZILYGEROUDIS, I., PERIKOS, I. (2009). A Web-Based Interactive System for Learning NL to FOL Conversion. In: Damiani, E., Jeong, J., Howlett, R.J., Jain, L.C. (eds) New Directions in Intelligent Interactive Multimedia Systems and Services - 2. Studies in Computational Intelligence, vol 226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02937-0_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-02937-0_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02936-3
Online ISBN: 978-3-642-02937-0
eBook Packages: EngineeringEngineering (R0)