Application of paraconsistent logic in an intelligent tutoring system

  • Authors:
  • Sylvia Encheva;Sharil Tumin;Maryna Z. Solesvik

  • Affiliations:
  • Stord/Haugesund University College, Haugesund, Norway;University of Bergen, iT-Dept., Bergen, Norway;Stord/Haugesund University College, Haugesund, Norway

  • Venue:
  • CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Experience shows that testing students' understanding of new concepts immediately after they have been introduced considerably improves the learning process. in this work understanding of a concept is assumed to take place if a student can provide reasonably correct answers to questions requiring application this concept. A possible solution to the problem of how to determine whether students actually understand a concept is to give them tests. Such tests, being a part of an intelligent system, provide inconsistent information to intelligent agents, facilitating the tests evaluation process. This happens because the degree of a student's understanding varies a lot depending on factors like time and the way questions are formulated. Since classical logic fails to draw conclusions in the presence of inconsistencies we propose application of paraconsistent logic.