Вычисление оптимальных ответов на запросы к нечетким базам фактов, применение метода аналитических таблиц. Процесс нахождения оптимальных общих ответов, вычисление блокирующих фактов. Составление блокирующей пары и основные условия её опровержимости.