Понятие и назначение семантических сетей

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