![]() |
![]() |
|
![]() |
![]() ![]() ![]() ![]() ![]() Часть 1.Люгер, Дж.Ф. Искусственный интеллект. Часть 3-4. 2001. Люгер, Джордж, Ф. Искусственный интеллект: стратегии и методы решения сложных проблем, 4-е издание. : Пер. с англ. - М.: Издательский дом "Вильяме", 2003. - 864 с.-С. 219-517.
<<><Часть > <Представление ><и ><разум ><в ><ракурсе ><искусственного ><интеллекта> <Наш ><век ><беспокойства ><в ><значительной ><мере ><является ><результатом ><попыток ><выполнять ><сегодняшнюю ><работу ><вчерашними ><средствами...>
<- ><Маршалл ><Мак-Люган ><(Marshall > <Может ><быть, ><стоит ><рассматривать ><мозг ><как ><набор ><контроллеров ><для ><осуществляе><мой ><деятельности? ><Этот ><небольшой ><сдвиг ><в ><перспективе ><окажет ><большое ><влияние ><на ><то, ><как ><мы ><конструируем ><науку ><о ><мышлении. ><На ><самом ><деле ><это ><требует ><больших ><изменений ><в ><нашем ><ходе ><мыслей ><об ><интеллектуальном ><поведении. ><Необходимо ><отказаться ><от: ><мыс><лей ><(привычных ><со ><времен ><Декарта) ><о ><разуме ><как ><сфере, ><отличной ><от ><сферы ><тела; ><разде><ления ><восприятия, ><познания ><и ><действия; ><идеи ><исполнительного ><центра, ><где ><мозг ><выполня><ет ><высокоуровневые ><рассуждения; ><и, ><более ><того, ><отказаться ><от ><исследовательских ><методов, ><которые ><искусственно ><отделяют ><мысль ><от ><осуществляемого ><действия.>
<- ><Энди ><Кларк ><(Andy > <Представление ><и ><интеллект>
<><Вопрос ><представления ><{representation) ><как ><наилучшего ><способа ><фиксации ><критиче><ских ><аспектов ><интеллектуального ><поведения ><для ><использования ><в ><компьютере ><или ><взаи><модействия ><с ><людьми ><был ><постоянной ><темой ><в ><течение ><всей ><пятидесятилетней ><истории ><ИИ. ><Часть > 219
<<слабых ><методов ><решения ><проблем ><(weak >
<Познакомимся ><с ><каждой ><из ><этих ><методологий ><представления ><интеллекта. ><Три ><главы, ><из ><которых ><состоит ><часть >
<В ><конце ><1950-х ><и ><начале ><1960-х ><Алан ><Ньюэлл ><(Alan > <"...сложных ><процессов ><(эвристик), ><которые ><эффективны ><при ><решении ><проблем. ><Следователь><но, ><мы ><не ><заинтересованы ><в ><методах, ><которые ><гарантируют ><решение, ><но ><требуют ><большого ><количества ><вычислений. ><Скорее, ><мы ><желаем ><понять, ><как ><математик ><должен ><доказывать ><теоре><му, ><даже ><когда ><в ><начале ><или ><в ><процессе ><доказательства ><он ><не ><знает, ><как ><достичь ><цели.">
<В ><более ><поздней ><программе >
<Для ><управления ><поиском ><в ><пространстве ><состояний ><система >
<Ожидалось, ><что ><система > <К ><сожалению, ><не ><существует ><единой ><эвристики, ><которая ><может ><успешно ><применяться ><ко ><всем ><предметным ><областям. ><В ><общем ><случае ><методы, ><с ><помощью ><которых ><мы ><решаем ><проблемы, ><используют ><большое ><количество ><знаний ><о ><ситуации. ><Врачи ><способны ><диагно><стировать ><болезни, ><так ><как ><дополнительно ><к ><общим ><возможностям ><решения ><задач ><имеют ><обширные ><медицинские ><знания. ><Архитекторы ><проектируют ><дома ><потому, ><что ><обладают ><знаниями ><в ><области ><архитектуры. ><Безусловно, ><эвристики, ><используемые ><в ><медицинском ><диагнозе, ><могут ><быть ><бесполезными ><при ><проектировании ><офисного ><здания. 220>
<<Слабые ><методы ><значительно ><отличаются ><от ><сильных ><методов (> <если> <двигатель >< ><не >< ><заводится ><и> <фары ><не >< ><горят,> <то> <проблема >< ><в >< ><аккумуляторе ><или ><в >< ><проводах >< >< ><(0.8)> <Эта ><эвристика, ><перефразированная ><как ><правило ><"если..., ><то...", ><фокусирует ><поиск ><на ><подсистеме ><аккумулятора ><автомобиля, ><исключая ><другие ><компоненты ><и ><уменьшая ><про><странство ><поиска. ><Отметим, ><что ><эта ><частная ><эвристика, ><в ><отличие ><от ><анализа ><целей ><и ><средств, ><использует ><знание ><о ><функционировании ><автомобиля, ><а ><также ><знание ><о ><взаимо><связях ><между ><аккумулятором, ><фарами ><и ><стартером. ><Она ><бесполезна ><в ><любой ><проблемной ><области, ><за ><исключением ><авторемонта.> <Решатели ><задач ><на ><основе ><сильных ><методов ><не ><только ><используют ><специфические ><знания ><о ><предметной ><области, ><но ><и ><требуют ><большого ><количества ><таких ><знаний. ><На><пример, ><эвристика ><"неисправен ><аккумулятор" ><не ><слишком ><полезна ><при ><диагностике ><поломки ><карбюратора ><и ><может ><быть ><вообще ><бесполезной ><в ><любой ><области, ><выходящей ><за ><рамки ><диагностики ><автомобилей. ><Таким ><образом, ><главной ><проблемой ><при ><разработ><ке ><программы, ><основанной ><на ><знаниях, ><есть ><проблема ><извлечения ><и ><организации ><больших ><объемов ><специфических ><знаний ><о ><предметной ><области. ><Правила ><могут ><также ><содержать ><меру ><(0,8 ><в ><приведенном ><выше ><правиле), ><чтобы ><отразить ><достоверность ><этой ><части ><знаний ><о ><предметной ><области.>
<При ><использовании ><подхода ><на ><основе ><сильных ><методов ><разработчик ><программы ><де><лает ><определенные ><предположения ><о ><природе ><интеллектуальной ><системы. ><Эти ><предпо><ложения ><формализованы ><Брайаном ><Смитом ><(Brian > <"...любой ><механически ><материализованный ><интеллектуальный ><процесс ><будет ><состоять ><из ><компонентов, ><которые ><а) ><мы, ><как ><внешние ><наблюдатели, ><естественно ><выбираем ><для ><пред><ставления ><пропозиционального ><учета ><знания ><всего ><этого ><процесса, ><и ><б) ><независимо ><от ><внешнего ><семантического ><свойства ><играют ><формальную ><роль ><в ><реализации ><поведения, ><со><ответствующего ><этому ><знанию."> <Важным ><аспектом ><этой ><гипотезы ><является ><предположение, ><что ><знание ><будет ><пред><ставлено ><пропозщионально, ><т.е. ><в ><форме, ><которая ><точно ><представляет ><знание ><вопроса ><и ><которая ><может ><рассматриваться ><внешним ><наблюдателем ><как ><"естественное" ><описание ><этого ><знания. ><Второе ><важное ><предположение ><состоит ><в ><том, ><что ><поведение ><системы ><должно ><определяться ><предложениями ><базы ><знаний, ><и ><что ><это ><поведение ><должно ><соответ><ствовать ><воспринятому ><смыслу ><этих ><предложений.>
<В ><последнее ><время ><при ><описании ><вопросов ><представления ><в ><ИИ ><часто ><используются ><такие ><термины, ><как ><агентное, ><внедренное ><(воплощенное,), ><или ><эмерджентное ><решение ><задач. ><Некоторые ><исследователи, ><работающие ><в ><прикладных ><областях, ><таких ><как ><роботи><ка, ><разработка ><игр ><и > <С ><этой ><точки ><зрения ><решение ><задач ><рассматривается ><как ><распределенный ><процесс ><взаимодействия ><агентов, ><решающих ><задачи ><в ><различных ><подконтекстах ><своих ><областей, 221>
<<например, > <Агенты ><автономны, ><т.е. ><они ><часто ><должны ><действовать ><без ><прямого ><вмешательства ><людей ><или ><общего ><управляющего ><процесса. ><Таким ><образом, ><автономные ><агенты ><управ><ляют ><своими ><собственными ><действиями ><и ><внутренним ><состоянием. ><Кроме ><того, ><гибкие ><агенты ><должны ><чувствовать ><ситуацию ><их ><локального ><окружения, ><а ><также ><быть ><преду><смотрительными ><- ><должны ><уметь ><предвидеть ><ситуации. ><И, ><наконец, ><они ><должны ><гибко ><отвечать ><другим ><агентам ><проблемной ><области, ><переговариваясь ><о ><задачах, ><целях ><и ><соот><ветствующих ><процессах.>
<Некоторые ><исследователи ><в ><области ><роботики ><создали ><свои ><агентные ><системы. ><Родни ><Брукс ><(Rodney > <И, ><наконец, ><этот ><ситуативный ><и ><внедренный ><подход ><к ><представлению ><описывает><ся ><некоторыми ><философами, ><включая ><[Dennett, ><1991, ><1995] ><и ><[Clark, ><1997], ><как ><соот><ветствующая ><характеристика ><человеческого ><интеллекта. ><Ниже ><в ><этой ><книге ><будут ><приведены ><дополнительные ><схемы ><представлений, ><включая ><коннекционистский ><(глава ><10) ><и ><генетический ><(глава ><11) ><подходы. ><Общие ><вопросы ><представления ><снова ><обсуждаются ><в ><главе ><16.>
<В ><главе ><6 ><в ><деталях ><исследуются ><основные ><подходы ><к ><представлению, ><принятые ><в ><ИИ. ><Мы ><начинаем ><с ><ранних ><представлений, ><включающих ><семантические ><сети, ><сцена><рии, ><фреймы ><и ><объекты. ><Эти ><схемы ><рассматриваются ><с ><эволюционной ><точки ><зрения, ><по><казывая ><путь ><развития ><от ><самых ><ранних ><исследований ><ИИ ><до ><современных ><средств. ><Да><лее ><описываются ><концептуальные ><графы ><Джона ><Сова ><(John > <В ><главе ><7 ><обсуждаются ><системы, ><усиленные ><знаниями, ><и ><рассматриваются ><проблемы ><приобретения, ><формализации ><и ><отладки ><баз ><знаний. ><Мы ><представляем ><различные ><схемы ><вывода ><для ><систем ><правил, ><включая ><рассуждения, ><от ><цели ><и ><от ><данных. ><Кроме ><систем, ><основанных ><на ><правилах, ><будут ><представлены ><рассуждения, ><основанные ><на ><моделях ><и ><примерах. ><Первые ><пытаются ><точно ><представить ><теоретические ><основы ><и ><функциональ><ность ><области, ><например, ><электронных ><цепей, ><в ><то ><время ><как ><вторые ><строят ><точную ><базу ><данных, ><описывающую ><существующие ><успешные ><и ><неудачные ><примеры ><из ><проблемной ><области, ><чтобы ><помочь ><в ><будущем ><при ><решении ><проблем. ><Глава ><7 ><завершается ><обзором ><планирования ><(planning), ><при ><котором ><точные ><знания ><должны ><быть ><организованы ><так, ><чтобы ><управлять ><решением ><проблем ><в ><таких ><сложных ><областях, ><как ><роботика.> <Глава ><8 ><описывает ><ряд ><приемов, ><которые ><направлены ><на ><представление ><решения ><задач ><в ><условиях ><неопределенности ><и ><неуверенности. ><В ><этих ><ситуациях ><мы ><пытаемся 222>
<<как ><можно ><лучше ><объяснить ><часто ><неоднозначную ><информацию. ><Этот ><тип ><рассужде><ний ><часто ><называют ><абдуктивными ><(abductive >
<В ><части > 223> ><>Глава 6. Представление знаний <Эта ><грандиозная ><книга, ><универсум, ><написана ><на ><языке ><математики, ><и ><ее ><символами ><служат ><треугольники, ><круги ><и ><другие ><геометрические ><фигуры, ><без ><которых ><невозможно> <понять ><ее ><слово ><- ><без ><них ><бродишь ><в ><темноте ><лабиринта...>
<- ><Галилео ><Галилей ><(Galileo > <Поскольку ><нет ><организма, ><который ><может ><покрыть ><бесконечное ><разнообразие, ><одной> <из ><основных ><функций ><всех ><организмов ><есть ><разбиение ><окружения ><на ><классы, ><при ><котором> <неидентичные ><стимулы ><могут ><трактоваться ><как ><эквивалентные...>
<- ><Элеанор ><Рош ><(Eleanor > <Мы ><всегда ><имеем ><два ><универсума ><рассуждений ><- ><назовем ><их ><"физический" ><и ><"феноменальный" ><(или, ><как ><вы ><желаете) ><- ><один ><связан ><с ><вопросами ><количества ><и ><фор><мальной ><структуры, ><другой ><- ><с ><теми ><качествами, ><которые ><соответствуют ><слову ><"мир". ><Каждый ><из ><нас ><имеет ><собственные ><ментальные ><миры, ><собственные ><внутренние ><маршруты ><и ><ландшафты, ><и ><они ><не ><требуют ><ясной ><нейрологической ><"корреляции ><".>
<- ><Оливер ><Сакс ><(Oliver > <6.0. ><Вопросы ><представления ><знаний>
<><Представление ><информации ><для ><решения ><интеллектуальных ><проблем ><- ><важная ><и ><трудная ><задача, ><лежащая ><в ><основе ><ИИ. ><Раздел ><6.1 ><содержит ><краткую ><историческую ><ретроспективу ><ранних ><исследований ><по ><представлениям: ><в ><нее ><включены ><семантические ><сети ><(semantic > 225><<Начинаем ><наше ><обсуждение ><с ><исторической ><ретроспективы, ><в ><которой ><база ><знаний ><описывается ><как ><отображение ><объектов ><и ><отношений ><предметной ><области ><в ><вычисли><тельные ><объекты ><и ><программные ><отношения ><[Bobrow, ><1975]. ><Результаты ><вывода ><в ><базе ><знаний ><должны ><соответствовать ><результатам ><действий ><или ><наблюдений ><в ><мире. ><Вычис><лительные ><объекты, ><отношения ><и ><выводы, ><привычные ><программисту, ><выражаются ><язы><ком ><представления ><знаний.> <Существуют ><общие ><принципы ><организации ><знаний, ><которые ><применяются ><в ><различных ><областях ><и ><могут ><прямо ><поддерживаться ><языком ><представления. ><Например, ><иерархии ><классов ><можно ><найти ><как ><в ><научных, ><так ><и ><в ><общесмысловых ><классификационных ><системах. ><Но ><как ><обеспечить ><общий ><механизм ><для ><их ><представления? ><Как ><представить ><определения? ><Исключе><ния? ><Как ><научить ><интеллектуальную ><систему ><по ><умолчанию ><делать ><предположения ><о ><недос><тающей ><информации ><и ><проверять ><истинность ><подобных ><предположений? ><Как ><наилучшим ><об><разом ><представить ><время? ><Причинность? ><Неопределенность? ><Прогресс ><в ><создании ><интеллек><туальных ><систем ><зависит ><от ><открытия ><принципов ><организации ><знаний ><и ><от ><поддержки ><их ><высокоуровневыми ><средствами ><представления.>
<Полезно ><делать ><различие ><между ><схемой ><представления ><и ><средой ><ее ><выполнения. ><Это ><подобно ><различию ><между ><структурами ><данных ><и ><языками ><программирования. ><Языки ><программирования ><являются ><средой ><выполнения; ><структурой ><данных ><служит ><схема. ><Обычно ><языки ><представления ><знаний ><являются ><более ><ограниченными, ><чем ><исчисление ><предикатов ><или ><языки ><программирования. ><Эти ><ограничения ><принимают ><форму ><точных ><структур ><для ><представления ><категорий ><знания. ><Средой, ><в ><которой ><они ><выполняются, ><мо><гут ><быть >
<Обсуждение ><данных ><вопросов ><иллюстрирует ><традиционный ><обзор ><схем ><представле><ния ><ИИ, ><приведенный ><в ><разделах ><6.1 ><и ><6.2. ><Этот ><обзор, ><как ><правило, ><включает ><глобаль><ную ><базу ><знаний ><из ><языковых ><структур, ><отражающих ><статику ><и ><"предопределенные ><цен><тры ><реального ><мира". ><Более ><поздние ><исследования ><в ><области ><роботики ><[Brooks, ><1991a], ><[Lewis ><и > <6.1. ><Краткая ><история ><схем ><представления ><ИИ> <><6.1.1. ><Ассоционистские ><теории ><смысла> <Усилиями ><философов ><и ><математиков ><уровень ><логических ><представлений ><возрос ><и ><позволяет ><характеризовать ><принципы ><правильного ><рассуждения. ><Основная ><задача ><логики ><- ><разработка ><формальных ><языков ><представления ><знаний ><с ><совершенными ><и ><полными ><правилами ><вывода. ><Поэтому ><в ><семантиках ><исчисления ><предикатов ><основ><ное ><внимание ><уделяется ><сохранению ><истинности ><операций ><на ><корректно ><построен><ных ><выражениях. ><В ><результате ><усилий ><психологов ><и ><лингвистов ><по ><оценке ><природы ><человеческого ><понимания ><возникла ><альтернативная ><линия ><исследований. ><Она ><мень><ше ><связана ><со ><становлением ><науки ><корректных ><рассуждений, ><а ><больше ><тяготеет ><к 226> <<описанию ><способов ><приобретения ><и ><использования ><знаний ><о ><мире. ><Этот ><подход ><до><казал, ><в ><частности, ><полезность ><применения ><ИИ ><в ><области ><понимания ><естественных ><языков ><и ><рассуждений ><на ><основе ><здравого ><смысла.>
<Существует ><много ><проблем, ><которые ><возникают ><при ><отображении ><рассуждений ><на ><основе ><здравого ><смысла ><в ><формальную ><логику. ><Например, ><обычно ><принято ><думать, ><что ><операторы > <"X ><((кардинал(Х) ><® ><красный(Х)).> <Это ><предложение ><может ><быть ><заменено ><логически ><эквивалентным ><выражением ><по><средством ><ряда ><сохраняющих ><истинность ><операций ><из ><главы ><2:> <"X ><(-1красный(Х) ®><>< ?кардинал(Х)).> <Второе ><выражение ><истинно ><тогда ><и ><только ><тогда, ><когда ><истинно ><первое. ><Однако ><эквивалентность ><значений ><истинности ><в ><данном ><случае ><не ><сохраняется. ><Если ><рас><сматривать ><физическую ><основу ><истинности ><этих ><выражений, ><то ><факт, ><что ><лист ><бума><ги ><не ><красный ><и ><не ><является ><птицей-кардиналом, ><служит ><основой ><для ><истинности ><второго ><выражения. ><Из ><эквивалентности ><двух ><выражений ><следует, ><что ><второе ><явля><ется ><также ><основой ><для ><истинности ><первого. ><Это ><приводит ><к ><заключению, ><что ><белый ><цвет ><листа ><бумаги ><служит ><причиной ><того, ><что ><кардиналы ><красные. ><Эта ><линия ><рассу><ждений ><представляется ><лишенной ><смысла ><и ><довольно ><глупой. ><Причина ><такой ><бес><связности ><в ><том, ><что ><логическая ><импликация ><лишь ><выражает ><связь ><между ><значения><ми ><истинности ><своих ><операндов, ><в ><то ><время ><как ><выражение ><в ><русском ><языке ><предпо><лагает ><положительную ><корреляцию ><между ><членством ><в ><классе ><и ><обладанием ><свойствами ><этого ><класса. ><Действительно, ><определенный ><цвет ><птицы ><связан ><с ><ее ><гене><тическим ><строением. ><Эта ><связь ><теряется ><во ><второй ><версии ><выражения. ><Хотя ><факт, ><что ><бумага ><не ><красная, ><обеспечивает ><истинность ><обоих ><выражений, ><но ><не ><отражает ><причинную ><природу ><цвета ><птиц.>
<Ассоционистские ><(associationist >
<Из ><психологии ><известно, ><что ><люди ><ассоциируют ><понятия, ><а ><также ><иерархически ><организу><ют ><свои ><знания ><с ><помощью ><информации ><самых ><верхних ><уровней ><классификационной ><иерар><хии. ><Коллинс ><(Collins) ><и ><Квиллиан ><(Quillian) ><[Collins ><и > 227> <<>
<Рис. ><6.1. ><Семантическая ><сеть, ><разработанная ><Коллинсом ><и ><Квиллианом ><в ><их ><исследовании ><по ><хра><нению ><информации ><и ><времени ><отклика ><человека ><[Harmon ><и > <Хотя ><ответы ><на ><эти ><вопросы, ><возможно, ><просты, ><изучение ><времени ><реакции ><показало, ><что ><при ><ответе ><на ><вопрос ><"Может ><ли ><канарейка ><летать?" ><оно ><больше, ><чем ><на ><вопрос ><"Может ><ли ><канарейка ><петь?". ><Коллинс ><и ><Квиллиан ><объясняют ><эту ><разницу ><во ><времени ><ответа ><тем, ><что ><люди ><запоминают ><информацию ><на ><самом ><абстрактном ><уровне. ><Вместо ><того, ><чтобы ><запоминать ><конкретные ><свойства ><для ><каждой ><птицы ><(канарейки ><летают, ><дрозды ><летают, ><ласточки ><летают), ><люди ><запоминают, ><что ><канарейки ><- ><птицы, ><а ><птицы ><(обычно) ><имеют ><свойство ><летать. ><Даже ><более ><общие ><свойства, ><такие ><как ><питание, ><дыха><ние ><и ><движение ><запоминаются ><на ><уровне ><"животное". ><Таким ><образом, ><попытка ><вспом><нить, ><может ><ли ><канарейка ><дышать, ><занимает ><больше ><времени, ><чем ><воспоминание, ><может ><ли ><канарейка ><летать. ><Это, ><конечно, ><происходит ><из-за ><того, ><что ><для ><получения ><ответа ><че><ловек ><должен ><дольше ><путешествовать ><по ><иерархии ><структур ><памяти.> <Быстрее ><всего ><вспоминаются ><самые ><конкретные ><свойства ><птицы, ><скажем, ><может ><ли ><она ><петь ><или ><является ><ли ><она ><желтой. ><Оказалось, ><что ><отрицательная ><трактовка ><также ><де><лалась ><на ><наиболее ><детальном ><уровне. ><Когда ><субъекта ><спрашивают, ><может ><ли ><страус ><ле><тать, ><он ><отвечает ><быстрее, ><чем ><когда ><его ><спрашивают, ><может ><ли ><страус ><дышать. ><Таким ><образом, ><иерархия ><страус ><®птица ><® ><животное ><не ><прослеживалась, ><чтобы ><получить ><от><рицательную ><информацию, ><- ><она ><запоминалась ><наряду ><с ><понятием ><"страус". ><Эта ><орга><низация ><знаний ><была ><формализована ><в ><системах ><наследования.>
<Системы ><наследования ><позволяют ><нам ><запоминать ><информацию ><на ><самом ><высоком ><уровне ><абстракции, ><что ><уменьшает ><размер ><баз ><знаний ><и ><помогает ><избежать ><противоре><чий. ><Например, ><если ><мы ><строим ><базу ><знаний ><о ><птицах, ><то ><можем ><определить ><свойства, ><общие ><для ><всех ><птиц, ><например ><способность ><летать ><или ><иметь ><родителей, ><для ><широкого ><класса ><птиц > 228
<<<ва. ><Это ><уменьшает ><размер ><базы ><знаний ><за ><счет ><требования ><определять ><существенные ><свойства ><лишь ><один ><раз ><и ><не ><определять ><их ><для ><каждого ><объекта. ><Наследование ><также ><помогает ><поддерживать ><непротиворечивость ><базы ><знаний ><при ><добавлении ><новых ><классов ><и ><объекта. ><Предположим, ><в ><существующую ><базу ><знаний ><добавляется ><вид >
<Графы ><оказались ><идеальным ><средством ><для ><формализации ><ассоционистских ><теорий ><знаний ><за ><счет ><точного ><представления ><отношений ><посредством ><дуг ><и ><узлов. ><Семантиче><ская ><сеть ><(semantic >
<Семантическая ><сеть, ><которая ><определяет ><свойства ><понятий ><"снег" ><и ><"лед", ><показана ><на ><рис. ><6.2. ><Эту ><сеть ><можно ><использовать ><(с ><соответствующими ><правилами ><вывода) ><для ><от><ветов ><на ><вопросы ><о ><снеге, ><льде ><и ><снежном ><человеке. ><Выводы ><делаются ><путем ><прослежи><вания ><связей ><с ><соответствующими ><понятиями. ><Семантические ><сети ><также ><реализуют ><на><следование: ><например, ><объект > <> <Рис. ><6.2. ><Сетевое ><представление ><свойств ><снега ><и ><льда> <Термин ><"семантическая ><сеть" ><обозначает ><семейство ><представлений, ><основанных ><на ><графах. ><Эти ><представления ><отличаются ><главным ><образом ><именами ><узлов, ><связей ><и ><выво- 229> <<дами, ><которые ><можно ><делать ><в ><этих ><структурах. ><Однако ><общее ><множество ><предположе><ний ><и ><отношений ><содержится ><во ><всех ><языках ><представления ><сетей. ><Это ><иллюстрирует ><ис><тория ><сетевых ><представлений. ><В ><разделе ><6.2 ><будут ><рассмотрены ><концептуальные ><графы ><[Sowa, ><1984] ><- ><более ><современный ><язык ><сетевого ><представления, ><который ><интегрирует ><многие ><из ><этих ><идей.> <6.1.2. ><Ранние ><работы ><в ><области ><семантических ><сетей>
<Сетевые ><представления ><имеют ><почти ><такую ><же ><длинную ><историю, ><как ><и ><логика. ><Фре-><ге ><(Frege), ><например, ><разработал ><три ><системы ><обозначений ><для ><логических ><выражений. ><Возможно, ><наиболее ><ранней ><работой, ><имеющей ><прямое ><влияние ><на ><современные ><семан><тические ><сети, ><была ><система ><экзистенциальных ><графов, ><разработанная ><Чарльзом ><Пирсом ><(Charles >
<Графы ><давно ><используются ><в ><психологии ><для ><представления ><структур ><понятий ><и ><ас><социаций. ><Пионером ><в ><этой ><области ><был ><Сэлз ><[Selz, ><1913, ><1922], ><который ><использовал ><графы ><для ><представления ><иерархии ><понятий ><и ><наследования ><свойств. ><Он ><также ><разрабо><тал ><теорию ><схематического ><упреждения, ><которая ><повлияла ><на ><работы ><по ><фреймам ><и ><схе><мам ><в ><ИИ. ><Андерсон ><(Anderson), ><Норман ><(Norman), ><Румельхарт ><(Rumelhart) ><и ><другие ><ис><пользовали ><сети, ><чтобы ><моделировать ><человеческую ><память ><и ><интеллектуальные ><прояв><ления ><[Anderson ><и > <Много ><исследований ><на ><основе ><сетевых ><представлений ><было ><сделано ><в ><области ><пони><мания ><естественных ><языков. ><В ><общем ><случае ><для ><понимания ><естественных ><языков ><требу><ется ><намного ><больше ><знаний, ><чем ><для ><работы ><специализированных ><экспертных ><систем. ><Оно ><включает ><понимание ><общего ><смысла, ><принципов ><действия ><физических ><объектов, ><взаимодействий, ><происходящих ><между ><людьми, ><и ><принципов ><организации ><коллективов ><людей. ><Программа ><должна ><понимать ><намерения, ><убеждения, ><гипотетические ><рассужде><ния, ><планы ><и ><цели. ><Из-за ><требований ><большого ><количества ><необходимых ><знаний ><пробле><ма ><понимания ><естественных ><языков ><всегда ><являлась ><движущей ><силой ><исследований ><в ><об><ласти ><представления ><знаний.> <Первые ><компьютерные ><реализации ><семантических ><сетей ><были ><созданы ><в ><начале ><1960-><х ><для ><использования ><в ><системах ><автоматического ><(машинного) ><перевода. ><В ><работе ><[Masterman, ><1961] ><Мастерман ><определил ><множество ><из ><100 ><примитивных ><типов ><понятий ><и ><использовал ><их ><в ><словаре ><из ><15000 ><понятий. ><В ><[Wilks, ><1972] ><продолжено ><построение ><систем ><понимания ><естественных ><языков ><на ><основе ><работы ><Мастермана ><(Masterman) ><в ><об><ласти ><семантических ><сетей. ><В ><числе ><других ><ранних ><работ ><по ><исследованию ><ИИ, ><исполь><зующих ><сетевые ><представления, ><можно ><назвать ><[Ceccato, ><1961], ><[Raphael, ><1968], ><[Reitman, ><1965], ><[Simmons, ><1966].> <В ><конце ><1960-х ><была ><написана ><известная ><программа, ><которая ><иллюстрирует ><многие ><особенности ><ранних ><семантических ><сетей ><[Quillian, ><1967]. ><Эта ><программа ><характеризова><ла ><английские ><слова ><примерно ><таким ><же ><образом, ><как ><это ><делает ><словарь: ><слово ><опреде><ляется ><в ><терминах ><других ><слов, ><и ><так ><же ><формулируются ><составляющие ><этих ><определе><ний. ><В ><отличие ><от ><формального ><определения ><слов ><в ><терминах ><базовых ><аксиом ><каждая ><формулировка ><просто ><ведет ><к ><другим ><определениям, ><неструктурированными ><и, ><возмож><но, ><окольными ><путями. ><При ><просмотре ><слова ><мы ><прослеживаем ><эту ><цепочку ><до ><тех ><пор, ><пока ><не ><убедимся, ><что ><понимаем ><первоначальное ><слово. 230>
<<Каждый ><узел ><в ><сети ><Куиллиана ><соответствует ><словесному ><понятию, ><имеющему ><ассо><циативные ><связи ><с ><другими ><понятиями, ><из ><которых ><формируется ><его ><определение. ><База ><знаний ><организована ><в ><плоскости, ><каждая ><из ><которых ><является ><графом, ><характеризую><щим ><одно ><слово. ><На ><рис. ><6.3, ><взятом ><из ><статьи ><[Quillan, ><1967], ><показаны ><три ><плоскости, ><задающие ><три ><различных ><определения ><слова ><"plant": > <> <Рис. ><6.3. ><Три ><плоскости, ><представляющие ><три ><определения ><слова ><"plant" ><[Quillian, ><1967]>
<Программа ><использовала ><эту ><базу ><знаний ><для ><поиска ><отношений ><между ><парами ><анг><лийских ><слов. ><Получив ><два ><слова, ><она ><осуществляла ><на ><графах ><поиск ><в ><ширину ><для ><на><хождения ><общего ><понятия, ><или ><узла ><пересечения. ><Пути ><к ><общему ><узлу ><представляли ><от><ношение ><между ><словесными ><понятиями. ><Например, ><на ><рис. ><6.4, ><взятом ><из ><той ><же ><статьи, ><показана ><точка ><пересечения ><путей, ><ведущих ><от ><понятий > <Используя ><пересечение ><этих ><путей, ><программа ><смогла ><заключить ><следующее.> <Плач ><(cry ><2), ><помимо ><всего ><прочего, ><связан ><с ><производством ><печальных ><звуков. ><Покой ><(comfort ><3) ><может ><уменьшить ><печаль ><[Quillan, ><1967].> <Числа ><в ><ответах ><указывают, ><какие ><именно ><значения ><слов ><выбрала ><программа. ><Куиллиан ><предполагал, ><что ><этот ><подход ><к ><семантике ><обеспечит ><следующие ><возмож><ности ><систем ><понимания ><естественных ><языков.> <Определять ><смысл ><английского ><текста ><путем ><построения ><совокупности ><узлов ><пере ><сечения.> <Выбирать ><смысл ><слов, ><находя ><самые ><короткие ><пути ><к ><точкам ><пересечения ><с ><путями ><для
><других ><слов ><предложения. ><Например, ><в ><английском ><предложении ><'Tom > 231
< <3. ><Гибко ><отвечать ><на ><вопросы, ><основываясь ><на ><ассоциациях ><между ><понятиями ><в ><во><просах ><и ><в ><системе.> <>
<Рис. ><6.4. ><Пересечение ><путей, ><ведущих ><от ><понятий > <Хотя ><эта ><и ><другие ><ранние ><работы ><показали ><силу ><графов ><для ><моделирования ><ассоциа><тивного ><смысла, ><они ><были ><ограничены ><чрезмерной ><общностью ><формализма. ><Знание ><обычно ><структурировалось ><в ><терминах ><специфических ><отношений, ><таких ><как ><объект-><свойство, ><класс-подкласс ><и ><агент-глагол-объект. ><Исследования ><в ><области ><сетевых ><пред><ставлений ><часто ><фокусировались ><на ><спецификации ><этих ><отношений.> <6.1.3. ><Стандартизация ><сетевых ><отношений> <Само ><по ><себе ><представление ><отношений ><в ><виде ><графов ><имеет ><мало ><преимуществ ><пе><ред ><исчислением ><предикатов ><- ><это ><только ><другая ><запись ><отношений ><между ><объектами. ><Сила ><сетевых ><представлений ><состоит ><в ><определении ><связей ><и ><специфических ><правил ><вы><вода, ><определяемых ><механизмом ><наследования.> <Хотя ><ранняя ><работа ><Куиллиана ><установила ><такие ><наиболее ><значительные ><особенности ><формализма ><семантических ><сетей, ><как ><помеченные ><дуги ><и ><связи, ><иерархическое ><наследо><вание ><и ><вывод ><на ><основе ><ассоциативных ><связей, ><она ><не ><позволяла ><преодолеть ><сложность ><многих ><проблемных ><областей. ><Одной ><из ><главных ><причин ><этого ><была ><ограниченность ><свя><зей, ><которые ><не ><охватывали ><более ><глубоких ><семантических ><аспектов ><знаний. ><Большая ><часть ><связей ><представляла ><общие ><ассоциации ><между ><узлами ><и ><не ><обеспечивала ><реальной ><основы ><для ><структурирования ><семантических ><отношений. ><Та ><же ><проблема ><возникала ><при ><попытке ><использовать ><исчисление ><предикатов ><для ><охвата ><семантики ><смысла. ><Хотя ><этот ><формализм ><является ><очень ><выразительным ><и ><позволяет ><представлять ><почти ><любой ><вид ><знаний, ><он ><слишком ><общий ><и ><переносит ><бремя ><конструирования ><соответствующего ><мно><жества ><фактов ><и ><правил ><на ><программиста.> <Большинство ><работ ><по ><сетевым ><представлениям, ><развивающих ><работы ><Куиллиана, ><сводились ><к ><определению ><обширного ><множества ><меток ><связей ><(отношений) ><для ><более> 232<><232 <<<полного ><моделирования ><семантики ><естественного ><языка. ><За ><счет ><реализации ><базовых ><се><мантических ><отношений ><естественного ><языка ><как ><части ><формализма, ><а ><не ><как ><части ><зна><ний ><о ><предметной ><области, ><базы ><знаний ><позволяют ><автоматизировать ><работу ><и ><обеспе><чивают ><большую ><общность ><и ><непротиворечивость. ><В ><[Brachman, ><1979] ><отмечено ><следующее.> <Ключевым ><вопросом ><здесь ><является ><выделение ><примитивов ><для ><языков ><семантических ><сетей. ><Примитивами ><сетевого ><языка ><являются ><те ><понятия, ><для ><понимания ><которых ><ин><терпретатор ><программируется ><заранее, ><и ><которые ><(обычно) ><не ><представлены ><в ><самом ><сетевом ><языке.>
<В ><[Simmons, ><1973] ><подчеркнута ><необходимость ><стандартизации ><отношений ><с ><уче><том ><грамматики ><английского ><языка. ><В ><этом ><подходе, ><основанном ><на ><работе ><[Fillmore, ><1968], ><связи ><определяются ><ролью ><существительных ><и ><групп ><существи><тельных ><в ><действии, ><описываемом ><предложением. ><К ><числу ><возможных ><ролей ><(падежных ><отношений) ><относятся ><агент, ><объект, ><инструмент, ><место ><и ><время. ><Предложение ><представляется ><как ><набор ><узлов, ><один ><из ><которых ><соответствует ><глаго><лу, ><а ><остальные ><связанные ><с ><ним ><узлы ><представляют ><других ><участников ><действия. ><Эта ><структура ><называется ><падежным ><фреймом ><{case ><При ><разборе ><предложе><ния ><программа ><находит ><глагол ><и ><ищет ><в ><базе ><знаний ><соответствующий ><ему ><падеж><ный ><фрейм. ><Затем ><она ><связывает ><значения ><агента, ><объекта ><и ><тому ><подобного ><с ><соот><ветствующими ><узлами ><падежного ><фрейма. ><Используя ><этот ><подход, ><предложение ><"Sarah > <> <Рис. ><6.5. ><Падежный ><фрейм, ><представляющий ><пред><ложение ><"Сараукрепила ><стул ><клеем"> <Таким ><образом, ><сам ><язык ><представления ><включает ><многие ><глубинные ><связи ><есте><ственного ><языка, ><такие ><как ><отношение ><между ><глаголом ><и ><его ><субъектом ><(агентное ><отношение) ><или ><глаголом ><и ><его ><объектом. ><Знание ><падежной ><структуры ><английского ><языка ><является ><частью ><самого ><сетевого ><формализма. ><При ><разборе ><отдельного ><пред><ложения ><становится ><ясно, ><что ><Сара ><- ><это ><человек, ><производящий ><укрепление, ><а ><клей ><используется ><для ><соединения ><частей ><стула. ><Отметим, ><что ><эти ><лингвистические ><отношения ><запоминаются ><отдельно ><(независимо) ><от ><реального ><предложения ><и ><да><же ><от ><языка, ><на ><котором ><сформулировано ><предложение. ><Подобный ><подход ><принят ><в ><сетевых ><языках, ><предложенных ><в ><[Norman, ><1972], ><[Rumelhart ><и ><др., ><1972] ><и ><[Rumelhart ><и ><др., ><1973].>
<Ряд ><исследователей ><уделяли ><большое ><внимание ><дальнейшей ><стандартизации ><имен ><связей ><[Masterman, ><1961], ><[Wilks, ><1972], ><[Schank ><и > 233<<ства ><примитивов ><для ><единообразного ><представления ><семантической ><структуры ><выраже><ний ><естественного ><языка. ><Эти ><множества ><призваны ><помочь ><в ><реализации ><рассуждений ><с ><использованием ><элементов ><языка. ><Они ><должны ><быть ><независимы ><от ><индивидуальных ><особенностей ><отдельных ><языков ><или ><фраз.>
<Возможно, ><наиболее ><амбициозной ><попыткой ><формального ><моделирования ><глубинных ><семантических ><структур ><естественного ><языка ><является ><теория ><концептуальной ><зависимо><сти ><(conceptual >
<РР ><- ><объекты ><(picture >
<АА ><- ><модификаторы ><действий ><(action >
<Предполагается, ><что ><каждое ><из ><действий ><должно ><приводить ><к ><созданию ><одного ><или ><нескольких ><примитивов >
<Эти ><примитивы ><используются ><для ><определения ><отношений ><концептуальной ><зави><симости, ><которые ><описывают ><смысловые ><структуры, ><такие ><как ><падежные ><отношения ><или ><связи ><объектов ><и ><значений. ><Отношения ><концептуальной ><зависимости ><- ><это ><кон><цептуальные ><синтаксические ><правила, ><которые ><выражают ><семантические ><связи ><в ><соответствии ><с ><грамматикой ><языка. ><Эти ><отношения ><могут ><быть ><использованы ><для ><конструирования ><внутреннего ><представления ><английского ><предложения. ><На ><рис. ><6.6 ><представлен ><список ><основных ><концептуальных ><зависимостей ><[Schank ><и > 234> <><235><<<>
<Рис. ><6.8. ><Некоторые ><базовые ><концептуальные ><зависимости, ><взятые ><из ><работы ><[Schank ><и > <<И, ><наконец, ><ко ><множеству ><концепций ><может ><быть ><добавлена ><временная ><и ><модальная ><информация. ><Шенк ><приводит ><следующий ><список ><модификаторов ><отношений.> <р ><- ><прошедшее ><время>
<- ><вопрос>
<с ><- ><условие> <- ><отрицание>
<В ><рамках ><теории ><эти ><отношения ><считаются ><конструкциями ><первого ><уровня ><- ><простейши><ми ><семантическими ><отношениями, ><на ><основе ><которых ><могут ><быть ><построены ><более ><сложные ><структуры. ><Примеры ><того, ><как ><эти ><базовые ><концептуальные ><зависимости ><могут ><сочетаться ><для ><представления ><смысла ><простых ><английских ><предложений, ><показаны ><на ><рис. ><6.8.>
<На ><рис. ><6.9 ><показано, ><как ><на ><основе ><этих ><примитивов ><представляется ><выражение ><"John > ?-<><указывает ><направление ><зависимости;> <- ><обозначает ><отношение ><агент-глагол;> <р ><- ><указывает ><на ><прошедшее ><время;>
<О ><- ><обозначает ><объектное ><отношение;>
<Другим ><примером ><структур, ><которые ><могут ><быть ><построены ><на ><основе ><концептуаль><ных ><зависимостей, ><является ><графическое ><представление ><предложения ><"John > <> <>
<Рис. ><6.9. ><Концептуальная ><зависимость, ><пред><ставляющая ><выражение ><"John >
<Рис. ><6.10. ><Представление ><концептуальной ><за><висимости ><для ><предложения ><"John > <><236>
<Часть > ><<Теория ><концептуальной ><зависимости ><имеет ><ряд ><важных ><преимуществ. ><Во-первых, ><за ><счет ><построения ><формальной ><теории ><семантик ><естественного ><языка ><уменьшаются ><проблемы, ><связанные ><с ><двусмысленностью. ><Во-вторых, ><само ><представление ><в ><про><цессе ><построения ><канонической ><формы ><смысла ><выражений ><охватывает ><много ><есте><ственно-языковых ><семантик. ><Это ><означает, ><что ><все ><выражения, ><которые ><имеют ><один ><и ><тот ><же ><смысл, ><будут ><внутренне ><представлены ><синтаксически ><идентичными, ><а ><не ><только ><семантически ><эквивалентными ><графами. ><Это ><каноническое ><представление ><- ><попытка ><упростить ><выводы, ><требуемые ><для ><понимания. ><Например, ><мы ><можем ><про><демонстрировать, ><что ><два ><выражения ><означают ><одну ><и ><ту ><же ><сущность, ><с ><помощью ><простого ><сопоставления ><графов ><концептуальной ><зависимости. ><Представление, ><кото><рое ><не ><обеспечивает ><канонической ><формы, ><может ><потребовать ><большого ><количества ><операций ><на ><графах ><различной ><структуры.> <К ><сожалению, ><процесс ><преобразования ><выражений ><в ><каноническую ><форму ><вряд ><ли ><можно ><полностью ><алгоритмизировать. ><Как ><отмечено ><в ><[Woods, ><1985] ><и ><других ><работах, ><преобразование ><в ><каноническую ><форму ><нельзя ><реализовать ><даже ><для ><моноидов ><- ><алгеб><раических ><групп, ><которые ><значительно ><проще, ><чем ><естественный ><язык. ><Более ><того, ><нет ><уверенности, ><что ><люди ><запоминают ><свои ><знания ><в ><какой-нибудь ><канонической ><форме.> <Критические ><замечания ><высказывались ><также ><по ><поводу ><вычислительной ><слож><ности ><преобразования ><предложения ><в ><набор ><примитивов ><низкого ><уровня. ><Кроме ><то><го, ><сами ><примитивы ><не ><позволяют ><охватить ><многие ><более ><тонкие ><понятия, ><играющие ><важную ><роль ><в ><использовании ><естественного ><языка. ><Например, ><представление ><слова ><"tall" ><("высокий") ><во ><втором ><выражении ><на ><рис. ><6.8 ><не ><учитывает ><неопределенность ><этого ><термина, ><как ><это ><делается ><в ><системах ><нечеткой ><логики ><[Zadeh, ><1983], ><описан><ных ><в ><разделе ><7.3.> <Однако ><нельзя ><сказать, ><что ><модель ><концептуальной ><зависимости ><интенсивно ><не ><изучалась ><и ><не ><была ><хорошо ><понята. ><Уточнение ><и ><расширение ><этой ><модели ><продол><жалось ><более ><десяти ><лет. ><Важными ><для ><развития ><теории ><концептуальных ><зависимо><стей ><являются ><работы, ><посвященные ><сценариям ><и ><пакетам ><организации ><памяти. ><Ра><боты ><по ><сценариям ><связаны ><с ><изучением ><организации ><знаний ><в ><памяти ><и ><ее ><роли ><в ><рассуждениях ><(см. ><подраздел ><6.1.4). ><Пакеты ><организации ><памяти ><стали ><одной ><из ><вспомогательных ><исследовательских ><областей ><для ><разработки ><механизмов ><рассуж><дений, ><основанных ><на ><опыте ><(раздел ><7.3). ><Теория ><концептуальной ><зависимости ><явля><ется ><полностью ><разработанной ><моделью ><семантики ><естественного ><языка. ><Она ><широ><ко ><применяется ><и ><дает ><непротиворечивые ><результаты.> <6.1.4. ><Сценарии> <Программа, ><понимающая ><естественный ><язык, ><должна ><использовать ><большое ><ко><личество ><исходных ><знаний, ><чтобы ><понять ><даже ><простейший ><разговор ><(раздел ><13.0). ><Согласно ><экспериментальным ><данным ><люди ><организуют ><это ><знание ><в ><структуры, ><со><ответствующие ><типовым ><ситуациям ><[Bartlett, ><1932]. ><Читая ><статью ><о ><ресторанах, ><бейсболе ><или ><политике, ><мы ><устраняем ><любые ><двусмысленности ><в ><тексте ><с ><учетом ><тематики ><статьи. ><Если ><сюжет ><статьи ><неожиданно ><меняется, ><человек ><делает ><краткую ><паузу ><в ><процессе ><чтения, ><необходимую ><для ><модификации ><структуры ><знания. ><Воз><можно, ><слабо ><структурированный ><текст ><тяжело ><понять ><именно ><потому, ><что ><мы ><не ><можем ><с ><легкостью ><связать ><его ><с ><какой-нибудь ><из ><структур ><знания. ><В ><этом ><случае ><ошибки ><понимания ><возникают ><из-за ><того, ><что ><мы ><не ><можем ><решить, ><какой ><контекст 237> <<использовать ><для ><разрешения ><неопределенных ><местоимении ><и ><других ><двусмыслен><ностей ><разговора.>
<Сценарий ><(script) ><- ><это ><структурированное ><представление, ><описывающее ><стереотип><ную ><последовательность ><событий ><в ><частном ><контексте. ><Сценарии ><первоначально ><были ><предложены ><в ><[Schank ><и > <Большинство ><людей ><в ><ресторане ><полностью ><спокойны ><(т.е. ><они ><знают, ><чего ><ожидать ><и ><как ><действовать). ><Их ><либо ><встречают ><на ><входе, ><либо ><знак ><указывает, ><куда ><они ><должны ><пройти, ><чтобы ><сесть. ><Меню ><либо ><лежит ><на ><столе, ><либо ><предоставляется ><официантом, ><ли><бо ><посетитель ><его ><просит. ><Мы ><понимаем ><процедуры ><для ><заказа ><еды, ><принятия ><пищи, ><оп><латы ><счета ><и ><ухода.> <В ><действительности ><ресторанный ><сценарий ><совершенно ><отличается ><от ><других ><сцена><риев ><принятия ><пищи, ><например, ><в ><ресторанах ><"быстрого ><обслуживания" ><или ><в ><рамках ><"официального ><семейного ><обеда". ><В ><сети ><ресторанов ><"быстрого ><обслуживания" ><заказчик ><входит, ><становится ><в ><очередь, ><оплачивает ><заказ ><(до ><принятия ><пищи), ><ожидает ><подноса ><с ><едой, ><берет ><поднос, ><пытается ><найти ><свободный ><стол ><и ><т.д. ><Это ><- ><две ><различные ><после><довательности ><событий, ><и ><каждая ><имеет ><отдельный ><сценарий. ><Сценарий ><включает ><сле><дующие ><компоненты.> <Начальные ><условия, ><которые ><должны ><быть ><истинными ><при ><вызове ><сценария. ><В ><этом ><сценарии ><они ><включают ><открытый ><ресторан ><и ><голодного ><посетителя, ><имею ><щего ><некоторую ><сумму ><денег.> <Результаты ><или ><факты, ><которые ><являются ><истинными, ><когда ><сценарий ><заверша ><ется; ><например, ><клиент ><сыт ><и ><его ><деньги ><потрачены, ><владелец ><ресторана ><имеет ><больше ><денег.> <Предположения, ><которые ><поддерживают ><контекст ><сценария. ><Они ><могут ><включать ><столы, ><официантов ><и ><меню. ><Множество ><предположений ><описывают ><принятые ><по ><умолчанию ><условия ><реализации ><сценария. ><Например, ><предполагается, ><что ><ресто ><ран ><должен ><иметь ><столы ><и ><стулья, ><если ><не ><указано ><противоположное.> <Роли ><являются ><действиями, ><которые ><совершают ><отдельные ><участники. ><Офи ><циант ><принимает ><заказы, ><доставляет ><пищу ><и ><выставляет ><счет. ><Клиент ><делает ><заказ, ><ест ><и ><платит.> <Сцены. ><Шенк ><(Schank) ><разбивает ><сценарий ><на ><последовательность ><сцен, ><каждая ><из ><которых ><представляет ><временные ><аспекты ><сценария. ><Сценарий ><похода ><в ><ресторан ><включает ><следующие ><сцены: ><вход, ><заказ, ><принятие ><пищи ><и ><т.д.> <Элементы ><сценария ><- ><основные ><"части" ><семантического ><значения ><- ><представляют><ся ><отношениями ><концептуальной ><зависимости. ><Собранные ><вместе ><во ><фреймоподобной ><структуре ><они ><представляют ><последовательность ><значений ><или ><событий. ><Описанный ><выше ><сценарий ><посещения ><ресторана ><представлен ><на ><рис. ><6.11. 238> <<>
<Рис. ><6.11. ><Сценарий ><посещения ><ресторана ><[Schank ><и >
<Описанная ><в ><[Schank ><и > <><Глава ><6. ><Представление ><знаний> <239> ><<условиями ><сценария, ><программа ><связывает ><объекты, ><представленные ><в ><рассказе, ><с ><роля><ми ><и ><предположениями, ><упомянутыми ><в ><сценарии. ><Результатом ><является ><расширенное ><представление ><контекста ><рассказа, ><использующее ><сценарий ><для ><заполнения ><отсутствую><щей ><информации ><и ><предположений ><по ><умолчанию. ><Затем ><программа ><отвечает ><на ><вопро><сы ><о ><рассказе, ><ссылаясь ><на ><сценарий. ><Сценарий ><допускает ><рациональные ><предположения ><по ><умолчанию, ><которые ><являются ><существенными ><в ><понимании ><естественного ><языка. ><Рассмотрим ><несколько ><примеров.> <Пример ><6.1.1>
<Используя ><сценарий, ><система ><может ><правильно ><ответить ><на ><вопросы ><о ><том, ><обедал ><ли ><Джон ><прошлым ><вечером ><(рассказ ><лишь ><подразумевает ><это), ><что ><использовал ><Джон: ><на><личные ><или ><кредитную ><карточку, ><как ><Джон ><получил ><меню, ><что ><он ><купил.> <Пример ><6.1.2>
<По ><поводу ><этого ><текста ><логично ><задавать ><следующие ><вопросы. ><Почему ><офици><антка ><принесла ><меню ><Сью? ><Была ><ли ><Сью ><в ><ресторане? ><Кто ><платил? ><Кто ><заказал ><сэн><двич? ><Последний ><вопрос ><достаточно ><сложен. ><Ответ ><"официантка" ><(упомянутая ><по><следней ><женщина) ><является ><неправильным. ><Роли ><сценария ><помогают ><разрешить ><ссылки ><на ><местоимения ><и ><другие ><двусмысленности. ><Сценарии ><также ><могут ><быть ><ис><пользованы ><для ><интерпретации ><неожиданных ><результатов ><или ><прерывания ><деятель><ности ><по ><написанному ><сценарию.>
<Пример ><6.1.3>
<На ><основе ><этого ><рассказа ><можно ><сформулировать ><следующие ><вопросы. ><Кто ><сидел ><и ><ждал? ><Почему ><она ><ждала? ><Кто ><разозлился ><и ><ушел? ><Почему ><она ><разозлилась? ><Отме><тим, ><что ><существуют ><и ><другие ><вопросы, ><на ><которые ><нельзя ><ответить ><с ><помощью ><сце><нария. ><К ><ним ><относится ><следующий. ><Почему ><люди ><злятся, ><когда ><официант ><долго ><не ><приходит? ><Подобно ><любой ><системе, ><основанной ><на ><знаниях, ><сценарии ><требуют ><на><личия ><всей ><необходимой ><базовой ><информации. ><Подобно ><фреймам ><и ><другим ><структу><рированным ><представлениям ><использование ><сценариев ><сопряжено ><с ><определенными ><проблемами, ><включая ><проблему ><соответствия ><сценариев ><и ><чтения ><между ><строк. ><Рассмотрим ><пример ><6.1.4, ><связанный ><со ><сценарием ><посещения ><ресторана ><или ><кон><церта. ><Контекст ><здесь ><играет ><важную ><роль, ><так ><как ><слово ><"bill" ><может ><означать ><как ><счет ><в ><ресторане, ><так ><и ><программу ><концерта. 240> <<Пример ><6.1.4>
<Поскольку ><выбор ><сценария ><обычно ><основан ><на ><соответствии ><"ключевых" ><слов, ><часто ><трудно ><определить, ><какой ><из ><двух ><или ><более ><сценариев ><следует ><использовать. ><Проблема ><соответствия ><сценария ><является ><"глубинной", ><т.е. ><не ><существует ><алгоритма, ><гаранти><рующего ><правильный ><выбор. ><Она ><требует ><эвристических ><знаний ><об ><организации ><мира, ><а ><сценарии ><помогают ><лишь ><в ><организации ><этого ><знания. ><Проблема ><чтения ><между ><строк ><то><же ><очень ><сложна: ><нельзя ><наперед ><указать ><возможные ><случаи, ><которые ><могут ><нарушить ><сценарий. ><Например, ><рассмотрим ><следующую ><ситуацию.> <Пример ><6.1.5> <Здесь ><уместны ><следующие ><вопросы. ><Ела ><ли ><Мелисса ><финиковый ><салат? ><Что ><она ><дела><ла ><дальше? ><Были ><ли ><финики ><Мелиссы ><запачканы? ><Как ><показывает ><этот ><пример, ><структу><рированные ><представления ><могут ><быть ><негибкими. ><Рассуждения ><могут ><быть ><локализова><ны ><в ><одном ><сценарии, ><даже ><если ><он ><не ><соответствует ><ситуации.> <Пакеты ><организации ><памяти ><решают ><проблему ><негибкости ><сценария, ><представляя ><знания ><с ><помощью ><более ><мелких ><компонентов ><вместе ><с ><правилами ><для ><их ><динамического ><связывания ><в ><схемы, ><соответствующие ><текущей ><ситуации ><[Schank, ><1982]. ><Организация ><памяти ><знаний ><особенно ><важна ><для ><реализации ><рассуждений, ><основанных ><на ><опыте, ><в ><ко><торых ><решатель ><должен ><эффективно ><находить ><в ><памяти ><подходящее ><решение ><прежней ><проблемы ><[Kolodner, ><1988a] ><(раздел ><7.3).>
<Проблемы ><организации ><и ><поиска ><знаний ><очень ><трудны ><и ><характерны ><для ><моделирова><ния ><семантического ><значения. ><Евгений ><Черняк ><[Chamiak, ><1972] ><показал, ><какое ><количест><во ><знаний ><требуется ><для ><понимания ><даже ><простых ><детских ><рассказов. ><Рассмотрим ><фраг><мент ><текста, ><описывающий ><вечеринку ><в ><честь ><дня ><рождения: ><"Mary > <6.1.5. ><Фреймы> <Фреймы ><(frame) ><- ><это ><другая ><схема ><представления, ><во ><многом ><подобная ><сценариям ><и ><ориентированная ><на ><включение ><в ><строго ><организованные ><структуры ><данных ><неявных ><(подразумеваемых) ><информационных ><связей, ><существующих ><в ><предметной > ![]() ![]() ![]() ![]() ![]()
|