Сети с вершинами связи

За основу взяты семантические сети с вершинами связи («пропозициональными» вершинами). Они состоят из вершин D, которые соответствуют объектам, классам объектов, типам отношений, конкретным ситуациям, логическим составляющим. Всему, что рассматривается как самостоятельная единица, соответствует своя вершина. Множество вершин делится на непересекающиеся подмножества D=G\JX\JS, где G - определенные вершины (овершины), X - неопределенные (wвершины) и S - спецвершины. Овершины сопоставляются распознанным объектам, ситуациям, выявленным отношениям, логическим составляющим истинности (t) и лжи (/), а «вершины - нераспознанным, невыявленным, разного рода переменным. Спецвершины 5 = ?} служат для представления неупомянутых компонент (і_і) и вопросительных форм - знак «?» указывает, что нужно искать.

Помимо перечисленных вершин, вводятся специального рода «развязывающие» элементы, называемые вершинами связи. Каждый такой элемент связывается ребрами с вершинами из D. Ребра метятся номерами или же семантическими падежами отношения. При этом специально выделяются ребра, которые подсоединяются к вершинеотношению (rD), вершинелогической составляющей (piX{t, /}) и вершинеситуации (d0D). В результате образуется элементарный фрагмент (ЭФ), который записывается в виде кортежа (d0, pt, rh du ., dk), где du dh(= efl соответствуют объектам отношения. Множества ЭФ образуют сети, которые записываются в виде наборов кортежей.

Специально выделяются ЭФ, представляющие результат уточнения неопределенного объекта множеством других объектов. Такие ЭФ называются зсетями, задающими значения «вершин (типовое понятие значения переменной распространяется на множество). Допускается уточнение пар, троек, ., пк. Помимо уточнения, зсети обеспечивают представление групповых отношений между множествами.

Введенные сети обеспечивают широкие возможности в плане согласованного представления как конкретной, так и обобщенной информации, что облегчает задачу ее автоматического ввода в МС. При этом логические связки, арифметические и другие операции рассматриваются как отношения, которые представляются с помощью обычных ЭФ. Действия тоже рассматриваются как отношения соответствующей арности. Кванторы (быть каждым, быть каким-либо и др.) рассматриваются как отношения, но служебного характера. Для выделения областей действия кванторов и указания ограничений на множества, которые «пробегают» переменные, используется понятие связанной сети. В связанной сети от любой вершины имеется путь через развязывающие элементы и мвершины к любой другой вершине. При таком способе не требуется специальных средств выделения, обеспечивается необходимая однородность представления.

Для более точного представления вопросов и разного рода гипотез вводится понятие гсети («семантического графа»). Такие графы являются более общим средством по сравнению с сетями. В гсетях дополнительно указывается направление поиска неопределенных компонент, а в ряде случаев - и возможные результаты, т. е. что должно получиться.