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

Основная идея при построении логических моделей знаний заключается в следующем – вся информация, необходимая для решения прикладных задач, рассматривается как совокупность фактов и утверждений, которые представляются как формулы в некоторой логике. Знания отображаются совокупностью таких формул, а получение новых знаний сводится к реализации процедур логического вывода. В основе логических моделей знаний лежит понятие формальной теории, задаваемое картежем:

· – счетное множество базовых символов (алфавит);

· – множество, называемое формулами;

· – выделенное подмножество априори истинных формул (аксиом);

· – конечное множество отношений между формулами, называемое правилами вывода.

Основные достоинства логических моделей знаний:

· в качестве «фундамента» здесь используется классический аппарат математической логики, методы которой достаточно хорошо изучены и формально обоснованы;

· существуют достаточно эффективные процедуры вывода, в том числе реализованные в языке логического программирования «Пролог»;

· в базах знаний можно хранить лишь множество аксиом, а все остальные знания получать из них по правилам вывода.