twórców systemów ekspertowych do formalizacji samych problemów, które należy rozwiązać. Perspektywa stosowania ekspertowych systemów wykorzystujących modele formalne dla rozwiązywania zadań diagnozy i kreowania odpowiedzi wydaje się realna i niezbyt odległa w czasie.<br>Realizacja systemu oznacza po prostu implementację przyjętych struktur w taki sposób, aby osiągnąć założone cele. Na tym etapie dokonuje się korekt i modyfikacji, aby optymalnie dopasować struktury formalne do charakterystyki przepływu informacji w systemie.<br>W trakcie weryfikacji dokonuje się oceny pracy systemu, według przyjętego kryterium jakości i poprawności działania. Najczęściej okazuje się, że dopiero któraś z kolejnych wersji spełnia oczekiwania. Dopóki to nie nastąpi, zachodzi potrzeba powrotu do etapów wcześniejszych