Page 68 - 6109
P. 68
1. Детерміновані
2. Недетерміновані
У детермінованих ядрах при актуалізації ядра і при здійснимості лівої
частини права частина ядра виконується обов'язково. У недетермінованих ядрах
права частина може виконуватися і не виконуватися. Таким чином секвенції в
детермінованих ядрах реалізуються з необхідністю, а в недетермінованих - з
можливістю.
Приклад: Інтерпретація ядра в цьому випадку може, наприклад,
виглядати так: ЯКЩО А, ТО МОЖЛИВО В.
Можливість може визначатися деякими оцінками реалізації ядра.
Приклад: Якщо задана вірогідність виконання В при актуалізації А, то
продукція може бути такою: ЯКЩО A, ТО З ВІРОГІДНІСТЮ p РЕАЛІЗУВАТИ
B.
У простому випадку продукція складається лише з ядра. Оцінка реалізації
ядра може бути лінгвістичною, пов'язаною з поняттям множини терма
лінгвістичною змінною.
Приклад: ЯКЩО A, ТО З СИЛЬНОЮ ЧАСТКОЮ ВІРОГІДНІСТІ
РЕАЛІЗУВАТИ B
Можливі інші способи завдання оцінки реалізації ядра.
Детерміновані продукції можуть бути однозначними і альтернативними. у
другому випадку в правій частині ядра указуються альтернативні можливості
вибору, які оцінюються спеціальними вагами вибору.
Як ваги вибору можуть використовуватися імовірнісні, лінгвістичні,
експертні оцінки і т.п.
Приклад: ЯКЩО А, ТО НАЙЧАСТІШЕ ПОТРІБНО РОБИТИ В1, РІДШЕ
В2.
Особливим типом є прогнозуюча продукція, в яких описуються наслідки,
очікувані при актуалізації A.
Приклад: ЯКЩО А, ТО З ВІРОГІДНІСТЮ p МОЖНА ЧЕКАТИ В.
Системи продукцій широко поширені в ЕС.
7.2 Пряме та зворотне виведення
Існують дві основні стратегії логічного виведення в продукційних
системах:
– пряме;
– зворотне.
Пряме виведення на основі наявних правил передбачає аналіз: 1) усіх
наслідків з фактів, 2) наслідків з наслідків і т. д. Процес продовжується поки не
буде встановлено істинність або хибність запиту користувача.
Наприклад, нехай є продукції А =>В та В=>С користувач оголосив про
істинність факту А і спитав про істинність С. Ланцюжок прямого виведення
матиме вигляд: з А виводиться В, з В виводиться С, отже С — істинне.
Пряме виведення не вважається ефективним через те, що може
перебиратися чимало безперспективних продукцій, і, відповідно, породжується
дуже багато зайвих проміжних результатів. Експертні системи на основі
68