An intelligent tutoring system for program semantics

被引：3
|
作者：
Barker, S [1 ]
Douglas, P [1 ]
机构：
[1] Univ London Kings Coll, London WC2R 2LS, England
来源：
ITCC 2005: International Conference on Information Technology: Coding and Computing, Vol 1 | 2005年
关键词：
e-learning; educational software; program semantics;
D O I：
10.1109/ITCC.2005.82
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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 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 helping students to understand program and database semantics.
引用
收藏
页码：482 / 487
页数：6
相关论文
共 50 条
  • [1] An intelligent tutoring system prototype for learning to program Java']Java™
    Sykes, ER
    [J]. 3RD IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES, PROCEEDINGS, 2003, : 485 - 485
  • [2] Developing an intelligent tutoring system for students learning to program in C++
    Faculty of Engineering and Information Technology, Al-Azhar University, Gaza, Palestine
    [J]. Inf. Technol. J, 2008, 7 (1055-1060):
  • [3] Intelligent Tutoring System with 300-certification program based on WIPI
    Lee, Y
    Cho, J
    Choi, B
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 2005, 3683 : 713 - 720
  • [4] An Emotionally Intelligent Tutoring System
    Mohanan, Ramya
    Stringfellow, Catherine
    Gupta, Dittika
    [J]. 2017 COMPUTING CONFERENCE, 2017, : 1099 - 1107
  • [5] Intelligent tutoring system as multiagent system
    Badjonski, M
    Ivanovic, M
    Budimac, Z
    [J]. 1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 871 - 875
  • [6] Intelligent tutoring system for geography
    Abdel-Wahab, S
    Aboul-Ela, M
    [J]. INTERNATIONAL CONFERENCE ON EDUCATION AND INFORMATION SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS, 2003, : 48 - 52
  • [7] On the development of an intelligent tutoring system
    MEI, Moscow, Russia
    [J]. Izv Akad Nauk Teh Kibern, 5 (85-92):
  • [8] An Intelligent Tutoring System for Accounting
    Karakostas, Bill
    [J]. 2012 INTERNATIONAL CONFERENCE ON E-LEARNING AND E-TECHNOLOGIES IN EDUCATION (ICEEE), 2012, : 80 - 83
  • [9] AN INTELLIGENT LANGUAGE TUTORING SYSTEM
    SCHWIND, CB
    [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1990, 33 (05): : 557 - 579
  • [10] Intelligent Tutoring in eLearning System
    Kostolanyova, Katerina
    Sarmanova, Jana
    Takacs, Ondrej
    [J]. PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, 2010, : 794 - 796
12345