3.1 Модели представления знаний. Логика предикатов первого порядка