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