В иерархической структуре понятий существуют предикаты отношений двух типов: 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).
![]() |
“Человек подвержен заболеваниям”
Это означает, что Миша обследуется врачом.
Требуются способы, обеспечивающие управление наследованием.