np. PROLOG, C+ + itp.). Ograniczenie się do samego przedstawienia pojęć i relacji jest na ogół niewystarczające. Złożoność zagadnień zmusiła 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