Page 90 - 6109

Але частіше правило (A  В)  C замінюють двома правилами A  C,
BC і далі застосовують формули комбінування свідоцтв, описані нижче.
Комбінування свідоцтв. Нехай ми маємо два правила зі спільною правою
частиною: A  C, B  C. З використанням раніше наведених формул ми
можемо розрахувати два коефіцієнти упевненості для висновку С. Нехай за
першим правилом ми отримали коефіцієнт упевненості  1, а за другим –

коефіцієнт упевненості  2. Як поєднати ці два коефіцієнти упевненості та
отримати комбінований коефіцієнт ?
Схема EMYCIN розрізняє три випадки:
Випадок 1:  1  0;  2  0. Це означає, що обидва правила свідчать в

одному напрямі на користь висновку, і, таким чином, підсилюють одне одного.
Тоді комбінований коефіцієнт розраховується за формулою:
 =  1 +  2 –  1 2
Випадок 2:  1  0;  2  0. Обидва правила свідчать проти висновку.

Комбінований коефіцієнт розраховується за формулою
 =  1 +  2 +  1 2
Випадок 3: коефіцієнти різного знака. Маємо суперечність: одне правило
свідчить на користь висновку, а інше – проти нього. Тоді комбінований
коефіцієнт обчислюється за формулою:
  
  1 2
1 min(  , )
1 2
(результат визначається вагомішим свідченням, але його вплив дещо по-
слаблюється).
Сьогодні не існує абсолютно досконалого і загальноприйнятого меха-
нізму логічного виведення при недостовірних даних.

90