Библиотека Новые поступления Словарь Карта сайтов Ссылки

Часть 2.

<6.1.5. ><Фреймы>

<Фреймы ><(frame) ><- ><это ><другая ><схема ><представления, ><во ><многом ><подобная ><сценариям ><и ><ориентированная ><на ><включение ><в ><строго ><организованные ><структуры ><данных ><неявных ><(подразумеваемых) ><информационных ><связей, ><существующих ><в ><предметной ><области. ><Это

241>

<<представление ><поддерживает ><организацию ><знаний ><в ><более ><сложные ><единицы, ><которые ><отображают ><структуру ><объектов ><этой ><области.>

<В ><статье ><[Minsky, ><1975] ><фреймы ><описываются ><следующим ><образом.>

<Вот ><суть ><теории ><фреймов. ><Когда ><некто ><встречается ><с ><новой ><ситуацией ><(или ><существенно ><меняет ><свою ><точку ><зрения ><на ><проблему), ><он ><выбирает ><из ><памяти ><структуру, ><называемую ><"фреймом". ><Этот ><сохраненный ><каркас ><при ><необходимости ><должен ><быть ><адаптирован ><и ><при><веден ><в ><соответствие ><с ><реальным ><изменением ><деталей. ><[Minsky, ><1975]>

<В ><соответствии ><с ><[Minsky, ><1975] ><фрейм ><может ><рассматриваться ><как ><статическая ><струк><тура ><данных, ><используемая ><для ><представления ><хорошо ><понятных ><стереотипных ><ситуаций. ><Возможно, ><наше ><собственное ><знание ><о ><мире ><тоже ><организовано ><во ><фреймоподобные ><струк><туры. ><Мы ><приспосабливаемся ><к ><каждой ><новой ><ситуации, ><вызывая ><информацию, ><основан><ную ><на ><опыте. ><Затем ><мы ><адаптируем ><эти ><знания ><в ><соответствии ><с ><новой ><ситуацией.>

<Например, ><достаточно ><один ><раз ><остановиться ><в ><гостинице, ><чтобы ><составить ><представ><ление ><о ><всех ><гостиничных ><номерах. ><Там ><почти ><всегда ><есть ><кровать, ><ванная, ><место ><для ><че><модана, ><телефон, ><аварийно-эвакуационная ><информация ><на ><внутренней ><стороне ><двери ><и ><т.д. ><Детали ><каждого ><номера ><при ><необходимости ><могут ><изменяться. ><Может ><варьироваться ><цвет ><портьер, ><расположение ><и ><тип ><выключателей ><и ><т.п. ><С ><фреймом ><гостиничного ><номера ><связана ><также ><информация, ><принимаемая ><по ><умолчанию. ><Если ><нет ><простыней, ><нужно ><вы><звать ><горничную, ><если ><нужен ><лед, ><необходимо ><посмотреть ><в ><холле ><и ><т.д. ><Нам ><не ><надо ><подстраивать ><сознание ><для ><каждого ><нового ><гостиничного ><номера. ><Все ><элементы ><обоб><щенного ><номера ><организуются ><в ><концептуальную ><структуру, ><к ><которой ><мы ><обращаемся, ><когда ><останавливаемся ><в ><гостинице.>

<Эти ><высокоуровневые ><структуры ><можно ><представить ><в ><семантической ><сети, ><организуя ><ее ><как ><совокупность ><отдельных ><сетей, ><каждая ><из ><которых ><представляет ><некоторую ><сте><реотипную ><ситуацию. ><Фреймы ><так ><же, ><как ><объектно-ориентированные ><системы, ><обес><печивают ><механизм ><подобной ><организации, ><представляя ><сущности ><как ><структурирован><ные ><объекты ><с ><поименованными ><ячейками ><и ><связанными ><с ><ними ><значениями. ><Таким ><об><разом, ><фрейм ><или ><схема ><рассматривается ><как ><единая ><сложная ><сущность.>

