An intelligent tutoring system for program semantics \ud

Part of book or chapter of book English OPEN
Barker, Steve ; Douglas, Paul
  • Publisher: IEEE Computer Society
  • Related identifiers: doi: 10.1109/ITCC.2005.82
  • Subject: UOW3
    acm: ComputingMilieux_COMPUTERSANDEDUCATION

In this paper, we describe an item of e-learning software that is intended to help students taking university computer science courses to understand the fundamentals of logic programming and deductive database semantics. The software is implemented in PROLOG and empowers students\ud to explore their understanding of the semantics of logic programs and deductive databases. The software is also able to intelligently diagnose student misconceptions and includes a number of example programs/databases that permit students to test their understanding. We describe the development and evaluation of the software, and we present details of the analysis of the results of our investigation into the effectiveness of our e-learning tool. The results of our field study of the e-learning tool suggests that it of value in helpingstudents to understand program and database semantics.
  • References (9)

    [1] I. Bratko. PROLOG Programming for Artificial Intelligence. Addison-Wesley, 1986.

    [2] K. L. Clark. Negation As Failure, pages 293-322. Plenum Press, 1972.

    [3] S. K. Das. Deductive Databases and Logic Programming. Addison-Wesley, 1992.

    [4] S. U. C. for the Study of Language and Information. Tarski's World. http://www.-

    [5] R. M. Gagne. The Conditions of Learning. Holt, Reinhart and Winston, 1970.

    [6] F. Marton and P. Ramsden. What does it take to improve learning? Kogan Page, 1988.

    [7] J. Nichol, J. Briggs, and J. Dean. Prolog, Children and Students. Kogan-Page, 1988.

    [8] H. Przymusinska and T. C. Przymusinski. Weakly perfect model semantics for logic programs. In Proceedings of the 5th International Conference and Symposium on Logic Programming, pages 270-279, Seattle, USA, 1988.

    [9] M. Yazdani. New Horizons in Educational Computing. Ellis Horwood, 1983.

  • Metrics
    views in OpenAIRE
    views in local repository
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    WestminsterResearch - IRUS-UK 0 9
Share - Bookmark