Abstract. V.M. Glushkov’s general approaches to the problem of artificial intelligence are considered. In particular, the history of investigations according to Evidence Algorithm program initiated by V.M. Glushkov is described in detail. Results obtained within this program are analysed.
Keywords: Evidence Algorithm, automated theorem proving, inference search, automated proving system, TL language, ForTheL language.
Летичевский Александр Адольфович ,
академик НАН Украины, профессор, заведующий отделом Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: let@iss.org.ua.
Лялецкий Александр Вадимович ,
кандидат физ.-мат. наук, старший научный сотрудник Киевского национального университета имени Тараса Шевченко,
e-mail: forlav@mail.ru.
Мороховец Марина Константиновна,
кандидат физ.-мат. наук, доцент Национального технического университета Украины «Киевский политехнический институт», старший научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины,
e-mail: mmk@incyb.kiev.ua.