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

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

База знаний - совокупность из 4-х множеств (M = <T, P, A, B>)

T - алфавит, словарь

P - множество формул или синтаксических правил

A - аксиомы (множество априори истинных конструкций, построенных из элементов словаря с использованием синтаксических правил)

B - множество правил вывода (набор правил, которые мы можем применять к аксиомам, чтобы получать синтаксически верные конструкции)

С помощью этих 4-х множеств можно создать как открытую, так и закрытую базу знаний.