45349

Модели представления знаний

Доклад

Информатика, кибернетика и программирование

Декларативная модель представления знаний основывается на предположении что проблема предоставления некоторой предметной области решается независимо от того как эти знания потом будут использоваться. Такую модель можно разделить на две части: статически описательные модели знаний и механизм вывода оперирующий этими структурами и практически независимый от их содержательного наполнения. Декларативные модели представления знаний Семантические сети Семантические сети были предложены американским психологом Куиллианом.

Русский

2013-11-16

64 KB

18 чел.

09 Модели представления знаний

Модели представления знаний можно условно разделить на декларативные и процедурные.

Декларативная модель представления знаний основывается на предположении, что проблема предоставления некоторой предметной области решается независимо от того, как эти знания потом будут использоваться. Такую модель можно разделить на две части: статически описательные модели знаний и механизм вывода, оперирующий этими структурами и практически независимый от их содержательного наполнения. При этом в какой-то степени оказываются раздельными синтаксически и семантические аспекты знания.

В декларативных моделях не содержатся в явном виде описания выполняемых процедур, и модели представляют собой множество утверждений. Предметная область представляется в виде синтаксического описания её состояния (по возможности полного). Вывод решений основывается на процедурах поиска в пространстве состояний.

Декларативные модели представления знаний

Семантические сети

Семантические сети были предложены американским психологом Куиллианом. В основе этого способа представления знаний лежит идея о том, что любые знания можно представить в виде совокупности объектов предметной области и отношений между ними. Семантическая сеть представляет собой ориентированный граф, вершинами которого являются информационные единицы, имеющие индивидуальные имена. В качестве информационной единицы могут выступать события, действия, обобщённые понятия или свойства объектов. Вершины графа соединяются дугой, если соответствующие информационные единицы находятся в каком-либо отношении.

Пример семантической сети:

Рисунок 4.1 – Семантическая сеть

Впервые семантические сети были использованы в конце 50-х годов в системах машинного перевода в качестве языка-посредника. Со временем они развились и стали использоваться в различных областях человеческой деятельности. Начиная с конца 50-ых годов, были созданы и применены на практике десятки вариантов семантических сетей.

Формально семантическую сеть можно представить в виде:

Н = <I, C1, С2,..., Сn, F>,

где I – множество информационных единиц; C1, С2,..., Сn – множество типов связей между информационными единицами; F – отображение, которое задаёт связи из заданного набора типов связей между информационными единицами, входящими в I.

Между информационными единицами можно выделить разные типы связей, которых насчитывается более 200. Помимо универсальных отношений (пространственных, временных, причинно-следственных) существуют и специфические отношения, присущие той или иной предметной области. Можно выделить следующие основными типы связей:

  •  логические (дизъюнкция, конъюнкция, отрицание, импликация);
  •  лингвистические;
  •  теоретико-множественные (часть – целое, множество – подмножество, класс – элемент класса, пример элемента класса);
  •  функциональные (количественные, временные, пространственные и другие характеристики: объект-свойство, свойство-значение);
  •  и т.д.;

В зависимости от количества типов связей семантические сети можно разделить на однородные (с одним типом отношений) и неоднородные, а по типу отношений на: бинарные (отношения связывают два объекта) и n-парные (в которых есть специальные отношения, связывающие более 2-х понятий).

В зависимости от типов связей, используемых в модели, различают классифицирующие сети, функциональные сети и сценарии.

В классифицирующих сетях используются отношения структуризации, к которым, в частности, относятся: отношение is-a (является) и отношение has-part (имеет часть). Такие сети позволяют вводить разные иерархические отношения между информационными единицами, что позволяет избежать дублирования информации.

Функциональные сети характеризуются наличием функциональных отношений. Их часто называют вычислительными моделями, т. к. они позволяют описывать процедуры "вычислений" одних информационных единиц через другие.

В сценариях, используются каузальные (причинно-следственные) отношения типов "средство – результат", "орудие – действие" и т. п.

Основным преимуществом семантических сетей является наглядность представления знаний, а также соответствие современным представлениям об организации долговременной памяти человека. Недостаток – сложность поиска вывода, а также сложность корректировки, т. е. удаления и дополнения сети новыми знаниями.

