自动推论
_
automating reasoning
пословный:
自动 | 推论 | ||
1) самодвижущийся, самоходный, автоматический (в сложных терминах также соответствует русским приставкам: авто-, само-)
2) по собственной инициативе; добровольно
|
1) выводить заключение; умозаключение, вывод; следствие
2) суждение; судить по аналогии; расширять рамки вопроса
|