Cтраница 3
Одним из достоинств сетевого представления знаний является использование в нем механизма наследования свойств. Рассмотрим реализацию на языке Пролог этого механизма в простейшей семантической сети, описывающей фрагмент иерархии воздушных лайнеров. В семантической сети, изображенной на рис. 1.17, вершинам соответствуют такие объекты, как ТУ154, АН76, и такие классы объектов, как воздушный лайнер, самолет, самолет с технологией stealth ( самолет-невидимка), самолет класса ТУ, самолет класса АН. Напомним, что отношение класс-подкласс ( ISA) является основополагающим отношением в семантической сети. [31]
В этой книге широко используются сетевые графики для иллюстрации и объединения в систему множества работ, которое охватывают весь жизненный цикл программного изделия. Вероятно, нет более удобного средства отображения такой сложной совокупности работ, чем сетевое представление. [32]
Сетевые пространственные объекты могут представлять сложные части сети, например, такие как переключатели. Это упрощает редактирование и позволяет создавать карты с меньшим количеством пространственных объектов в сетевом представлении. [33]
Обобщение понятия дерева до графа аналогично переходу от древовидного к сетевому представлению данных. При векторном виде данных в древовидном представлении склейка данных может быть сделана только по начальному отрезку; в сетевом представлении она допустима по любым отрезкам. В сетевой модели данных доступ к данным может быть осуществлен по многим путям. Она позволяет реализовать более широкий класс отношений между объектами, чем древовидная. Поскольку сетевая модель является обобщением древовидной, то она предоставляет больше возможностей как для описания предметной области, представляемой БД, так и для нахождения оптимальных решений хранения и поиска данных. Но использование сетевой модели требует высокой квалификации от разработчика и поэтому она не была воспринята массовым пользователем. [34]
Сама сеть может представлять некую реальную физическую систему. Однако часто удобно переходить к сетевому представлению и с учетом его соответствия линейным системам попытаться найти составляющие отдельных элементов сети в общем потоке. [35]
Существуют два правила по представлению некоторого понятия в фокусном пространстве. Во-первых, если некоторое понятие находится в фокусном пространстве, то информация о типе данного понятия также должна находиться в фокусе. К информации о типе понятия относятся сведения об аспекте фокусирования и ссылка на дополнительные сведения о понятии. С точки зрения используемого сетевого представления это означает, что если понятие находится в фокусе, то исходящие из него дуги элемент ( э) или подмножество ( п) также находятся в фокусе. Во-вторых, если дуга понятия в некоторой ситуации ( например, кнопки есть тема события обмен) находится в фокусе, то и сама ситуация ( событие обмен) должна находиться в фокусе. [36]
В этой главе основное внимание уделяется построению сетевых моделей. Сначала рассматривается несколько примеров, относящихся к принятию плановых решений. Эти примеры наглядно показывают, почему сетевой язык является удобным графическим описанием задач оптимизации. Такое описание позволяет легко установить соответствие между элементами сети и элементами реальной задачи. В последующих примерах сетевое представление задач является чисто формальным. В этих примерах для установления терминологического соответствия сетевых понятий с реальными компонентами задач приходится пользоваться абстрактными аналогиями. [37]
Поскольку О-сети объявляются представлениями параллельных процессов, возникает вопрос, насколько корректно они представляют процессы этого типа. Сравнение определений параллельного процесса и О-сети убеждает, что все понятия, связанные с процессами, хорошо интерпретируются в терминах сетей. Чтобы установить обратное, следует выяснить, для любой ли О-сети можно найти подтверждающий ее реальный параллельный процесс. Трудность здесь состоит в том, что формальное понятие сети нужно сравнивать с неформализованным, интуитивным понятием параллельного процесса. Однако уже предварительные исследования показали, что существуют синтаксически корректные О-сети, которые, если их проинтерпретировать как процессы, оказываются неприемлемыми в качестве реальных процессов. В связи с этим Петри [74, 77] ввел дополнительное условие / ( - плотности для 0-сетей, соблюдение которого позволяет избежать описанного выше несоответствия между синтаксическим и семантическим аспектами сетевого представления процессов. [38]