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



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

Функции на декартовых произведениях атрибутов
и порожденные ими отношения


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

(1).

Таким образом, имеем: - декартово произведение типа , -множество кортежей. Каждому кортежу ставим в соответствие декартово произведение
Пусть задано семейство таких функциональных зависимостей. - пример события типа . В частном случае (1) , но не каждый набор дает событие.
Утверждение. Функциональная зависимость есть монотонная функция от длины картежа. Т.е. если есть кортеж (тип кортежа есть , а тип кортежа есть ), то ,.

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

, .

Определим функциональные зависимости:





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

,

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

Пара событий , если gif" align=bottom>

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

Пара событий , если

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

Свойства рассмотренных отношений:



транзитивность

рефлективность

антисимметричность







нетранзитивность

нерефлективность

несимметричность






нетранзитивность

рефлективность

симметричность







транзитивность

антирефлективность

несимметричность



нетранзитивность

антирефлективность

симметричность







нетранзитивность

рефлективность

симметричность


Процедурная интерпретация

Транзитивность:

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

  1. Пусть . Это значит, что наличие информации о существовании события приводит к информации о существовании . То есть .

  2. Пусть . Это значит, что выполнимость события приводит к возможности выполнимости . То есть ?.

  3. Пусть . Тогда

  4. - средство достижения события. Не является дедуктивным.

  5. Пусть : после появления события появится событие . То есть



  1. Пусть . Тогда ?



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