Metal Gear

Поскольку выходов обычно меньше, чем входов, и поскольку выходы, как правило, проще входов, провести формализацию выходов в большинстве слу^іаев также проще, чем формализацию входов. Помимо этого, формализация выходов позволяет в значительной степени прояснить саму проблему. Следует заметить, что если формализация начинается с выходов, мы считаем, что все входы определены корректно, а система ИИ функционирует безукоризненно.
Затем нужно выполнить формализацию входов, после чего оставшаяся часть работ по формализации становится, как говорится, дело техники. Однако формализация входов сама по себе — это один из самых сложных аспектов процесса формализации (и, как правило, один из основных источников ошибок, неожиданно "выплывающих" на этапе реализации или тестирования). Поэтому к формализации входов нужно отнестись со всей серьезностью.
На финальной стадии процесса формализации выполняется моделирование вспомогательных переменных контекста. Следует заметить, что эти переменные также могут неявно воздействовать как на входы, так и на выходы. Однако контекст в большинстве случаев определяют скорее абстрактно, чем явно, поскольку этого вполне достаточно для формализации и создания архитектуры системы, решающей поставленную проблему.