Abstract: We investigate a possible way for solving the problem of combination of logical inference search methods and symbolic computation tools in e-learning testing on the basis of the approaches developed at the Kiev schools of automated theorem proving and analytical transformations. The investigations started in the first half of 1960s at the Institute of Cybernetics of the Academy of Sciences of Ukraine. Some years later the Faculty of Cybernetics of the Kiev State University was involved in the corresponding projects. The current state of investigations on the topic as well as their theoretical and practical background is described in the paper.

Keywords: analytical transformation, automated theorem proving, deduction, e-learning, intelligent tutoring system.

ACM Classification Keywords: I.2.3 Deduction and Theorem Proving – Deduction. I.2.4 Knowledge Representation Formalisms and Methods – Predicate logic. G.4 Mathematical software. K.3.2 Computer and Information Science Education.

Link:

ON COMBINATION OF DEDUCTION AND ANALYTICAL TRANSFORMATIONS IN E-LEARNING TESTING

Vitaly Klimenko, Alexander Lyaletski, Mykola Nikitchenko

http://www.foibg.com/ibs_isc/ibs-26/ibs-26-p12.pdf