виконуватися, тобто бути істинними, для того, щоб правило
було активізованим.
Правило 12 визначає передбачену змінну Р, яка є цільовою
змінною. Ми допускатимемо, що менеджер надає значення
для змінних-умов: А, С, G, І у правилах 1, 2, 5 і 6 перед
оцінюванням решти правил механізмом висновків. Менеджер
присвоює значення «істинності» для змінної А правила 1,
значення «хибності» для змінної С у правилі 2, значення
«істинності» для змінної G у правилі 5 та значення «хибності»
для змінної І у правилі 6.
На рис. 9.4 різними контурами прямокутників позначені
прогони, протягом яких правила можуть бути оцінені як
істинні або хибні. У цьому прикладі всі правила
активізуються протягом трьох прогонів. На четвертому
проході правила не активізуються й доведення зупиняється.
Як тільки правило 12 було активізовано, значення, яке при-
своюється змінній мети Р, стає результатом розв'язку задачі,
наприклад прогнозом обсягу збуту. Якщо система була
неспроможною до активізації правила 12, то це означає, що
для розв'язування задачі недостатньо інформації. У нашому
прикладі правило 12 було активізоване як на другому, так і на
третьому прогонах. Умова М була визначена як «істинна» на
другому проході, а умови К і L були визначені як «істинні» на
третьому проході.
Незважаючи на те, що результат був отриманий на другому
прогоні, процес пошуку розв'язку слід продовжувати, оскільки
наступні активізації могли б удосконалити розв'язок.
Зворотне доведення
У зворотному доведенні (reverse reasoning), що також
називається зворотним формуванням ланцюжка {backward
chainbig), механізм висновків вибирає правило і допускає при
цьому, що проблема розв'язана. Використаємо те саме
правило, що і на попередньому рисунку. Активізація правила
12 є розв'язком проблеми, оскільки воно присвоює значення
змінній мети Р, тобто вважається, що наслідок Р є істинним.
Потрібно, рухаючись у зворотному напрямку, довести, що є
підстави для такого твердження. Як уже зазначалося, за
зворотного доведення ліва частина того правила, що
розглядається, зіставляється з правою частиною наступного у
зворотному ланцюжку правила. Висновок Р буде істинним,
якщо буде істинним принаймні одна із умов лівої частини
правила 12, тобто N або О. Зіставляючи ці умови з правими
частинами решти правил, можна переконатися в тому, що іс-
тинність умови N може бути оцінена правилом 10, а О —
правилом
402