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

Логическая модель представления знаний — модель в представлении знаний.

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

• $B$ — счетное множество базовых символов (алфавит);
• $F$ — множество, называемое формулами;
• $A$ — выделенное подмножество априори истинных формул (аксиом);
• $R$ — конечное множество отношений между формулами, называемое правилами вывода.

Достоинства логических моделей представления знаний

• В качестве «фундамента» здесь используется классический аппарат математической логики, методы которой достаточно хорошо изучены и формально обоснованы.
• Существуют достаточно эффективные процедуры вывода, в том числе реализованные в языке логического программирования Пролог, использующие механизмы автоматического доказательства теорем для поиска и логически осмысленного вывода информации
• В базах знаний можно хранить лишь множество аксиом, а все остальные знания получать из них по правилам вывода, а также Данные, факты и другие сведения о людях, предметах, событиях и процессах.

Ссылки

• Логическая модель
• Логическая модель
• Пролог (язык программирования)
• база знаний
• защита информации

Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Проставить интервики в рамках проекта Интервики.