Оценка сходимости процедуры обучения

В предыдущем пункте предложена процедура обучения, которая после очередного шага диагностирования изменяет уровень достоверности используемых при поиске неисправностей лингвистических переменной 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).