2007 | OriginalPaper | Chapter
Application of Paraconsistent Logic in an Intelligent Tutoring System
Authors : Sylvia Encheva, Sharil Tumin, Maryna Z. Solesvik
Published in: Cooperative Design, Visualization, and Engineering
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.