Логічна модель представлення знань

Логічна модель представлення знаньмодель у представленні знань.

Основна ідея підходу при побудові логічних моделей представлення знань — вся інформація, необхідна для вирішення прикладних завдань, розглядається як сукупність фактів і тверджень, які представляються як формули в деякій логіці. Знання відображаються сукупністю таких формул, а отримання нових знань зводиться до реалізації процедур логічного висновку. У основі логічних моделей представлення знань лежить поняття формальної теорії, кортеж S = < B,F,A,R >, де:

B — зліченна множина базових символів (алфавіт);
F — множина, елементи якої називають формулами;
A — виділена підмножина апріорі справедливих формул (аксіом);
R — зліченна множина відношень між формулами, яку називають правилами висновку.

Переваги логічних моделей представлення знаньРедагувати

Як «фундамент» тут використовується класичний апарат математичної логіки, методи якої досить добре вивчені і формально обґрунтовані.

Існують достатньо ефективні процедури висновку, зокрема реалізовані в мові логічного програмування Пролог. У базах знань можна зберігати лише безліч аксіом, а решту всіх знань отримувати з них за правилами висновку.