От математической логики к языкам программирования искусственного интеллекта
eKhNUIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
От математической логики к языкам программирования искусственного интеллекта
|
|
| Creator |
Куклин, В.М.
|
|
| Subject |
Research Subject Categories::HUMANITIES and RELIGION::History and philosophy subjects::History subjects::History of science
теория предикатов гиперграфы И/ИЛИ язык программирования ПРОЛОГ |
|
| Description |
Рассмотрен процесс становления теории экспертных систем на примере формирования языка программирования искусственного интеллекта ПРОЛОГ. Показан сложный путь осознания проблем искусственного интеллекта и мотивы, которые привели к появлению экспертных систем, построенных на основе математической логики. Обсуждаются основные идеи и процедуры, которые привели к построению сначала отдела математической логики - теории предикатов, представлению процедур этой теории на гиперграфах и затем к созданию языка ПРОЛОГ. Отмечается прогресс в развитии интеллектуальных систем и проблемы, которые стоят перед исследователями.
|
|
| Date |
2018-10-08T11:10:08Z
2018-10-08T11:10:08Z 2017 |
|
| Type |
Article
|
|
| Identifier |
Куклин В.М. От математической логики к языкам программирования искусственного интеллекта / В.М. Куклин // CS&CS. 2017. Issue 1 (5) p. 40–52.
http://dspace.univer.kharkov.ua/handle/123456789/14303 |
|
| Language |
ru
|
|