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

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

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

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

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

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