<Например, ><гостиничный ><номер ><и ><его ><компоненты ><могут ><быть ><описаны ><рядом ><отдель><ных ><фреймов. ><Помимо ><кровати ><во ><фрейме ><должен ><быть ><представлен ><стул: ><ожидаемая ><высота ><- ><от ><20 ><до ><40 ><см, ><число ><ножек ><- ><4, ><значение ><по ><умолчанию ><- ><предназначен ><для ><сидения. ><Далее ><фрейм ><представляет ><гостиничный ><телефон: ><это ><вариант ><обычного ><теле><фона, ><но ><расчет ><за ><переговоры ><связывается ><с ><оплатой ><гостиничного ><номера. ><По ><умолча><нию ><существует ><специальный ><гостиничный ><коммутатор, ><и ><человек ><может ><использовать ><этот ><телефон ><для ><заказа ><еды ><в ><номер, ><внешних ><звонков ><и ><получения ><других ><услуг. ><На ><рис. ><6.12 ><изображен ><фрейм, ><представляющий ><гостиничный ><номер.>

<Каждый ><отдельный ><фрейм ><можно ><рассматривать ><как ><структуру ><данных, ><во ><многом ><подобную ><обычной ><"записи", ><с ><информацией, ><соответствующей ><стереотипным ><сущно><стям. ><Ячейки ><фрейма ><содержат ><такую ><информацию.>

<Данные ><для ><идентификации ><фрейма.>

<Взаимосвязь ><этого ><фрейма ><с ><другими ><фреймами. ><"Гостиничный ><телефон" ><может

><служить ><специальным ><экземпляром ><"телефона", ><который, ><в ><свою ><очередь, ><может

><служить ><примером ><"механизма ><связи".>

<Дескрипторы ><требований ><для ><фрейма. ><Стул, ><например, ><имеет ><высоту ><сидения ><от

><20 ><до ><40 ><см, ><его ><задняя ><часть ><выше ><60 ><см, ><и ><т.д. ><Эти ><требования ><могут ><быть ><ис

><пользованы ><для ><определения ><соответствия ><новых ><объектов ><стереотипу ><фрейма.

242>

<<>

<Рис. ><6.12. ><Часть ><фрейма, ><описывающего ><гостиничный ><номер. ><"Специализированный" ><класс ><содержит ><указатель ><на ><суперкласс>

<Процедурная ><информация ><об ><использовании ><описанной ><структуры. ><Важной ><особен

><ностью ><фреймов ><является ><возможность ><присоединить ><к ><ячейке ><процедурный ><код.>

<Информация ><по ><умолчанию. ><Это ><значения ><ячейки, ><которые ><должны ><быть ><истинны

><ми, ><если ><не ><найдены ><противоположные. ><Например, ><стулья ><имеют ><4 ><ножки, ><на ><те

><лефонах ><есть ><кнопки, ><гостиничные ><кровати ><заправляются ><персоналом.>

<Информация ><для ><нового ><экземпляра. ><Многие ><ячейки ><фрейма ><могут ><оставаться ><не

><заполненными, ><пока ><не ><указано ><значение ><для ><отдельного ><экземпляра ><или ><пока ><они

><не ><понадобятся ><для ><некоторого ><аспекта ><решения ><задачи. ><Например, ><цвет ><кровати

><может ><оставаться ><неопределенным.>

<Фреймы ><расширяют ><возможности ><семантических ><сетей ><рядом ><важных ><особенно><стей. ><Хотя ><фреймовое ><описание ><гостиничных ><кроватей ><на ><рис. ><6.12 ><может ><быть ><экви><валентно ><сетевому ><описанию, ><фреймовая ><версия ><намного ><яснее ><той, ><в ><которой ><кровать ><описывается ><с ><помощью ><ее ><различных ><атрибутов. ><В ><сетевой ><версии ><существует ><просто ><совокупность ><узлов. ><Такое ><представление ><в ><значительной ><степени ><зависит ><от ><интер><претации ><структуры. ><Возможность ><организации ><знаний ><в ><такие ><структуры ><является ><важным ><свойством ><баз ><знаний.>

