Блочная (partitioned) семантическая сеть

(далее — БСС) предложена Г. Г. Хендриксом (G.G.Hendrix). БСС [Hendrix, 1979] представляет собой помеченный связный направленный ациклический граф, в котором выделяются три типа структурных единиц: блоки, вершины и помеченные дуги. Вершины БСС представляют объекты, а помеченные дуги — бинарные отношения между объектами. Каждый блок имеет вершину входа и содержит одну или несколько вершин, связанных между собой помеченными дугами. Каждая вершина и дуга БСС принадлежит одному или нескольким блокам. Комбинацию нескольких блоков называют «видом». Разбиение БСС на блоки позволяет создавать иерархию видов, причем вид наследует информацию родительского вида. В БСС могут быть представлены блоки логических операций отрицания, дизъюнкции и импликации. Логическая операция конъюнкции реализуется при помощи механизма наследования. Одной из важных особенностей БСС является ее способность представления произвольно сгруппированных кванторов всеобщности и существования.

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