С быстрым развитием технологий компьютерное обучение все больше интегрируется с методами искусственного интеллекта с целью разработки более персонализированных образовательных систем. Такие системы известны как интеллектуальные обучающие системы (ИОС). Рассматривается возможность применение логических методов для расширения функционала ИОС. Предлагается метод автоматического получения решения упражнений средствами дедукции языка L. Предлагается метод автоматической генерации упражнений по заданной спецификации средствами абдукции языка L.