интерпретация от фактов, вывод снизу-вверх, рассуждение на основе принятых убеждений В логическом программировании и продукционных системах - процедурная интерпретация правила вида если A то B, при которой добавление в базе знаний факта A вызывает добавление в нее факта B.
интерпретация от цели, рассуждение от цели В логическом программировании и продукционных системах - процедурная интерпретация правила вида если А то В, при которой для достижения цели В делается попытка достичь цель А.