Процесс поиска решения задачи, заключающийся в выводе утверждений путем подстановки в общие утверждения других известных частных утверждений называется:
Другие предметы Колледж Логика и методы вывода интеллектуальные информационные системы ИИС колледж дедуктивный вывод индуктивный вывод абдуктивный вывод методы вывода логические системы обучение ИИС решение задач ИИС
Процесс, который вы описали, называется дедуктивным выводом. Давайте разберемся, почему именно это название подходит для описанного процесса.
Таким образом, если вы подставляете известные частные утверждения в общие утверждения для получения конкретных выводов, это процесс дедуктивного вывода.