обратное (логическое) умозаключение ( в экспертной системе ) , обратная цепочка (умо)заключений
BACKWARD CHAINING
Англо-русский перевод BACKWARD CHAINING
English-Russian dictionary of mechanical engineering and automation 2. Англо-Русский словарь по машиностроению и автоматизации производства 2. 2003