4.2. Описание иерархической структуры понятия и диаграмма представления семантическими сетями

В иерархической структуре понятий существуют предикаты отношений двух     типов: IS-A и PART-OF. Иерархия показывает отношение включения понятия. Например, в предложении “человек IS-A млекопитающее” главная мысль – человек принадлежит к классу млекопитающие. Это означает, что в данном предложении используется отношение включения или отношение совпадения. Способ включения можно определять понятием верхнего уровня, а способ удаления – нижнего уровня. Экземпляр нижнего уровня содержит в основном все атрибуты, которые имеет экземпляр верхнего уровня (прототип). Это свойство называется наследованием атрибутов между уровнями иерархии IS-A (рис. 4.4).

PART-OF. Этот способ показывает отношения между экземплярами класса, причём основная часть показывает внутреннюю структуру предиката. Т.е. “Все люди – млекопитающие”.

Откуда следует, что “Миша – млекопитающее”

Способ представления семантической сетью позволяет делать выводы благодаря иерархии наследования.

Семантическими сетями можно представлять знания, касающиеся атрибутов объекта (рис. 4.5).

“Все млекопитающие имеют голову”.

Факт, объявленный для вершин на верхнем уровне иерархической структуры, на основе предпосылки, говорящей о справедливости его для узлов нижнего уровня, показывает возможность вывода множества фактов с помощью IS-A. Вывод такого типа называется наследованием свойства, ветвь IS-A – ветвь наследования свойства.

Можно построить другие отношения (рис. 4.6, где машина i – конкретная машина).

“Миша владеет машиной”

“Миша владеет машиной с весны по осень”

В этом случае вершины – не только объекты, но и ситуации и действия (рис. 4.7).

Для вершины «Владеет i» определено несколько связей. Такая вершина называется падёжной рамкой. Она определяет различные аргументы предиката ситуации.

Основная проблема – наследование атрибутов между иерархическими уровнями.

Результат вывода, полученный с помощью семантической сети, не гарантирует достоверность как логический формализм. Это из-за того, что процесс вывода (по     определению) – наследование свойств ветви IS-A (рис. 4.8).

“Человек подвержен заболеваниям”

Это означает, что Миша  обследуется врачом.

Требуются способы, обеспечивающие управление наследованием.