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