ПРОДУКЦІЙНІ СИСТЕМИ

Продукцією називається вираз виду

в якому / - ім'я продукції, Q - покажчик сфери застосування продукції, Д- передмову, т. е. умова застосування продукції, А ^ В - ядро продукції, N - постусловіем, т. е. ті дії, які необхідно виконати, якщо ядро продукції було активізовано. Деякі елементи продукцій, за винятком ядра, можуть не використовуватися в продукційних системах. Обумовлена нижче формальна система служить для представлення саме таких продукційних систем. Точніше, тих з них, в яких продукції складаються з єдиного елемента - ядра продукції А-> В. Цю формальну систему називають формальною продукционной системою, або формальної системою продукцій.

Формальна продукційна система є розширенням іншої формальної системи - логіки висловлювань, в яку вводяться додаткові аксіоми (для кожного факту і кожної продукції по одній аксіомі). Формальна система продукцій визначається наступним чином.

• 1. Алфавіт поряд зі зв'язками -i, - "і дужками (,) містить рівно стільки пропозіціональних символів, скільки різних посилок і висновків є в продукціях формализуемой виробничої системи.
• 2. Синтаксичні правила , т. Е. Правила побудови формул, ті ж, що і в логіці висловлювань.
• 3. Аксіоми включають всі аксіоми логіки висловлювань, а також аксіоми:

які відповідають усім фактам і правилам, які є в продукционной системі. Тут р, - позначення / -го факту бази даних виробничої системи, а й - позначення посилки і укладання ji продукції бази знань виробничої системи.

4. Правило виводу той же, що в логіці висловлювань - modus ponens.

Можливість такої формалізації виробничої системи вказує

на можливість подання та реалізації цілей виробничої системи засобами мови логічного програмування PROLOG.