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