В предыдущем пункте предложена процедура обучения, которая после очередного шага диагностирования изменяет уровень достоверности используемых при поиске неисправностей лингвистических переменной yi Î Y в соответствии с (8.26).
Утверждение 8.4. Достоверность диагностирования на основе модели (8.1), удовлетворяющей условиям:
полноты
,
начальной достоверности
,
диагностических процедур (см. п. 8.5, п. 8.7) и процедуры обучения (8.26) с вероятностью единица сходится к величине p*:
, (8.27)
где
(8.28)
– достоверность диагностирования за k шагов, причем
p* ³ pinc.
Доказательство: Рассмотрим диагностирование относительно произвольной неисправности el Î E. Из (8.25) и (8.28) следует,
p* ³ pa. (8.29)
Согласно процедуре классификации (см. п. 8.5.2),
,
где l – номер класса нечеткой эквивалентности , в который включен вероятностно-лингвистический синдром при классификации.
Следовательно, в силу (8.23)
,
Рассмотрим значения достоверности, получаемые на основании процедуры (8.26):
,
,
,
………………………………………………………………..
. (8.30)
На основании (8.30) среднее значение достоверности идентификации i–го признака yi значением Tij Î Ti при наличии в объекте неисправности el Î E и проверке pm Î P* за K актов диагностирования:
.
Найдем :
.
(8.31)
Очевидно, что
,
но , а – предел суммы бесконечно убывающей геометрической прогрессии с k–м членом , поэтому:
.
Поэтому первое слагаемое правой части выражения (8.31) равно нулю.
Рассмотрим второе слагаемое правой части выражения (8.31) и преобразуем его следующим образом: сгруппируем слагаемые, стоящие под знаком предела и имеющие в своем составе в качестве сомножителя равные друг другу значения достоверности , , обозначив их соответственно , , вынесем за скобки:
……………………………………………
……………………………………………
, (8.32)
где G – число различных между собой значений достоверности , , ;
, – значение достоверности, которому равны значения достоверности , .
Таким образом, – маргинальная последовательность индексов (подпоследовательность последовательности ). Очевидно, что
.
Так как
,
то выражение (8.32) равносильно выражению:
.
Следовательно
.
Учитывая, что , имеем
.
но с учетом (8.29) это значит, что
. (8.33)
Принимая во внимание (8.26) и (8.23), на основании (8.33) получаем:
,
что означает истинность (8.27).