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