индуктивный вывод вывод (рассуждения) от фактов к цели.
English-Russian Computer dictionary
monotonic reasoning
монотонный вывод Способ вывода, при котором истинность выведенных высказываний не уменьшается в процессе вывода.
English-Russian Computer dictionary
nonmonotonic reasoning
немонотонный вывод Способ вывода, при котором истинность выведенных высказываний может уменьшаться. Например, утверждения, признанные истинными на одном этапе, могут быть отвергнуты в дальнейшем.