 |
| Ukrainian | English |
| висновок "від мети до фактів" | backward-chaining (в експертних системах і автоматичному доказі теорем) |
| висновок "від фактів до мети" | forward-chaining |
| висновок міркування від "фактів до мети" | bottom-up reasoning |
| інтерпретація "від фактів" | belief-invoked interpretation |
| інтерпретація "від фактів" | antecedent interpretation |