Terms for subject Information technology containing reasoning

English	Russian
approximate reasoning	приблизительные рассуждения
automated reasoning	автоматизация формулирования логических выводов
backward reasoning	рассуждение в обратном порядке
bottom-up reasoning	вывод от фактов к цели
case-based reasoning	доказательная аргументация
case-based reasoning	рассуждения на основе прецедентов (являются методом решения новых проблем на основе уже известных решений. Рассуждения на основе известных ситуаций являются частным случаем рассуждений по аналогии. Alex_Odeychuk)
case-based reasoning	вывод, основанный на прецедентах
common sense reasoning	рассуждения на основе " здравого смысла"
commonsense reasoning	рассуждения на основе "здравого смысла"
deductive reasoning	дедуктивные рассуждения
default reasoning	рассуждение по умолчанию
enumerative reasoning	доказательство методом перебора вариантов
exact reasoning	строгие рассуждения
formal reasoning	формальные рассуждения
formal reasoning	рассуждения на формальном уровне
fully reasoning	полный вывод
hypothetical reasoning	рассуждения на основе выдвижения и проверки гипотез
hypothetical reasoning	рассуждения на основе гипотез
immediate reasoning	непосредственное умозаключение
immediate reasoning	непосредственный вывод
inexact reasoning	нестрогие рассуждения
integrating reasoning	обобщающие рассуждения
line of reasoning	цепочка рассуждений (приводящая к решению задачи)
line of reasoning	цепь рассуждений (приводящая к решению задачи)
line of reasoning	цепочка вывода
memory-based reasoning	вывод путём сопоставления
meta-level reasoning	рассуждения на мета-уровне
model-based reasoning	рассуждения на основе модели (предметной области)
monotonic reasoning	монотонный вывод
nonmonotonic reasoning	немонотонное умозаключение
plausible reasoning	правдоподобные рассуждения
procedural reasoning	рассуждения с использованием процедур
reasoning agent	мыслящее исполнительное устройство
reasoning by analogy	рассуждения по аналогии
reasoning chain	цепь рассуждений
reasoning chain	последовательность выводов
reasoning chain	цепочка рассуждения (в СИИ)
reasoning procedure	процедура доказательства
reasoning system	разумная система
reasoning technique	метод автоматических рассуждений
reasoning technique	метод автоматических рассуждений
taxonomic reasoning	таксономические рассуждения
taxonomic reasoning	классификационные рассуждения