От математической логики к языкам программирования искусственного интеллекта
Дата
2017
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
Рассмотрен процесс становления теории экспертных систем на примере формирования языка программирования искусственного интеллекта ПРОЛОГ. Показан сложный путь осознания проблем искусственного интеллекта и мотивы, которые привели к появлению экспертных систем, построенных на основе математической логики. Обсуждаются основные идеи и процедуры, которые привели к построению сначала отдела математической логики - теории предикатов, представлению процедур этой теории на гиперграфах и затем к созданию языка ПРОЛОГ. Отмечается прогресс в развитии интеллектуальных систем и проблемы, которые стоят перед исследователями.
Опис
Ключові слова
Research Subject Categories::HUMANITIES and RELIGION::History and philosophy subjects::History subjects::History of science, теория предикатов, гиперграфы И/ИЛИ, язык программирования ПРОЛОГ
Бібліографічний опис
Куклин В.М. От математической логики к языкам программирования искусственного интеллекта / В.М. Куклин // CS&CS. 2017. Issue 1 (5) p. 40–52.