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