Несколько правил, используемых последовательно

Механизм дополнения - это другой способ вычисления коэффициента определенности заключения, поддерживаемого несколькими правилами импликации. Он используется в случае, когда сведения о разрешенных к применению правилах поступают последовательно, а не одновременно. Например, если система задает пользователю вопросы, то задействование новых правил будет происходить по очереди.

Рассмотрим пример. Допустим, известно, что заключение поддерживается двумя правилами со следующими коэффициентами определенности:

Правило 1: ЕСЛИ (e1), ТО (c) сt (заключение)= сt1.

Правило 2: ЕСЛИ (е2), ТО (с) сt (заключение)= сt2.

При применении двух правил совокупный коэффициент определенности

ctotal = сt1 + сt2 - сt1 * сt2

Теперь предположим, что появилось третье правило, поддерживающее то же заключение:

Правило 3: ЕСЛИ (е3), ТО (с) сt (заключение) = сt3.

Если все, что получено из предыдущего исследования, входит в переменную ctotal, и если считается, что сt3 может войти в рассуждения на общих основаниях, то можно использовать стратегию дополнения для формирования измененной оценки коэффициента определенности заключения:

cnewtotal = сt3 + ctotal - ct3 * ctotal

Перемножив все компоненты этой формулы, мы увидим, что:

cnewtotal = сt3 + (сt1 + сt2 - сt1 * сt2) - сt3 * (сt1 + сt2 - сt1 * сt2) =

= сt1 + сt2 + сt3 - сt1 * сt2 - сt1 * сt3 - сt2 * сt3 + сt1 * сt2 * сt3.

Очевидно, что это в точности тот же вывод, к которому мы пришли ранее, комбинируя свидетельства, полученные одновременно. Наш вывод, если его обобщить, имеет два важных приложения:

В любом случае при использовании механизма дополнения порядок поступления правил, поддерживающих заключение, не имеет значения.

Можно объединять коэффициенты определенности из поддерживающих импликаций последовательно по мере их поступления или сохранять информацию, а затем использовать ее всю сразу - результат от этого не меняется.

Практически сеть рассуждений меняется, как только поступают новые сведения. Поэтому сохранять нужно лишь совокупный коэффициент определенности для каждого заключения, что обеспечивает наиболее экономный способ поддержки информационного обеспечения ЭС.