Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
1212.doc
Скачиваний:
41
Добавлен:
27.03.2016
Размер:
1.14 Mб
Скачать

5.1.2. Сетевая модель

Сетевые модели формально можно задать в виде H = <I, C1, C2, ..., Cn, Г>. Здесь I есть множество информационных единиц – вершин сети; C1, C2, ..., Cn - множество типов связей между информационными единицами – дуг сети. Отображение Г задает между информационными единицами, входящими в I, связи из заданного набора типов связей.

Информационные единицы (вершины) сети классифицируются следующим образом:

  1. обобщенные – некоторое известное и широко используемое в моделируемой среде понятие, например, кафедра, принтер. Представляет класс объектов моделируемой среды;

  2. конкретные (индивидные) – каким-либо образом выделенная единичная (индивидная) сущность, например, кафедра СУиВТ, компьютер с регистрационным номером 123456789. Отнесение понятия к обобщенному или конкретному классу относительно и зависит от предметной области и решаемых задач;

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

Различают следующие типы связей:

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

  • связь структуризации - задает иерархию информационных единиц. Состоит из связей:

  • род-вид. Существует между обобщенными и конкретными информационными единицами, например, это связь между понятиями принтер и периферия компьютера;

  • часть-целое. Может устанавливаться между агрегатной информационной единицей и той, которая входит в ее состав;

  • класс-подкласс;

  • каузальная связь (причина-следствие);

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

  2. лингвистические – связи, определяющие отношения между языковыми знаками, обозначающими понятия предметной области, например, синонимию, омонимию, антонимию;

  3. семантические – все остальные типы связей.

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

В зависимости от арности связей различают однородные сети, когда все связи одинаковой арности (бинарные, тернарные, квадринарные и т.д.), и неоднородные.

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]