On drawing conclusions in presence of inconsistent data

Abstract

Most automated tests assessing students understanding of a concept contain one question requiring application of that concept. To attain a higher level of certainty in the evaluation process we propose a test with three different questions requiring application of one concept. Such a test is intended to facilitate the self-assessment process and can be suggested to students after a concept has been introduced. Lattice theory and higher-order logic are further applied for presenting a structure that can serve as a building block of an intelligent tutoring system. © 2008 Springer-Verlag Berlin Heidelberg.