Эта публикация цитируется в 2 статьях

Часть 1. Общие проблемы теории интеллектуальных систем

Введение в логические процессы. Представление задач в решателе

А. С. Подколзин

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: В статье описывается интерфейс решателя математических задач; рассказывается о логической системе "Искра"; описывается логический язык, используемый в решателе; рассказывается как осуществляется логическая формализация задач.

Ключевые слова: решатель математических задач, логические процессы, логический язык, логическая формализация задач