Вывод (Inference)

Получение новых информационных единиц из ранее известных. Частным случаем вывода является логический вывод.