Application of paraconsistent logic in an intelligent tutoring system

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.