Аннотация.
Рассмотрены общие подходы В.М. Глушкова к проблеме искусственного интеллекта. В частности, подробно освещена история исследований по программе «Алгоритм очевидности», инициированной В.М. Глушковым. Проанализированы результаты, полученные по этой программе.
Ключевые слова: Алгоритм очевидности, автоматизация доказательства теорем, поиск логического вывода, система автоматизации доказательства, язык TL, язык ForTheL.
Летичевский Александр Адольфович ,
академик НАН Украины, профессор, заведующий отделом Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: let@iss.org.ua.
Лялецкий Александр Вадимович ,
кандидат физ.-мат. наук, старший научный сотрудник Киевского национального университета имени Тараса Шевченко,
e-mail: forlav@mail.ru.
Мороховец Марина Константиновна,
кандидат физ.-мат. наук, доцент Национального технического университета Украины «Киевский политехнический институт», старший научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины,
e-mail: mmk@incyb.kiev.ua.