Примером семантической сети может послужить база знаний Cyc (en-Cyc-lopedia, http://www.cyc.com/), на создание которой ушло более 15 лет, и было потрачено свыше 50 млн. долларов. На сегодня Cyc – одна из лучших в мире экспертно-справочных систем, охватывающая все области знаний и способная делать логические выводы. Только в ядро Cyc вручную было заложено около 1 млн. утверждений.

Фреймы

Слово фрейм происходит от англ. frame, что означает рамка, каркас. Теория представления знаний фреймами была разработана Марвином Минским в 70-е годах XX века. Идея состояла в том, чтобы сконцентрировать все знания о конкретном классе объектов или событий в единой структуре данных.

Фрейм представляет собой структуру данных, дающую целостное представление об объектах, явлениях и их типах в виде абстрактных образов. Структура фрейма записывается в виде списка свойств, называемых во фрейме слотами. Каждый фрейм имеет специальный слот, заполненный наименованием сущности, которую он представляет. Другие слоты заполнены значениями разнообразных атрибутов, ассоциирующихся с объектом. В общем виде фрейм выглядит следующим образом:

N: {<S1, V1, P1>,...,<Sk, Vk, Pk>,...,<Sn, Vn, Pn>},

где N – имя фрейма; Sk – имя слота; Vk – значение слота; Pk – процедура.

Имена фреймов и слотов обеспечивают интерпретируемость хранящихся во фреймах значений. Имена слотов должны быть уникальные в рамках конкретного фрейма. Значением слота являются конкретные данные, которые могут быть практически чем угодно (числа или математические соотношения, тексты на естественном языке, процедура для активизации программы или ссылки на другие слоты как данного фрейма, так и других фреймов).

Например, ситуация "лекция" может быть определена как "чтение лектором учебного материала слушателям". Фрейм "лекция" может содержать слоты "предмет" (предмет, по которому проводится лекция), "лектор" (ФИО лектора), "аудитория" (место проведения лекции), "слушатели" (группы) и т.п.

Лекция

Предмет

Интеллектуальные информационные системы

Лектор

Рак И.П.

Аудитория

С348

Слушатели

ЮИ31

В данном примере "ЛЕКЦИЯ" – название фрейма; "ПРЕДМЕТ", "ЛЕКТОР", "АУДИТОРИЯ", "СЛУШАТЕЛИ" – название слотов; "Интеллектуальные информационные системы", " Рак И.П.", "С348", "ЮИ31" – значения слотов.

Фрейм может содержать процедуры, которые будут выполняться при определенных условиях (при записи или удалении информации из слота, при обращении к слоту, в котором отсутствуют данные и т.д.). Идея состоит в том, чтобы выполнение большей части вычислений, связанных с решением проблемы, явилось побочным эффектом передачи данных во фрейм или извлечения данных из него.

Процедуры, подключенные к структуре данных и запускаемые на выполнение при появлении запроса или обновлении информации в структуре, называют демонами.

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

Фрейм может наследовать информацию от множества предшественников в системе фреймов, что возможно из-за наличия AKO-связей (A-Kind-Of), которые связывают фреймы с фреймами, находящимися на уровень выше в иерархии.

Человек

Лектор

AKO

Млекопитающее

AKO

Человек

РОСТ

50 - 250

Образование

Высшее

Возраст

0 - 120

Возраст

28-70

Умеет

Мыслить

Работает

В университете

В данном случае представлено одно звено иерархии (ЧЕЛОВЕК-ЛЕКТОР). Здесь фрейм "ЧЕЛОВЕК" является обобщающим для фрейма "ЛЕКТОР". Таким образом, фрейм "ЛЕКТОР" наследует от фрейма "ЧЕЛОВЕК" значение слота "УМЕЕТ" (а также других слотов, не показанных в примере). Цепочка наследования может быть продолжена.

Если одно и тоже свойство указывается в нескольких связанных между собой фреймах, то приоритет отдается нижестоящему фрейму. Так, значения "ВОЗРАСТ" фрейма "ЛЕКТОР" не наследуется из вышестоящих фреймов.

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

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

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

В настоящее время универсальным средством для представления знаний являются объектно-ориентированные языки программирования, которые способны реализовать все особенности фреймовой модели.


Стипендия

тудент

ВУЗ

Университет

Человек

Преподаватель

получает

учится в

это

это

сдает экзамены

это

работает в


 

А также другие работы, которые могут Вас заинтересовать

67865. Іслам – наймолодша світова релігія 45 KB
  Особливості релігійно – культурних традицій ісламу: злиття духовного і світського початків, політичної адміністрації і релігійної влади; в жодній мусульманській державі не існувало організованої церкви, яка б до того ж протистояла державі; це сприяло абсолютизації релігійного...
67866. Basic formulas of combinatorial analysis 50.91 KB
  A reliable (universal) event is an event that necessarily will happen if a certain set of conditions S holds. For example, if a vessel contains water with a normal atmospheric pressure and temperature 20 degrees, the event «water in a vessel is in a liquid state» is reliable.
67867. О ГРАЖДАНСКО-ПРАВОВОМ СОДЕРЖАНИИ ПОНЯТИЯ «МЕДИЦИНСКАЯ УСЛУГА» 97.5 KB
  Понятие услуги имеет принципиальное значение для определения существенного условия гражданских правоотношений складывающихся в сфере медицинского обслуживания – их предмета. Услуги по определению К. Маркса представляют собой особую потребительскую стоимость поскольку...
67868. ФОРМЫ (ВИДЫ) ОГРАНИЧЕНИЙ ОСНОВНЫХ ПРАВ И СВОБОД И ИХ КОНСТИТУЦИОННО-ПРАВОВОЕ ЗАКРЕПЛЕНИЕ 95.5 KB
  Малько применимая к характеристике видов общеправовых ограничений не годится для анализа видов конституционно-правовых ограничений или может быть использована частично. Виды ограничений он классифицирует по следующим основаниям признакам: – по способу формулирования в законе на прямые...
67869. МЕСТО ПРАВА НА ЛИЧНУЮ НЕПРИКОСНОВЕННОСТЬ В СИСТЕМЕ ОСНОВНЫХ ПРАВ И СВОБОД ЧЕЛОВЕКА И ГРАЖДАНИНА В РОССИЙСКОЙ ФЕДЕРАЦИИ 167 KB
  Право на личную неприкосновенность занимает одно из ведущих мест в системе личных конституционных прав и свобод человека. Личные права и свободы составляют первооснову правового статуса человека и гражданина являются важнейшим элементом всей системы прав и свобод и во многом характеризуют...
67870. СОДЕРЖАНИЕ ПРИНЦИПОВ НОРМАТИВНО-ПРАВОВОГО РЕГУЛИРОВАНИЯ НАЛОГОВЫХ ОТНОШЕНИЙ 106 KB
  Принципы регулирования налоговых правоотношений это основополагающие и руководящие идеи ведущие положения определяющие начала правового регулирования налогообложения. Поэтому основные принципы налоговых правоотношений одновременно выступают принципами налогового права.
67871. ФОРМИРОВАНИЕ ЗАКОНОДАТЕЛЬНОГО ОРГАНА ЯПОНИИ 65.5 KB
  По Конституции обе палаты обладали одинаковыми правами. Однако на практике палата пэров играла большую роль, т.к. она состояла из членов императорской фамилии, титулованной аристократии и финансовой знати. Влиятельность ее была гораздо выше...
67872. ПРАВОВОЙ СТАТУС И МЕСТО В СИСТЕМЕ ТАМОЖЕННЫХ ОРГАНОВ СЛУЖБЫ КОНТРОЛЯ СОБЛЮДЕНИЯ ЗАКОНОДАТЕЛЬСТВА В ТАМОЖЕННОМ ДЕЛЕ ФТС 114.5 KB
  В общем виде систему таможенных органов можно представить как обусловленную функциональной общностью единством целей и задач непосредственное осуществление таможенного дела совокупность таможенных органов. Она объединена функциональным единством органов...
67873. КОНСТИТУЦИОННЫЕ ГАРАНТИИ ПРАВ И СВОБОД ЧЕЛОВЕКА И ИХ ВЛИЯНИЕ НА ФОРМИРОВАНИЕ УГОЛОВНОЙ ПОЛИТИКИ РОССИЙСКОГО ГОСУДАРСТВА 134 KB
  Уголовная политика является составной частью социальной политики любого государства. С содержательной стороны она представляет собой такое направление политики которое определяется программой борьбы с преступностью и причинами ее порождающими...