Export file:


  • RIS(for EndNote,Reference Manager,ProCite)
  • BibTex
  • Text


  • Citation Only
  • Citation and Abstract

Modeling and verification of an intelligent tutoring system based on Petri net theory

1 Department of Applied Foreign Languages, Jinwen University of Science and Technology, 99, Anzhong Rd., Xindian Dist., New Taipei City 23154, Taiwan
2 Department of Computer Science, University of Taipei, 1, Ai-Guo West Road, Taipei City, 10048 Taiwan
3 Department of Japanese Language and Literature, Shih Hsin University, #1 Lane17, Sec.1, Mu-Cha Rd., Taipei City, Taiwan
4 Department of Computer Science and Information Engineering, National Taipei University, 151, University Rd., Sanxia District, New Taipei City, 237 Taiwan
5 Department of Information Management, Chaoyang University of Technology, 168, Jifeng E. Rd., Wufeng District, Taichung City 413, Taiwan

Special Issues: Intelligent Computing

According to the educational regulations in Taiwan, students are required to learn English when they are at the first grade of elementary school. However, not all the students have an appropriate environment to practice English, especially, for those students whose school is not located in the city. Thus, their English abilities in speaking, reading, and listening are poor. An intelligent tutoring system is used to help the students improve their English capabilities. This paper aims to provide a convenient tutoring environment, where teachers and students do not need to prepare a lot of teaching aids. They can teach and learn English whenever in the environment. Also, it proposes a method to verify the intelligent tutoring system using Petri nets. We have built the intelligent tutoring system based on Augmented Reality (AR), Text-to-Speech (TTS), and Speech Recognition (SR). This intelligent tutoring system is divided into two parts: one for teachers and the other for students. The experimental results have indicated that using Petri nets can help users verify the intelligent tutoring system for better learning performance and operate it correctly.
  Article Metrics
Download full text in PDF

Export Citation

Article outline

Copyright © AIMS Press All Rights Reserved