• DocumentCode
    1752231
  • Title

    A learning simulator for testing CAI systems

  • Author

    Takahashi, Kenichi ; Ueda, Hiroaki ; Miyahara, Tetsuhiro

  • Author_Institution
    Intelligent Syst. Dept., Hiroshima City Univ., Japan
  • Volume
    1
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    415
  • Abstract
    The authors present a learning simulator consisting of an interface, an inference engine and an inductive logic programming (ILP) system. Possible usage of the simulator includes checking the behavior of CAI systems, to be adopted as a novice agent in CAI systems, and for a teacher to check contents for study by observing the response of the simulator. The learning simulator learns interactively. First, a teacher (or a CAI system) gives background knowledge as basic rules and examples. Next, a teacher asks the simulator some question. Using the background knowledge, rules generated by ILP and examples stored in the memory, the simulator answers the question. Then, the simulator stores the examples and updates rules for the next question, after the teacher tells the correct answer. We implement the simulator using a Prolog interpreter and ILP system FOIL. We show learning results obtained through computer simulations
  • Keywords
    PROLOG; computer aided instruction; digital simulation; inductive logic programming; inference mechanisms; program interpreters; program testing; CAI system testing; FOIL; ILP system; Prolog interpreter; background knowledge; basic rules; computer aided instruction; computer simulations; inductive logic programming; inductive logic programming system; inference engine; interactive learning; learning simulator; novice agent; teacher; Collaboration; Computational modeling; Computer aided instruction; Computer simulation; Displays; Engines; Humans; Intelligent systems; Logic programming; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    TENCON 2001. Proceedings of IEEE Region 10 International Conference on Electrical and Electronic Technology
  • Print_ISBN
    0-7803-7101-1
  • Type

    conf

  • DOI
    10.1109/TENCON.2001.949626
  • Filename
    949626