Рассматривается метод вывода модифицируемых заключений на знаниях, представленных в форме логических выражений. Приводится постановка задачи и описание этапов выполнения логического вывода. Описываются особенности метода для исчисления предикатов первого порядка, дается пример вывода модифицируемыхзаключений.
