Куклин, В.М.2018-10-082018-10-082017Куклин В.М. От математической логики к языкам программирования искусственного интеллекта / В.М. Куклин // CS&CS. 2017. Issue 1 (5) p. 40–52.https://ekhnuir.karazin.ua/handle/123456789/14303Рассмотрен процесс становления теории экспертных систем на примере формирования языка программирования искусственного интеллекта ПРОЛОГ. Показан сложный путь осознания проблем искусственного интеллекта и мотивы, которые привели к появлению экспертных систем, построенных на основе математической логики. Обсуждаются основные идеи и процедуры, которые привели к построению сначала отдела математической логики - теории предикатов, представлению процедур этой теории на гиперграфах и затем к созданию языка ПРОЛОГ. Отмечается прогресс в развитии интеллектуальных систем и проблемы, которые стоят перед исследователями.ruResearch Subject Categories::HUMANITIES and RELIGION::History and philosophy subjects::History subjects::History of scienceтеория предикатовгиперграфы И/ИЛИязык программирования ПРОЛОГArticle