процесс умозаключения, процесс логического умозаключения ( в искусственном интеллекте ) ; формирование вывода, формирование логического вывода; умозаключение
- backward inferencing
- data-driven inferencing
- forward inferencing
- goal-driven inferencing