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

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

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

T - алфавит, словарь P - мн-во формул или синтакцических правил A - аксиомы B - мн-во правил вывода

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