Логические модели представления знаний: Введение в теорию