A Web-Based Interactive System for Learning NL to FOL Conversion

  • Ioannis HATZILYGEROUDIS
  • Isidoros PERIKOS
Chapter
Part of the Studies in Computational Intelligence book series (SCI, volume 226)

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.

Keywords

Knowledge Representation Natural Deduction Intelligent Tutoring System Proof Assistant Hoare Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abraham, D., Crawford, L., Lesta, L., Merceron, A., Yacef, K.: The Logic Tutor: A multimedia presentation. Electronic Journal of Computer-Enhanced Learning (2001)Google Scholar
  2. 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)CrossRefGoogle Scholar
  3. 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)Google Scholar
  4. 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)CrossRefGoogle Scholar
  5. 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)Google Scholar
  6. Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier, Amsterdam (2004)Google Scholar
  7. Genesereth, M.R., Nilsson, N.J.: Logical Foundations of AI. Morgan Kaufmann, Palo Alto (1987)Google Scholar
  8. 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)Google Scholar
  9. 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)Google Scholar
  10. 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)Google Scholar
  11. 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)Google Scholar
  12. Logic Toolbox, http://philosophy.lander.edu/~jsaetti/Welcome.html (accessed, November 2006)
  13. 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)CrossRefGoogle Scholar
  14. Luger, G.F.: Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 5th edn. Addison-Wesley, Reading (2004)Google Scholar
  15. 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)Google Scholar
  16. Plato, http://www.utexas.edu/courses/plato/info.html (accessed, February 2009)
  17. Russell, S., Norvig, P.: Artificial Intelligence: a modern approach, 2nd edn. Prentice Hall, Upper Saddle River (2003)Google Scholar
  18. Wildenberg, A., Scharff, C.: OLIVER: an OnLine Inference and VERification system. In: The Proceedings of the 32 ASEE/IEEE Frontiers in Education Conference (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Ioannis HATZILYGEROUDIS
    • 1
  • Isidoros PERIKOS
    • 1
  1. 1.Department of Computer Engineering & Informatics, School of EngineeringUniversity of PatrasGreece

Personalised recommendations