Архив электронных ресурсов
[Зарегистрироваться]
 

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

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.univer.kharkov.ua/handle/123456789/14303

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

Файлы этого ресурса:

Файл Описание РазмерФормат
От логики к языкам программирования.pdf1,11 MBAdobe PDFЭскиз
Просмотреть/Открыть
Просмотр статистики

Все ресурсы в архиве защищены авторским правом, все права сохранены.

 

Valid XHTML 1.0! Яндекс цитирования DSpace Software Copyright   ©   2002-2008   MIT   and   Hewlett-Packard - Обратная связь