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