Методы представления знаний Формальные языки и формальные системы



страница5/17
Дата15.01.2013
Размер1.11 Mb.
ТипЛекции
1   2   3   4   5   6   7   8   9   ...   17

Неоднородные семантические сети


Неоднородные семантические сети - семейство отношений, заданных на объектах со сложной структурой вместе с процедурами интерпретации этих отношений.

Сложные объекты – это совокупность свойств объектов действительности.
Пусть - семейство произвольных множеств (семейство свойств, домен); 1…n – имена множеств.

Пусть для описания самолета необходимы , для описания птицы необходимы

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

Для каждого рассмотрим декартово произведение множеств - множество значений типа .
Пример.
    1. Отношения с множествами упорядоченных пар
      в качестве аргументов


Отношения с контекстно-независимыми свойствами

Определение. Экстенсиональным событием типа называется некоторое подмножество декартова произведения типа . ()
Определение. Будем говорить, что пара событий , если для всякого примера (реализации) события существует пример события : .

Отношение называется коммутативным.

: Событие всегда сопровождается событием . Диаграмма:
Определение. Пара событий , если

Отношение называется коррелятивным.


: Появление события иногда увеличивает возможность появления события . Диаграмма:
1) Частный случай : появление иногда приводит к появлению (исчезла «возможность»). Диаграмма:
2) Частный случай : Появление увеличивает возможность наблюдения (исчезло «иногда»). Диаграмма:
Определение. Пара событий , если свойство i события (1) (обозначение ), .

Отношение называется негативным. Диаграмма:

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

Доказательство: через соответствующие диаграммы.
Теперь рассмотрим

Отношения на множестве событий с выделенными атрибутами

Пусть , - экстенсиональные события, - имя выделенного атрибута (средство). Пусть среди признаков (атрибутов) события есть признак с именем - «средство действия»; n - имена событий.
Тогда называются именованными событиями.
Определение. Пара именованных событий , если .

Говорят, что является инструментом для . Отношение называется инструментальным.

Пример.

Событие «молоток» и событие «забивание гвоздей». У события «забивание гвоздей» есть атрибут "средство действия" - молоток.
1   2   3   4   5   6   7   8   9   ...   17

Похожие:

Методы представления знаний Формальные языки и формальные системы iconРабочая программа дисциплины теория автоматов и формальных языков направление подготовки
Уметь: строить формальные грамматики, деревья вывода, распознающие автоматы; анализировать формальные языки
Методы представления знаний Формальные языки и формальные системы icon4. Введение в формальные (аксиоматические) системы 1 Формальные модели
Принципы построения формальных теорий. Аксиоматические системы, формальный вывод
Методы представления знаний Формальные языки и формальные системы iconЛекция 3 Исчисления. Формальные системы. Формальные грамматики. Автоматы
...
Методы представления знаний Формальные языки и формальные системы iconЛекция 4 Исчисления. Формальные системы. Формальные грамматики. Автоматы
...
Методы представления знаний Формальные языки и формальные системы icon1. Понятие информации. Виды информации. Роль информации в живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки
Понятие информации. Виды информации. Роль информации в живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconКодирование информации
Представление информации. Язык как способ представления информации: естественные и формальные языки. Дискретная форма представления...
Методы представления знаний Формальные языки и формальные системы iconБилет 1 Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки. Основные информационные процессы: хранение
Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconБилет 1 Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки. Основные информационные процессы: хранение
Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconЭкзаменационные билеты по информатике 9 класс
Понятие информации. Виды информации. Язык как способ представления информации. Естественные и формальные языки. Основные информационные...
Методы представления знаний Формальные языки и формальные системы iconФормальные модели программных агентов в задаче семантического индексирования документов
В работе рассматриваются формальные модели делиберативных агентов, т е агентов базирующихся на базируется на принципах и методах...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org