Аннотация:В интеллектуальных системах математическая модель проблемной областиявляется избыточной моделью в форме среды радикалов. такая модель описывает все составляющие и их связи в проблепмной области. В связи с этим правильность таких описаний должна систематически проверяться, тестироваться. Например, частные модели на адекватность, предикатные формулы на истинность, задачи на корректность, методы на устойчивость, алгоритмы на сложность, программы должны быть верифицированы и проверены на антивирус и т.д. Все это целенаправленно организовано в среде радикалов через активирующую систему и введения в среду радикалов специализированных радикалов-задач и радикалов-методов, которые систематически осуществляют сертификацию всех частей среды радикалов. В целом процесс сертификации среды радикалов направлен на сохранение целостности избыточной модели, на обнаружение и устранение конфликтов в среде радикалов. Это приводит к сохранению ГОМЕОСТАТА проблемной области.