16. Алфавит и синтаксис формального фактографического языка семантических сетей.

Основными ключевыми понятиями языка являются такие понятия, как множество, знак множества и изображение знака множества. Далее по значимости идут такие понятия, как пара принадлежности и предмет. Пара принадлежности трактуется как ориентированное множество специального типа, имеющее мощность, равную двум. Понятие предмета также сводится к понятию множества - каждый предмет заменяется множеством, состоящим только из этого предмета. Система множеств трактуется как множество частного вида и является способом формального уточнения трактовки всевозможных структур.

Алфавит языка:

изображение знака множества (изображение SCB-элемента не уточняемого типа)
изображение знака пары принадлежности (изображение дуги принадлежности)
изображение знака узлового множества (изображение узла не уточняемого типа)
изображение знака предметного множества (изображение предметного узла)
изображение знака узлового непредметного множества (изображение непредметного узла)
изображение знака пары непринадлежности (изображение дуги непринадлежности)
изображение знака пары нечеткой принадлежности (изображение дуги нечеткой принадлежности)
изображение знака пары синонимии (изображение ребра синонимии)
изображение знака пары несинонимии (изображение ребра несинонимии)
изображение знака пары нечеткой синонимии (изображение ребра нечеткой синонимии)
изображение знака неориентированной пары (изображение ребра неуточняемого типа)
изображение знака простой неориентированной пары (изображение дуги неуточняемого типа)
изображение знака семейства пар принадлежности
изображение знака семейства узловых множеств
изображение знака семейства предметных множеств
изображение знака семейства узловых непредметных множеств
изображение знака системы множеств

Семантика:

Error: Reference source not found. Дуга принадлежности не может выходить из дуги принадлежности и, в частности из самой себя, т.е. запрещена конструкция вида

Error: Reference source not found. Дуга принадлежности не может выходить из предметного узла.

Error: Reference source not found. Дуга принадлежности не может выходить из узла неопределённого типа.

═

Error: Reference source not found. Дуга принадлежности не может выходить из SCB-элемента неопределённого типа.

═

Error: Reference source not found. Дуга принадлежности не может входить в саму себя.

Error: Reference source not found. Дуга принадлежности может входить в SCB-элемент любого типа. Т.е. могут существовать конструкции вида

Error: Reference source not found. SCB-элемент, из которого дуга принадлежности выходит, и SCB-элемент, в который дуга принадлежности  входит, могут совпадать. Т. е. может существовать конструкция  вида

Но в силу свойств 1-4 не могут существовать конструкции вида