Для побудови ПС експерт виявляє в предметній галузі (ПГ) дані, необхідні для роботи системи, та заносить їх до бази даних (БД). Потім на основі правил міркувань формуються продукції та заносяться у базу правил (БП). За допомогою процедурних правил програмується робота модулю управління (МУ), щоб він крок за кроком імітував хід дій експерта, застосовуючи задану стратегію виведення. За допомогою декларативних правил МУ повідомляється логічний висновок, зроблений експертом на основі названих в умові правил вихідних даних. Таким чином ПС – це сукупність продукцій з доданими правилами їх застосування.
Тип структур в БП та БД залежить від ПГ. Використовуються, наприклад, висловлення логіки предикатів, фрейми для опису фактів і тверджень.
У МУ використовуються пряма, обернена або двонаправлена стратегії виведення (див. Лекцію 8).
ПС функціонує, поки не дійде до термального стану або не зупиниться через відсутність необхідної продукції. Формально виведення в ПС має вигляд:
де - множині правил-продукцій, , - поточний та наступний стан БД, - логічний перехід обумовлений відповідним правилом.
Можливі конфлікти (наприклад, наявність декількох правил, що можна застосувати для переходу на поточному кроці виведення) обмежуються за кількістю введенням метапродукцій, встановленням ділянок компетенції, керуванням за іменами та усуваються визначенням пріоритетів продукцій, вибором продукції за частотою використання і т.п.
Приклад: (зворотне виведення, пріоритет продукції задається її номером)
БД: істинні факти A і F.
БП: 1. ; 2. ; 3. ; 4. ; 5. ; 6. ; 7. .
Мета: дізнатися чи істинне Н.
Рішення:
1. Пошук Н у БД. Такого факту в БД немає. Пошук Н у правій частині правил з БП. Одне правило: Н істинне якщо істинне G.
2. Пошук G у БД. Такого факту в БД немає. Пошук G у правій частині правил з БП. Два правила (2 і 3). Конфлікт. Обираємо правило (2) з вищим пріоритетом. G істинне якщо істинні D i F.
3. Пошук D у БД. Такого факту в БД немає. Пошук D у правій частині правил з БП. Одне правило: D істинне якщо істинні A, B i C.
4. Пошук A у БД. А істинне.
5. Пошук B у БД. Такого факту в БД немає. Пошук В у правій частині правил з БП. Одне правило: B істинне якщо істинне F.
6. Пошук F у БД. F істинне. Запис у БД: B істинне.
7. Пошук C у БД. Такого факту в БД немає. Пошук С у правій частині правил з БП. Одне правило: С істинне якщо істинне В.
8. Пошук B у БД. B істинне. Запис у БД: С істинне.
9. З пункту 6. Запис у БД: D істинне.
10. Пошук F у БД. F істинне. З пункту 4 запис у БД: G істинне.