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