Cтраница 4
Продемонстрируем работу алгоритма на примере, представленном па рис. 8.2. В данном предложении всего одно слово с МУ - перевезено. Оно принадлежит группе предикатов действия. В словарной статье для слова перевезено есть ссылка на вершину абстрактной семантической сети перевозить, которая в данном случае является канонической формой слова. Алгоритм заменяет предикативное и комплетивиое СИО на семантические отношения инструмент п тема. [46]
Некоторые авторы предполагают, что семантические отношения хранятся, подобно понятиям, непосредственно в виде декларативной информации. Согласно такому пониманию, отношение СТОЛИЦА X а репрезентировано с помощью отдельной единицы памяти точно так же, как понятия МОСКВА и СОВЕТСКИЙ СОЮЗ. Семантическая сеть строится на основе теории графов. Понятия изображаются в виде узлов, а соединяющие их ребра представляют семантические отношения. Каждое ребро обозначается названием отношения, которое оно репрезентирует. Отношения различаются только по своим названиям. Множество понятий и отношений между ними образуют взаимосвязанную сеть. [47]
Особого внимания от администрации банка данных в случае иерархических СУБД требуют операции над памятью. К ним относятся операции включения, удаления, изменения организационных единиц данных в базах данных. Исключение исходного элемента автоматически влечет за собой исключение всех зависимых элементов. Диапазон поисковых функций в иерархических моделях значительно уже, чем в сетевых, а семантические отношения объектов предметной области ограничены возможностью представления данных только в виде иерархий. [48]
АС необходима для обработки лингвистической информации и для понимания запроса. Конкретная сеть ( КС) содержит конкретизации общих положений. В КС описываются объекты, являющиеся реальным наполнением понятий, встречающихся в АС. Математическая модель АС есть помеченный ориентированный граф, вершинам которого соответствуют слова и словосочетания, а дугам - семантические отношения, существующие между словами. В АС наличие дуги между некоторыми вершинами говорит о возможностп существования отношения в моделируемом мире. В КС наличие дуги между вершинами говорит об обязательности существования данного отношения в моделируемом мире. В АС вершины соответствуют понятиям реального мира, а в КС - конкретным объектам. КС значительно превосходит число верпшп в АС. Это обусловливает несколько иную форму хранения информации в КС. КС можно также рассматривать как ориентированный граф, однако дуги здесь не помечены и поэтому явно не представлены. За падежами закреплены строго упорядоченные места, определяемые типом СОБЫТИЯ. [49]
Можно предположить, что в обоих случаях перенос основан на одних и тех же особенностях когнитивных процессов. При последовательном восприятии информации человек активирует существующие, или, иначе говоря, зафиксированные в памяти, отношения между порциями информации, чтобы интегрировать последние с помощью семантических отношений в более крупные структурные единицы. Если воспринятая последовательность событий такова, что семантические отношения позволяют построить интегрирующую всю последовательность систему, то использование именно этих отношений в форме гипотезы о возможной структуре истории может стать стратегией организации информации. В дальнейшем при восприятии информации в том же контексте поиск отношений перестает быть беспорядочным. Структурная основа для интеграции подготовлена, и поиск ведется целенаправленно, то есть ищутся определенные семантические отношения, соответствующие этой основе. [50]
Связность ( агрегация) знаний является основным способом, обеспечивающим ускорение поиска релевантных знаний. Большинство специалистов пришло к убеждению, что знания следует организовывать вокруг наиболее важных объектов ( сущностей) предметной области. При подобной организации знаний, если системе потребовалась информация о некоторой сущности, то она ищет блок, описывающий эту сущность, а затем уже внутри блока отыскивает информацию о данной сущности [ Бобров и Виноград, 1977; 1979; Нильсон, 1980, гл. Внутренние связки объединяютэлемен-ты в единый блок и предназначены для выражения структуры блока. Внешние связки отражают взаимозависимости, существующие между блоками в области экспертизы. Логические связки выражают семантические отношения между элементами знаний. Ассоциативные связки предназначены для обеспечения взаимосвязей, способствующих ускорению процесса поиска уместных знаний. Введение ассоциативных связок обосновывается тем, что логические связки не могут успешно решать и задачи семантической обработки ( понимания и вывода), и задачи поиска. [51]
Иначе обстоит дело в случае связи между РОЗОЙ и ЦВЕТКОМ или между МОЛОТКОМ и ГВОЗДЕМ. Было бы тривиальным утверждение, что роза не столица, а вид понятия ЦВЕТОК или что МОЛОТОК является инструментом, позволяющим забивать гвозди. Следует, однако, отчетливо представлять себе, что такая легкость диффе-ренцировки отношений предполагает соответствующую дифференцируемость отражающих их когнитивных структур. Это наводит на мысль о существовании у семантических отношений таких свойств, которые позволяют различать их между собой. Иначе говоря, семантические отношения не могут быть какими-то совершенно однородными единицами. Связь между МОЛОТКОМ и ГВОЗДЕМ должна отличаться от связи между РОЗОЙ и ЦВЕТКОМ или между МОСКВОЙ и СОВЕТСКИМ СОЮЗОМ. Любой теоретический подход к исследованию репрезентации семантических отношений в памяти должен учитывать это обстоятельство. [52]
В информационной базе между ИЕ должна быть предусмотрена возможность установления связей различного типа. Прежде всего эти связи могут характеризовать отношения между ИЕ. Семантика отношений может носить декларативный или процедурный характер. Например, две или более ИЕ могут быть связаны отношением одновременно, две ИЕ - отношением причина - следствие или отношением аргумент - функция. Приведенные отношения характеризуют декларативные знания. Различают отношения структуризации, функциональные отношения, каузальные отношения и семантические отношения. С помощью первых задаются иерархии ИЕ, вторые несут процедурную информацию, позволяющую находить ( вычислять) одни ИЕ через другие, третьи задают причинно-следственные связи, четвертые соответствуют всем остальным отношениям. [53]
Знания об окружающей среде целесообразно разделить на част, обусловленные как различной внутренней структурой знания, так и потребностью в различных частях зпапня на разных этапах обработки сообщения. Будем выделять следующие части: А-сеть, К-сеть и Д - таблицы. А-сеть ( абстрактная сеть) предназначена для хранения информации о множестве возможных состояний предметной области, выраженных через общие ( родовые) понятия, события н характеристики. А-сеть используется как средство для снятия неэксплицптности входного сообщения ( пошгаания сообщения) и согласования его по форме представления с представлением, принятым в К-сетн системы. В первом приближении А-сеть мо-жег рассматриваться как помеченный ориентированный граф, вершинам которого соответствуют слова и словосочетания, а дугам - семантические отношения, существующие между словами. Более детальное описание А-сетп приведено ниже. [54]
Задача данного подэтапа состоит в выборе семантически осмысливаемого синтаксического разбора ( состоящего в выборе из обобщенной синтаксической структуры такой ее части, которая не противоречит абстрактным знаниям системы), построении для него неструктурированного семантического графа и выделении квантифицирующих слов ( ом. Предлагаемое деление этапа вызвано тем, что слова с МУ и именные группы несут в предложении разные семантические нагрузки и для их обработки необходимы различные методы. Семантика слов с МУ в основном определяется не контекстом, а значением слова, определяемым самой моделью управления. Это позволяет задать семантическую информацию о словах с МУ в словаре. Информация из абстрактной сети используется только для подтверждения правильности выбора, сделанного семантическим анализом. Семантические отношения, связывающие слова в именной группе ( слова без МУ), определяются в основном контекстом. [55]
Связность ( агрегация) знаний является основным способом, обеспечивающим ускорение поиска релевантных знаний. Большинство специалистов пришли к убеждению, что знания следует организовывать вокруг наиболее важных объектов ( сущностей) предметной области. Все знания, характеризующие некоторую сущность, связываются и представляются в виде отдельного объекта. При подобной организации знаний, если системе потребовалась информация о некоторой сущности, то она ищет объект, описывающий эту сущность, а затем уже внутри объекта отыскивает информацию о данной сущности. В объектах целесообразно выделять два типа связок между элементами: внешние и внутренние. Внутренние связки объединяют элементы в единый объект и предназначены для выражения структуры объекта. Внешние связки отражают взаимозависимости, существующие между объектами в области экспертизы. Многие исследователи классифицируют внешние связки на логические и ассоциативные. Логические связки выражают семантические отношения между элементами знаний. Ассоциативные связки предназначены для обеспечения взаимосвязей, способствующих ускорению процесса поиска релевантных знаний. [56]
Здесь мы повторим эти определения, так как они будут играть важную роль в последующем изложении. Нужно отметить, что, поскольку мы приписали ( и, на наш взгляд, удачно) значения истины и лжи интеррогативам, имеет смысл распространить на интерро-гативы, как это было сделано для формул, и другие семантические понятия. В самом деле, отчасти именно для того, чтобы это было легко сделать, мы выбрали для пары истинно - ложно среди других кандидатов пару имеющий ответ - не имеющий ответа и точно в таком же духе теперь объединим общим названием квазиформулы как формулы, так и соответствующие им интеррогативы, и будем употреблять буквы X и Н соответственно для обозначения квазиформулы и множества квазиформул. Может показаться, что тем самым мы отдаем предпочтение поэту перед философом в диспуте об именах, возникшем в результате сопоставления названия работы К. Хэмблина [1963] Вопросы не являются утверждениями с названием поэмы У. Однако наша точка зрения, разумеется, находится где-то посередине. Вопрос частично является утверждением, или, как мы будем говорить, интеррогатив имеет пропозициональное содержание. Именно благодаря своему пропозициональному содержанию интеррогатив может вступать в семантические отношения, которые считают обычно привилегиями одних утверждений. [57]
Здесь мы повторим эти определения, так как они будут играть важную роль в последующем изложении. Нужно отметить, что, поскольку мы приписали ( и, на наш взгляд, удачно) значения истины и лжи интеррогативам, имеет смысл распространить на интерро-гативы, как это было сделано для формул, и другие семантические понятия. В самом деле, отчасти именно для того, чтобы это было легко сделать, мы выбрали для пары истинно - ложно среди других кандидатов пару имеющий ответ - не имеющий ответа и точно в таком же духе теперь объединим общим названием квазиформулы как формулы, так и соответствующие им интеррогативы, и будем употреблять буквы X и Я соответственно для обозначения квазиформулы и множества квазиформул. Может показаться, что тем самым мы отдаем предпочтение поэту перед философом в диспуте об именах, возникшем в результате сопоставления названия работы К. Хэмблина [1963] Вопросы не являются утверждениями с названием поэмы У. Однако наша точка зрения, разумеется, находится где-то посередине. Вопрос частично является утверждением, или, как мы будем говорить, интеррогатив имеет пропозициональное содержание. Именно благодаря своему пропозициональному содержанию интеррогатив может вступать в семантические отношения, которые считают обычно привилегиями одних утверждений. [58]