Від математичної логіки до мов програмування штучного інтелекту

Анотація

Розглянуто процес становлення теорії експертних систем на прикладі формування мови програмування штучного інтелекту ПРОЛОГ. Показаний складний шлях усвідомлення проблем штучного інтелекту і мотиви, які привели до появи експертних систем, побудованих на основі математичної логіки. Обговорюються основні ідеї і процедури, які привели до побудови спочатку відділу математичної логіки - теорії предикатів, поданням процедур цієї теорії на гіперграфах і потім до створення мови ПРОЛОГ. Відзначається прогрес у розвитку інтелектуальних систем та проблеми, що стоять перед дослідниками.