Поиск в словарях
Inference method
стратегия (логического) вывода