4.3.2. СИСТЕМА ОЦЕНКИ НАДЕЖНОСТИ СООРУЖЕНИЙ, ИСПОЛЬЗУЮЩАЯ ЯЗЫК FRIL
При оценке надежности сооружений важно в какой-либо количественной форме представить неопределенности. Однако неопределенные факторы, которые следует принять к рассмотрению, имеют самую разнообразную природу с точки зрения причин их возникновения, особенностей и т. п. При их комплексной оценке в любом случае мы вынуждены доверять мнению специалистов. Даже если объекты, с которыми имеет дело человек, неопределенны, неясны, возможна их комплексная оценка, позволяющая интерпретировать их сущность и различать их особенности, что восполняет нехватку информации и недоработку моделей.
Для того чтобы, используя подобные способности человека, рассматривать надежность сооружений в более универсальной форме, предложена экспертная система, применяющая язык нечетких выводов FRIL [13]. С целью исключения сложных вычислений в этом языке реализованы идеи нечетких выводов (называемые также приближенными рассуждениями). Нечеткие выводы определяются в самой общей форме, поэтому их можно применять также в медицине, экономике, социологии и в других областях.
Данная экспертная система состоит из базы правил и блока автоматических нечетких выводов. Необходимую информацию каждый раз вводит пользователь. Главной особенностью этой системы является использование в блоке нечетких выводов логики отрицания («модус толленс»). Это следующий вид правила вывода: если для тезиса «Р (предпосылка) -> Q (заключение)» задано отрицание Q заключения Q, то в результате получается Р. В данной системе Р и Q определяются через нечеткие множества с нечеткими значениями истинности.
На простом примере поясним процесс выводов. Пусть в качестве правила задано утверждение: если 
- сооружение спроектировано с учетом правил безопасности», то 
- сооружение имеет малую вероятность повреждения при каких-либо граничных условиях» считается 
абсолютно
истинным». Здесь S, NP, tabs соответствуют предпосылке, заключению и нечеткому значению истинности. При этом если получена информация «сооружение имеет большую вероятность повреждения», то в качестве результата будет выведено, что «сооружение не безопасно» с « 
(например, истине)».
В прототипной системе [14] для получения заключения об S из многочисленных правил использованы логические соотношения. В новой системе предусмотрено повышение эффективности вычислений за счет виртуальных правил. Кроме того, с целью повышения точности вычислений применены два различных метода выводов: вывод, при котором в случае успеха учитывается только увеличение степени достоверности, и вывод, при котором в случае неудачи принимается во внимание только уменьшение степени достоверности.
