backward chaining

Зворотний логічний висновок (від мети до вихідних посилань)

Джерело: Англо-український словник технічних термінів на Slovnyk.me