Abstract
Default logic is often used for solving knowledge representation problems in a compact, robust and flexible way. One of goals of intelligent systems is to provide efficient evaluation students’ responces. Often they operate only with the answers to a single question addressing learning a new term, understanding a new concept or mastering a new skill. However, experimental practice shows that asking several questions about the same item results in inconsistent and/or incomplete feedback, i.e. some of the answers are correct while others are partially correct or even incorrect. In this paper we propose use of default logic in an intelligent tutoring system as a way of resolving the problem with inconsistent and/or incomplete input.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ginsberg, M.L.: Multi-valued logics: a uniform approach to inference in artificial intelligence. Computational Intelligence 4, 265–316 (1988)
Goodstein, R.L.: Boolean Algebra. Dover Publications, Mineola, NY (2007)
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)
Johnstone, A.: Effective Practice in Objective Assessment, www.physsci.heacademy.ac.uk/Publications/PracticeGuide/
Park, C., Kim, M.: Development of a Level-Based Instruction Model in Web-Based Education. In: Luo, Y. (ed.) CDVE 2004. LNCS, vol. 3190, pp. 215–221. Springer, Heidelberg (2004)
Priest, G.: An Introduction to Non-Classical Logic, Cambridge (2001)
Prior, A.N.: A Statement of Temporal Realism. In: Copeland, B.J. (ed.) Logic and Reality: Essays on the Legacy of Arthur Prior, Clarendon Press, Oxford (1996)
Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 81–132 (1980)
Sabetzadeh, M., Easterbrook, S.: Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Canada, October 6-10, 2003, pp. 12–22. IEEE Computer Society Press, Los Alamitos (2003)
Sakama, C.: Ordering default theories. In: Proceedings of the 18th International Joint Conferance on Artificial Intelligence, pp. 839–844. Morgan Kaufmann, San Francisco (2003)
Sakama, C.: Ordering default theories and nonmonotonic logic programs. Theoretical Computer Science 338(1-3), 127–152 (2005)
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)
Sim, K.M.: Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations. Artificial Intelligence Review 15(3), 219–240 (2001)
Tafertshofer, P., Granz, A., Antreich, K.J.: Igraine-an implication GRaph-bAsed engINE for fast implication, justification and propagation. IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems 19(8), 907–927 (2000)
Tamir, P.: Justifying the selection of answers in multiple-choice items. International Journal of Science Education 12, 563–573 (1990)
Tsovaltzi, D., Fiedler, A., Horacek, H.: A Multi-Dimensional Taxonomy for Automating Hinting. In: Lester, J.C., Vicari, R.M., Paraguaçu, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 722–781. Springer, Heidelberg (2004)
Whitesitt, J.E.: Boolean Algebra and Its Applications, Dover Publications (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Encheva, S., Tumin, S. (2007). Application of Default Logic in an Intelligent Tutoring System. In: Enokido, T., Barolli, L., Takizawa, M. (eds) Network-Based Information Systems. NBiS 2007. Lecture Notes in Computer Science, vol 4658. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74573-0_50
Download citation
DOI: https://doi.org/10.1007/978-3-540-74573-0_50
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74572-3
Online ISBN: 978-3-540-74573-0
eBook Packages: Computer ScienceComputer Science (R0)