Чем отличаются формальные и неформальные модели в инженерии?

Формальные и неформальные модели в инженерии отличаются подходом к представлению знаний. 12

Формальные модели основаны на строгой математической теории. 12 Логический вывод в таких системах строг и корректен, так как подчинён жёстким аксиоматическим правилам. 12 Формальные модели универсальны, подходят для решения задач в разных областях. 12

Неформальные модели не придерживаются строгой математической теории. 12 Каждая такая модель предназначена для конкретной предметной области, поэтому не обладает универсальностью, которая присуща формальным моделям. 12

Кроме того, в формальных моделях вывод элементов покрытия можно определить количественно. 3 В неформальных моделях вывод зависит от опыта, интуиции и воображения специалиста, использующего их, поэтому такой показатель нельзя определить точно. 3

Например, в процессе поиска технического решения в инженерии часто используют неформальные, творческие подходы, где большое значение имеют опыт и интуиция проектировщика. 4