Для облегчения понимания материала данного курса рекомендуется предварительно ознакомиться с курсом "Исчисление предикатов первого порядка для представления знаний".