Логический подход к построению систем ИИ

Представление в компьютере неформальных процедур. Языки логического программирования Рефал, Пролог,
К-системы. Элементы нечеткой логики.