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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Belnap, N.J.: A useful four.valued logic. In: Dunn, J.M., Epstain, G. (eds.) Modern uses of multiple-valued logic, pp. 8–37. D. Reidel Publishing Co., Dordrecht (1977)
Davey, B.A., Priestley, H.A.: Introduction to lattices and order. Cambridge University Press, Cambridge (2005)
Ferreira, U.: A Five-valued Logic and a System. Journal of Computer Science and Technology 4(3), 134–140 (2004)
Goodstein, R.L.: Boolean Algebra. Dover Publications (2007)
Gradel, E., Otto, M., Rosen, E.: Undecidability results on two-variable logics. Archive of Mathematical Logic 38, 313–354 (1999)
Guzmà n, E., Conejo, R.: A model for student knowledge diagnosis through adaptive testing. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 12–21. Springer, Heidelberg (2004)
Huffman, D., Goldberg, F., Michlin, M.: Using computers to create constructivist environments: impact on pedagogy and achievement. Journal of Computers in mathematics and science teaching 22(2), 151–168 (2003)
Immerman, N., Rabinovich, A., Reps, T., Sagiv, M., Yorsh, G.: The boundery between decidability and undecidability of transitive closure logics. In: Marcinkowski, J., Tarlecki, A. (eds.) CSL 2004. LNCS, vol. 3210, Springer, Heidelberg (2004)
Kleene, S.: Introduction to Metamathematics. D. Van Nostrand Co., Inc., New York (1952)
Park, C., Kim, M.: Development of a Level-Based Instruction Model in Web-Based Education. LNCS (LNAI), vol. 3190, pp. 215–221. Springer, Heidelberg (2003)
Santos, C.T., Osòrio, F.S.: Integrating intelligent agents, user models, and automatic content categorization in virtual environment. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 128–139. Springer, Heidelberg (2004)
Whitesitt, J.E.: Boolean Algebra and Its Applications. Dover Publications (1995)
Wille, R.: Concept lattices and conceptual knowledge systems. Computers Math. Applic. 23(6-9), 493–515 (1992)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Encheva, S., Tumin, S. (2008). On Drawing Conclusions in Presence of Inconsistent Data. In: Nguyen, N.T., Jo, G.S., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2008. Lecture Notes in Computer Science(), vol 4953. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78582-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-78582-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78581-1
Online ISBN: 978-3-540-78582-8
eBook Packages: Computer ScienceComputer Science (R0)