консультації). Існує кілька способів представлення знань у ЕС, однак загальним для усіх них є те, що знання представлені в символьній формі (елементарними компонентами представлення знань є тексти, списки й інші символьні структури). Тим самим, у ЕС реалізується принцип символьної природи міркувань, що полягає в тому, що процес міркування представляється як послідовність символьних перетворень.
Найбільш розповсюджений спосіб представлення знань - у вигляді конкретних чинників і правил, по яких з наявних чинників можуть бути виведені нові. Чинники представлені, наприклад, у виді трійок:
(АТРИБУТ ОБ'ЄКТ ЗНАЧЕННЯ).
Такий чинник означає, що заданий об'єкт має заданий атрибут (властивості) із заданим значенням. Наприклад, трійка (ТЕМПЕРАТУРА ПАЦІЄНТ1 37.5) представляє чинник «температура хворого, що позначається ПАЦІЄНТ1, дорівнює 37.5». У більш простих випадках чинник виражається неконкретним значенням атрибута, а якимось простим твердженням, що може бути істинним чи хибним, наприклад: «Небо покрите хмарами». У таких випадках чинник можна позначити яким-небудь коротким ім'ям (наприклад, ХМАРИ) чи використовувати для представлення чиннику сам текст відповідної фрази.
Правила в базі знань мають вид:
ЯКЩО А ТО S, де А - умова; S- дія. Дія S виповнюється, якщо А істинна. Найбільш часта дія S, так само, як і умова, являє собою твердження, що може бути виведено системою (тобто стає їй відомим), якщо істинна умова правила А.
Правила в базі знань служать для представлення евристичних знань (евристик), тобто неформальних правил міркування, вироблюваних експертом на основі досвіду його діяльності.
Простий приклад правила з повсякденного життя:
ЯКЩО небо покрите хмарами
ТО незабаром піде дощ.
Як умова A може виступати або чинник(як у даному прикладі), або кілька чинників A1,...,AN, з'єднані логічною операцією і:
A1 і A2 і ... і AN.
У математичній логіці такий вираз називається кон’юнкцією. Він вважається істинним у тому випадку, якщо істинні всі його компоненти. Приклад попереднього правила з більш складною умовою:
ЯКЩО
небо покрите хмарами і барометр падає
ТО
незабаром піде дощ. (Правило 1).
Дії, що входять до складу правил, можуть містити нові чинники. При застосуванні таких правил ці чинники стають відомі системі, тобто включаються в множину чинників, що називається робочою множиною. Наприклад, якщо чинники «Небо покрите хмарами» і «Барометр падає» уже є в робочій множині, то після застосування наведеного вище правила в нього також включається чинник «Незабаром піде дощ».
Якщо система не може вивести деякий чинник, істинність чи хибність якого потрібно установити, то система запитує про нього користувача. Наприклад:
ЧИ ВІРНО, ЩО небо покрите хмарами?
При одержанні позитивної відповіді від користувача чинник «Небо покрите хмарами» включається в робочу множину.
Існують динамічні і статичні бази знань. Динамічна база знань змінюється згодом. Її вміст залежить і від стану навколишнього середовища. Нові чинники, що додаються в базу знань, є результатом висновку, що складається в застосуванні правил до наявних чинників.
У системах з монотонним висновком чинники, збережені в базі знань, статичні, тобто не змінюються в процесі рішення задачі. У системах з немонотонним висновком допускається зміна чи видалення чинників з бази знань. Як приклад системи з немонотонним висновком можна привести ЕС, призначену для складання перспективного плану капіталовкладення компанії. У такій системі на ваше бажання можуть бути змінені навіть ті дані, що після висновку уже викликали спрацьовування яких-небудь правил. Іншими словами є можливість модифікувати значення атрибутів у складі чинників, що знаходяться в робочій пам'яті. Зміна чинників у свою чергу приводить до необхідності видалення з бази знань висновків, отриманих за допомогою згаданих правил. Тим самим висновок виконується повторно для того, щоб переглянути ті рішення, що були отримані на основі чинників, що були змінені.