<Фреймы ><позволяют ><организовать ><иерархию ><знаний. ><В ><сети ><каждое ><понятие ><представ><ляется ><узлами ><и ><связями ><на ><одном ><и ><том ><же ><уровне ><детализации. ><Однако ><очень ><часто ><для ><одних ><целей ><объект ><необходимо ><рассматривать ><как ><единую ><сущность, ><а ><для ><других ><- ><учитывать ><детали ><его ><внутренней ><структуры. ><Например, ><обычно ><нас ><не ><интересует ><меха><ническое ><устройство ><автомобиля, ><пока ><что-то ><не ><сломается. ><При ><обнаружении ><поломки ><мы ><достаем ><схему ><автомобильного ><двигателя ><и ><пытаемся ><устранить ><проблему.>

<Процедурные ><вложения ><являются ><важным ><свойством ><фреймов, ><так ><как ><они ><по><зволяют ><связать ><фрагменты ><программного ><кода ><с ><соответствующими ><сущностями>

<><Глава ><6. ><Представление ><знаний>

<243>

><<фреймового ><представления. ><Например, ><в ><базу ><знаний ><можно ><включить ><возможность ><генерировать ><графические ><образы. ><Для ><этого ><больше ><подходит ><графический ><язык, ><чем ><сетевой. ><С ><помощью ><процедурных ><вложений ><можно ><создавать ><демоны ><(demon). ><Демон ><- ><это ><процедура, ><которая ><является ><побочным ><эффектом ><некоторого ><другого ><действия ><в ><базе ><знаний. ><Например, ><при ><каждом ><изменении ><определенной ><ячейки ><в ><системе ><можно ><запускать ><процедуру ><контроля ><соответствия ><типов ><или ><тест ><непроти><воречивости.>

<Системы ><фреймов ><поддерживают ><наследование ><классов. ><Значения ><ячеек ><и ><используе><мые ><по ><умолчанию ><значения ><класса ><наследуются ><через ><иерархию ><класс/подкласс ><и ><класс/член. ><Например, ><гостиничный ><телефон ><можно ><реализовать ><как ><подкласс ><обычного ><телефона, ><обладающий ><следующими ><особенностями: ><внешние ><звонки ><проходят ><через ><коммутатор ><гостиницы ><(для ><расчета), ><и ><гостиничные ><услуги ><можно ><заказывать ><по ><пря><мому ><номеру. ><Некоторым ><ячейкам ><можно ><присвоить ><значения ><по ><умолчанию. ><Они ><ис><пользуются, ><если ><нет ><другой ><информации. ><Например, ><в ><гостиничных ><номерах ><стоят ><кро><вати, ><поэтому ><туда ><необходимо ><идти, ><если ><вы ><хотите ><спать. ><Если ><вы ><не ><знаете, ><как ><по><звонить ><портье, ><попытайтесь ><набрать ><"нуль".>

<Когда ><создается ><экземпляр ><фрейма ><класса, ><система ><будет ><пытаться ><заполнить ><его ><ячейки ><либо ><заданными ><пользователем ><значениями, ><либо ><значениями ><по ><умолчанию, ><взятыми ><из ><фрейма ><класса, ><либо ><выполнит ><некоторую ><процедуру ><или ><демон ><для ><получе><ния ><значения ><экземпляра. ><Как ><и ><в ><семантических ><сетях, ><ячейки ><и ><значения ><по ><умолчанию ><наследуются ><через ><иерархию ><класс/подкласс. ><Конечно, ><используемая ><по ><умолчанию ><ин><формация ><может ><привести ><к ><немонотонности ><описания ><данных, ><поскольку ><корректность ><такой ><информации ><не ><всегда ><можно ><доказать ><(см. ><раздел ><8.1).>

<В ><работе ><[Minsky, ><1975] ><приводится ><пример ><использования ><фреймов ><в ><рассуждениях ><по ><умолчанию. ><Рассматривается ><задача ><выявления ><ситуации, ><в ><которой ><различные ><про><екции ><объекта ><на ><самом ><деле ><представляют ><один ><и ><тот ><же ><объект. ><Например, ><три ><проек><ции ><куба ><на ><рис. ><6.13 ><действительно ><выглядят ><различными. ><В ><[Minsky, ><1975] ><предложена ><система ><фреймов, ><которая ><распознает ><их ><как ><проекции ><одного ><и ><того ><же ><объекта, ><по ><умолчанию ><учитывая ><наличие ><невидимых ><сторон.>

