Analysis and Synthesis of Control Systems

Generation of tasks for intelligent tutoring system based on abductive and deduction methods

N. Morozov

V.A. Trapeznikov Institute of Control Sciences of RAS, Moscow

Abstract: With the rapid development of technology, computer learning is increasingly being integrated with artificial intelligence methods in order to develop more personalized educational systems. These systems are known as Intelligent Learning Systems (ITS). The possibility of using logical methods to expand the ITS functionality is considered. A method of automatic generation of exercises by means of deduction of the L language is proposed. A method of automatic generation of exercises according to a given specification by means of abduction of the L language is proposed.

Keywords: intelligent tutoring systems, abductive reasoning, deductive inference, artificial intelligence, intelligent control, mathematical logic.

UDC: 519.7 + 37.04
BBK: 32.813

Received: November 12, 2021
Published: July 31, 2022

DOI: 10.25728/ubs.2022.98.3