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

Формальные и неформальные модели в инженерии отличаются подходом к представлению знаний. studfile.info dspace.www1.vlsu.ru

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

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

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

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