От математической логики к языкам программирования искусственного интеллекта

Скорочена інформація про документ
dc.contributor.authorКуклин, В.М.
dc.date.accessioned2018-10-08T11:10:08Z
dc.date.available2018-10-08T11:10:08Z
dc.date.issued2017
dc.description.abstractРассмотрен процесс становления теории экспертных систем на примере формирования языка программирования искусственного интеллекта ПРОЛОГ. Показан сложный путь осознания проблем искусственного интеллекта и мотивы, которые привели к появлению экспертных систем, построенных на основе математической логики. Обсуждаются основные идеи и процедуры, которые привели к построению сначала отдела математической логики - теории предикатов, представлению процедур этой теории на гиперграфах и затем к созданию языка ПРОЛОГ. Отмечается прогресс в развитии интеллектуальных систем и проблемы, которые стоят перед исследователями.ru_RU
dc.identifier.citationКуклин В.М. От математической логики к языкам программирования искусственного интеллекта / В.М. Куклин // CS&CS. 2017. Issue 1 (5) p. 40–52.ru_RU
dc.identifier.urihttps://ekhnuir.karazin.ua/handle/123456789/14303
dc.language.isoruru_RU
dc.subjectResearch Subject Categories::HUMANITIES and RELIGION::History and philosophy subjects::History subjects::History of scienceru_RU
dc.subjectтеория предикатовru_RU
dc.subjectгиперграфы И/ИЛИru_RU
dc.subjectязык программирования ПРОЛОГru_RU
dc.titleОт математической логики к языкам программирования искусственного интеллектаru_RU
dc.typeArticleru_RU

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
От логики к языкам программирования.pdf
Розмір:
1.09 MB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
7.8 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Наукові роботи. Факультет комп'ютерних наук