Лекция № 2. Логические модели представления знаний Логика первого порядка примеры