Логико-вычислительная семантическая сеть

(далее — ЛВС-сеть) предложена автором настоящей статьи. ЛВС-сеть [Яловец, 2006] представляет собой простой ациклический конечный однонаправленный связный граф, в котором каждой вершине ставится в соответствие четыре атрибута: идентификатор вершины, имя вершины (объекта), имя метода и тип вершины, а дуги отображают бинарные отношения, существующие между объектами. Если имя вершины, имя метода и тип вершины могут быть не уникальными в ЛВС-сети, то идентификатор каждой вершины ЛВС-сети является уникальным и формируется в результате конкатенации указателя типа вершины, имени вершины и имени метода [Яловец, 2006]. Дуги ЛВС-сети являются непомеченными и отображают семантические, логические и вычислительные отношения (связи), существующие между объектами. Логика, положенная в основу ЛВС-сети, построена на трех основных операциях: конъюнкции, полной дизъюнкции и отрицания. Отметим, что логическая операция полной дизъюнкции введена А. А. Зиновьевым в [Зиновьев, 2000]. Свойства данной операции подобны свойствам операции строгой дизъюнкции с тем отличием, что операция полной дизъюнкции является n-арной (где n? 2). В ЛВС-сети логическая операция отрицания вводится как часть имени (частица либо приставка «не»), а логические операции конъюнкции и полной дизъюнкции вводятся через тип вершины (различаются И-вершины и ИЛИ-вершины). В ЛВС-сети обеспечивается представление как интенсионала (при помощи И-вершин), так и экстенсионала имен (при помощи ИЛИ-вершин). ЛВС-сеть позволяет представлять кванторы существования и всеобщности [Яловец, 2006]. Для ЛВС-сети разработаны метод прямого логического вывода [Яловец, 2000] и методы выявления и разрешения противоречий [Яловец, 2002]. Разработанные методы и модели реализованы в инструментальной среде представления и обработки знаний [Кондращенко и др., 2002].

Несмотря на ряд достоинств, ЛВС-сеть имеет определенный недостаток, связанный с отсутствием меток на дугах, что в некоторых случаях может привести к затруднительной смысловой интерпретации структуры ЛВС-сети (например, в случае неудачного выбора имен вершин, вследствие чего отношения, существующие между такими именами, могут быть трудно интерпретируемыми).

Результаты сравнительного анализа МПЗ. В таблице 1 приведены результаты сравнительного анализа рассмотренных МПЗ.

Табл. 1.

В таблице 1 символ «+» означает наличие свойства у МПЗ; символ — частичное наличие свойства; символ «-» — отсутствие свойства.

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