<Система ><фреймов ><на ><рис. ><6.13 ><представляет ><четыре ><плоскости ><куба. ><Штриховые ><линии ><показывают ><плоскости, ><невидимые ><в ><этой ><проекции. ><Связи ><между ><фреймами ><от><ражают ><отношения ><между ><видами, ><которые ><представлены ><фреймами. ><Конечно, ><если ><бы ><учитывалась ><дополнительная ><информация ><о ><цветах ><или ><узорах ><граней, ><узлы ><были ><бы ><более ><сложными. ><В ><действиетльности ><каждая ><ячейка ><фрейма ><может ><содержать ><ука><затель ><на ><другой ><фрейм. ><Это ><позволит ><избежать ><избыточности ><информации, ><поскольку ><одни ><и ><те ><же ><данные ><можно ><использовать ><в ><нескольких ><различных ><ячейках ><(плоскость ><Енарис. ><6.13).>

<Фреймы ><расширяют ><возможности ><семантических ><сетей, ><позволяя ><представлять ><слож><ные ><объекты ><не ><в ><виде ><большой ><семантической ><структуры, ><а ><в ><виде ><единой ><сущности ><(фрейма). ><Это ><также ><позволяет ><естественным ><образом ><представить ><стереотипные ><сущно><сти, ><классы, ><наследование ><и ><значения ><по ><умолчанию. ><Хотя ><фреймы, ><подобно ><логическим ><и ><сетевым ><представлениям, ><являются ><мощным ><средством, ><многие ><проблемы ><организации ><сложных ><баз ><знаний ><все ><же ><должны ><решаться ><на ><основе ><опыта ><и ><интуиции ><программиста. ><Исследования, ><проведенные ><в ><1970-х ><годах ><в ><Массачусетском ><технологическом ><институ><те ><и ><исследовательском ><центре ><привели ><к ><разработке ><философии ><объектно-ориентированного ><программирования ><и ><созданию ><важных ><языков ><реализации, ><включая ><и, ><наконец, ><(раздел ><15.12).

244>

<<>

<Рис. ><6.13. ><Пространственный ><фрейм ><для ><представления ><куба ><[Minsky, ><1975a]>

<6.2. ><Концептуальные ><графы: ><сетевой ><язык>

<><Вслед ><за ><первыми ><работами ><по ><созданию ><схем ><представления ><в ><ИИ ><(раздел ><6.1) ><был ><предложен ><ряд ><сетевых ><языков ><для ><моделирования ><семантики ><естественного ><языка ><и ><других ><областей. ><В ><этом ><разделе ><мы ><детально ><рассмотрим ><конкретный ><формализм, ><что><бы ><показать, ><как ><этими ><средствами ><решаются ><задачи ><представления ><смысла. ><Примером ><сетевого ><языка ><представления ><являются ><концептуальные ><графы ><[Sowa, ><1984]. ><Мы ><опре><делим ><правила ><формирования ><концептуальных ><графов ><и ><манипулирования ><ими, ><а ><также ><опишем ><соглашения ><для ><представления ><классов, ><экземпляров ><и ><отношений. ><В ><подразде><ле ><13.3.2 ><показывается, ><как ><этот ><формализм ><может ><быть ><использован ><для ><представления ><смысла ><в ><задачах ><понимания ><естественного ><языка.>

<6.2.1. ><Введение ><в ><теорию ><концептуальных ><графов>

