интерпретация "от фактов"; вывод снизу-вверх. В логическом программировании (logic programming) и продукционных системах (productions system) - процедурная интерпретация правила вида "если A то B", при которой добавление в базе знаний (knowledge base) факта A вызывает добавление в нее факта B.
BELIEF-INVOKED INTERPRETATION
Англо-русский перевод BELIEF-INVOKED INTERPRETATION
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012