Семантические (смысловые) сети

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

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

Фреймы

Фреймы (от англ. frame — каркас или рамка), структура знаний для восприятия пространственных сцен. Под фреймом понимается абстрактный образ или ситуация.

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

(Имя фрейма:

Имя слота 1(значение слота 1)

Имя слота 2(значение слота 2)

......................

Имя слота К (значение слота К)).

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

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

Связи между фреймами задаются значениями специального слота с именем «Связь». Часть специалистов по ИС считает, что нет необходимости специально выделять фреймовые модели в представлении знаний, т.к. в них объединены все основные особенности моделей остальных типов.

Продукционная модель

Продукционная модель, или модель, основанная на правилах, позволяет представить знания в виде предложений типа: Если (условие), то (действие).

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

Билет № 10
1. Схема коммуникаций.

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

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

Чтобы передаваемое сообщение было понятно должны выполняться следующие условия:

1. предметная область А должна содержаться в предметной области В приемника информации;

2. кодирование и декодирование должны быть взаимно обратными операциями.

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

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

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