<Концептуальный ><граф ><(conceptual ><- ><это ><конечный, ><связанный, ><двудольный ><граф. ><Узлы ><графа ><представляют ><понятия, ><или ><концептуальные ><отношения. ><В ><концепту><альных ><графах ><метки ><дуг ><не ><используются. ><Отношения ><между ><понятиями ><представляют><ся ><узлами ><концептуальных ><отношений. ><На ><рис. ><6.14 ><узлы ><(собака) ><и ><(коричневый) ><представляют ><понятия, ><(цвет)- ><концептуальное ><отношение. ><Чтобы ><различать ><эти ><типы ><узлов, ><узлы ><понятий ><будем ><представлять ><прямоугольниками, ><а ><концептуальные ><отношения ><- ><эллипсами.>

<В ><концептуальных ><графах ><узлы ><понятий ><представляют ><либо ><конкретные, ><либо ><абст><рактные ><объекты ><в ><мире ><рассуждений. ><Конкретные ><понятия, ><такие ><как ><кошка, ><телефон ><или ><ресторан, ><характеризуются ><нашей ><способностью ><сформировать ><их ><образ. ><Отметим, ><что ><к ><конкретным ><относятся ><обобщенные ><понятия, ><например, ><(кошка) ><или ><(ресторан), ><а ><также ><понятия ><конкретных ><кошек ><и ><ресторанов. ><Мы ><можем ><также ><сформировать ><образ ><обобщенной ><кошки. ><Абстрактные ><понятия ><включают ><такие ><абстрак><ции ><как ><любовь, ><красота, ><верность, ><для ><которых ><не ><существует ><образов ><в ><нашем ><вообра->

<><Глава ><6. ><Представление ><знаний>

<245>

><<жении. ><Узлы ><концептуальных ><отношений ><описывают ><отношения, ><включающие ><одно ><или ><несколько ><понятий. ><Одним ><из ><преимуществ ><концептуальных ><графов ><без ><использования ><помеченных ><дуг ><является ><простота ><представления ><отношений ><любой ><арности. ><-арное ><отношение ><представляется ><узлом ><концептуального ><отношения, ><имеющего ><дуг, ><как ><по><казано ><на ><рис. ><6.14.>

<Каждый ><концептуальный ><граф ><представляет ><одно ><высказывание. ><Типовая ><база ><знаний ><будет ><состоять ><из ><ряда ><таких ><графов. ><Графы ><могут ><быть ><произвольной ><сложности, ><но ><они ><должны ><быть ><конечными. ><Например, ><граф ><на ><рис. ><6.14 ><представляет ><высказывание ><"А ><("Собака ><коричневого ><цвета"). ><На ><рис. ><6.15 ><изображен ><более ><сложный ><граф, ><представляющий ><высказывание ><"Mary ><("Мэри ><дала ><Джону ><книгу"). ><В ><этом ><графе ><концептуальные ><отношения ><используются ><для ><представле><ния ><форм ><глагола ><"give" ><("давать"). ><Из ><этого ><примера ><ясно, ><как ><концептуальные ><графы ><используются ><для ><моделирования ><семантики ><естественного ><языка.>

<Рис. ><6.15. ><Граф ><предложения ><"Mary >

<6.2.2. ><Типы, ><экземпляры ><и ><имена>

<Разработчики ><первых ><семантических ><сетей ><в ><основном ><не ><заботились ><об ><определении ><отношений ><класс-элемент ><и ><класс-подкласс, ><в ><результате ><чего ><возникала ><семантическая ><неоднозначность. ><Например, ><отношение ><между ><экземпляром ><и ><его ><классом ><отличается ><от ><отношения ><между ><классом ><(собака) ><и ><его ><суперклассом ><(плотоядные). ><Подобным ><обра><зом ><одни ><свойства ><принадлежат ><экземплярам, ><а ><другие ><- ><самим ><классам. ><В ><связи ><с ><этим ><представление ><должно ><обеспечить ><механизм ><для ><такого ><различия. ><Свойства ><"иметь ><мех" ><и ><"любить ><кости" ><относятся ><к ><отдельным ><собакам, ><а ><сам ><класс ><"собака" ><не ><обладает ><свойствами ><"иметь ><мех" ><или ><"есть ><что ><угодно". ><Свойства, ><соответствующие ><классу, ><включают ><имена ><и ><место ><в ><зоологической ><классификации.>

<><246>

<Часть ><Представление ><и ><разум ><в ><ракурсе ><искусственного ><интеллекта>

><<В ><концептуальных ><графах ><каждое ><понятие ><является ><уникальным ><экземпляром ><кон><кретного ><типа. ><Каждый ><прямоугольник ><понятия ><снабжается ><меткой ><типа, ><определяющей ><класс ><или ><тип ><экземпляра, ><представленного ><этим ><узлом. ><Таким ><образом, ><узел, ><снабжен><ный ><меткой ><(собака), ><представляет ><некоторый ><объект ><этого ><типа. ><Типы ><имеют ><ие><рархическую ><структуру. ><Тип ><(собака) ><является ><подтипом ><типа ><(плотоядные), ><который, ><в ><свою ><очередь, ><является ><подтипом ><(млекопитающие) ><и ><т.д. ><Прямоугольники ><с ><одной ><и ><той ><же ><меткой ><типа ><отражают ><понятия ><одного ><и ><того ><же ><типа. ><Однако ><эти ><прямоугольники ><могут ><либо ><представлять, ><либо ><не ><представлять ><одно ><и ><то ><же ><индивидуальное ><понятие.>

<Каждый ><прямоугольник ><понятия ><помечается ><именами ><типа ><и ><экземпляра. ><Метки ><типа ><и ><экземпляра ><отделяются ><двоеточием. ><Граф ><на ><рис. ><6.16 ><показывает, ><что ><собака ><- ><коричневая. ><Граф ><на ><рис. ><6.17 ><означает, ><что ><некая ><неспецифицированная ><сущность ><типа ><имеет ><коричневый ><цвет. ><Если ><экземпляр ><не ><указан, ><понятие ><представляет ><неспеци-><фицированный ><индивидуум ><этого ><типа.>

<Концептуальные ><графы ><позволяют ><также ><описывать ><конкретные, ><но ><неименованные ><экземпляры. ><Для ><обозначения ><каждого ><экземпляра ><в ><мире ><рассуждений ><используется ><уникальный ><дескриптор, ><называемый ><маркером ><(marker). ><Он ><представляет ><собой ><число, ><перед ><которым ><расположен ><символ ><"#". ><Маркеры ><отличаются ><от ><имен ><тем, ><что ><они ><яв><ляются ><уникальными: ><экземпляр ><может ><иметь ><одно ><имя, ><несколько ><имен ><или ><вовсе ><быть ><безымянным, ><но ><он ><имеет ><ровно ><один ><маркер. ><Подобным ><образом ><различные ><экземпляры ><могут ><быть ><тезками, ><но ><не ><могут ><иметь ><один ><и ><тот ><же ><маркер. ><Это ><различие ><дает ><возмож><ность ><преодолевать ><семантические ><неоднозначности, ><возникающие ><при ><именовании ><объ><ектов. ><Граф ><на ><рис. ><6.17 ><означает, ><что ><конкретная ><собака ><#1352 ><- ><коричневая.>

<Рис. ><6.16. ><Концептуальный ><граф, ><показывающий, ><что ><собака ><- ><коричневого ><цвета>

<Рис. ><6.17. ><Концептуальный ><граф, ><показывающий, ><что ><отдельная ><(но ><безымянная) ><собака ><- ><корич><невого ><цвета>

<Маркеры ><позволяют ><отделить ><экземпляры ><от ><их ><имен. ><Если ><собака ><#1352 ><имеет ><имя ><Эмма, ><для ><его ><описания ><можно ><использовать ><концептуальное ><отношение ><(имя). ><Ре><зультатом ><является ><граф ><на ><рис. ><6.18. ><Имя, ><заключенное ><в ><двойные ><кавычки, ><указывает, ><что ><это ><строка. ><Там, ><где ><не ><возникает ><опасность ><неоднозначности, ><мы ><можем ><упростить ><граф ><и ><ссылаться ><на ><экземпляр ><прямо ><по ><имени. ><При ><таком ><соглашении ><граф ><на ><рис. ><6.18 ><эквивалентен ><графу ><на ><рис. ><6.16.>

<Рис. ><6.18. ><Концептуальный ><граф, ><показывающий, ><что ><собака ><с ><именем ><- ><коричневого ><цвета>

<><Глава ><6. ><Представление ><знаний>

<247>

><<Хотя ><как ><в ><разговорной ><речи, ><так ><и ><в ><формальном ><представлении ><мы ><часто ><игнорируем ><различие ><между ><экземпляром ><и ><его ><именем, ><оно ><является ><важным ><и ><должно ><быть ><поддер><жано ><языком ><представления. ><Например, ><если ><мы ><говорим, ><что ><"John" ><- ><обычное ><мужское ><имя, ><мы ><утверждаем, ><что ><это ><свойство ><самого ><имени, ><а ><не ><какого-нибудь ><экземпляра ><с ><име><нем ><Это ><позволяет ><представлять ><такие ><английские ><выражения, ><как ><"Chimpanzee' ><("Шимпанзе ><является ><именем ><вида ><приматов"). ><Подобным ><об><разом ><можно ><представить ><факт ><наличия ><у ><объекта ><нескольких ><имен. ><Граф ><на ><рис. ><6.19 ><представляет ><ситуацию, ><описанную ><в ><лирической ><песне ><Леннона ><и ><Маккартни ><(1968 ><года) ><о ><девушке ><с ><именем ><которая ><называла ><себя ><но ><все ><ее ><знали ><как >

<Рис. ><6.19. ><Концептуальный ><граф ><для ><представле><ния ><человека ><с ><тремя ><именами>

<Вместо ><обращения ><к ><объекту ><по ><маркеру ><или ><по ><имени ><можно ><использовать ><обоб><щенный ><маркер ><* ><для ><определения ><неспецифицированных ><экземпляров. ><Эта ><информация ><часто ><опускается ><в ><метках ><понятий: ><узел, ><заданный ><только ><меткой ><типа ><эквивален><тен ><узлу ><: ><*. ><Дополнительно ><к ><обобщенному ><маркеру ><концептуальные ><графы ><позво><ляют ><использовать ><именованные ><переменные. ><Они ><представляются ><звездочкой, ><за ><кото><рой ><следует ><имя ><переменной ><(например, ><*Х ><или ><*foo)><. ><Это ><полезно, ><если ><два ><отдель><ных ><узла ><должны ><обозначать ><один ><и ><тот ><же, ><но ><не ><указанный ><экземпляр. ><Граф ><на ><рис. ><6.20 ><представляет ><утверждение ><"The ><("Собака ><чешет ><ухо ><лапой"). ><Хотя ><мы ><не ><знаем, ><какая ><собака ><чешет ><свое ><ухо, ><переменная ><*Х ><указывает, ><что ><лапа ><и ><ухо ><принадлежат ><одной ><и ><той ><же ><собаке, ><которая ><чешется.>

<Итак, ><каждый ><узел ><понятия ><означает ><экземпляр ><определенного ><типа. ><Это ><объект, ><от><носящийся ><к ><данному ><понятию, ><или ><объект ><ссылки ><(referent). ><Ссылка ><задается ><либо ><ин><дивидуально, ><либо ><для ><всех ><экземпляров ><в ><целом. ><Если ><для ><объекта ><ссылки ><используется ><маркер ><экземпляра, ><понятие ><является ><конкретным, ><а ><если ><общий ><маркер ><- ><понятие ><счи><тается ><родовым.>

<Рис. ><6.20. ><Концептуальный ><граф ><для ><предложения ><"The >

<><248>

<Часть ><Представление ><и ><разум ><в ><ракурсе ><искусственного ><интеллекта>

><<6.2.3. ><Иерархия ><типов>

<Как ><показано ><на ><рис. ><6.21, ><иерархия ><типов - ><это ><частичное ><упорядочение ><на ><множестве ><типов, ><которое ><можно ><обозначить ><символом ><Если ><и ><- ><есть ><типы ><и ><то ><говорят, ><что ><- ><это ><подтип ><- ><Поскольку ><эта ><систе><матизация ><частична, ><тип ><может ><иметь ><один ><или ><несколько ><супертипов, ><а ><также ><один ><или ><несколько ><подтипов. ><Если ><и ><и ><- ><типы, ><причем ><и ><то ><говорят, ><что ><- ><это ><общий ><подтип ><для >~~<и ><и. ><Подобным ><же ><образом, ><если ><и ><то ><- ><общий ><для >~~<и ><и.>~~~~