
- •Выч. Система
- •Админ-р
- •По используемому языку общения.
- •3. По выполняемым функциям.
- •Недостатки организации бд.
- •Модель результ. Предст-я
- •Реляционное исчисление с переменными-кортежами.
- •Аксиомы, связывающие функциональные зависимости и многозначные зависимости.
- •Правила вывода:
- •Законы оптимизации.
- •Метод, позволяющий определить сериализуемость расписания.
- •Алгоритм проверки сериализуемости расписания.
- •49. Представление знаний. Фреймы.
Метод, позволяющий определить сериализуемость расписания.
Строится ориентированный граф , который называется графом предшествований, узлы которого соответствуют транзакциям. Определим дуги графа:
Пусть
,
где
действие вида
:
LOCK
(1)
или : UNLOCK (2),
и указывает транзакцию, к которой относится данный шаг.
Для
,
имеющего вид (2) ищем действие
вида:
:
LOCK
.
Если оно существует, то строим дугу из
в
.
Интуитивный смысл этой дуги заключается
в том, что в любом последовательном
расписании, эквивалентном
,
должно предшествовать
.
Если в графе
имеется цикл, то
не сериализуемо.
При
отсутствии циклов находим такой линейный
порядок транзакций, чтобы
предшествовала бы
всякий раз, когда существует дуга
.
Это всегда можно сделать при помощи
процесса так называемой
топологической сортировки,
который заключается в следующем: из
ацикличности
следует, что в нем существует некоторый
узел
,
который не имеет входящих дуг. Заносим
в список, удалив его из графа. Процесс
повторяется до тех пор, пока в графе не
останется узлов.
Транзакции, в которых все операции блокирования предшествуют всем операциям разблокирования, называются двухфазными. Первая фаза называется фазой блокировки, а вторая – фазой разблокирования.
Теорема: Любое расписание двухфазных транзакций является сериализуемым.
Алгоритм проверки сериализуемости расписания.
Алгоритм построения последовательности транзакций начинается с создания узла в графе для каждой транзакции.
Пусть
и
– транзакции, которые блокируют один
и тот же элемент (в разное время). Пусть
FIRST(
)
– первый из элементов, блокируемых
транзакцией
.
При независимости FIRST(
)
и FIRST(
)
(ни один не является потомком другого),
протокол для дерева гарантирует, что
и
не блокируют общего узла и
и
.
Если
FIRST(
)
является предком FIRST(
),
то: если
блокирует FIRST(
)
перед тем как это делает
,
строим
;
в противном случае
.
Билет 45. Экспертные системы. Основные понятия и определения.
ИИ – область информатики, кот. Занимается разработкой интеллектуальных программных систем, которые могут выполнять функции, присущие человеческому разуму. Это понимание речи, моделирование человеческого мышления при решении различных задач.
Периоды исследование ИИ:
Классический – сер 50х – сер 60х – период игр и доказательства теории. Любая проблема рассматривалась через 3 составляющих:
Исходное состояние проблемы
Проверка, получено решение или нет
Множество операций, позволяющих получать новое состояние проблемы
Пространство состояний мб представлено в виде графа.
Пример – составление анаграмм (из a, c, t: a –ac, ca – tca ,cta…) поиск решения: в глубину, в ширину.
Эвристика помогает судить, какое из состояний на данном шаге лучше.
Сер 60х – сер 70х – романтический период. Человек хочет разговаривать с машиной. Сформирована система представления знаний в виде порождающих правил, которая легла в основу ЭС.
Сер 70х – сер 80х исследования, посвященные ЭС. Данные системы должны принимать решения в некоторой предметной области на основе накопленного человеком опыта
Сер 80х – наст вр статистический и вероятностный подходы выбора информации
Экспертные системы – это наиболее распространенный класс интеллектуальных систем, ориентированный на тиражирование опыта высококвалифицированных специалистов в областях, где качество решения зависит от уровня экспертизы (медицина, АСУ, исследование ископаемых)
С
хема:
Решатель
Инт-с
польз-ля БЗ Редактор БЗ
Подсистема
Пользователь объяснений Эксперт Инженер по знаниям
Интерфейс пользователя – это набор программ, который позволяет ему общаться с экспертной системой
Пользователь – недостаточно квалифицированный специалист некоторой предметной области
Решатель (машина вывода) – это правило, которое определяет выводы и действия, основываясь на знаниях, хранящихся в базе знаний
Подсистема объяснений позволяет объяснить рекомендованное решение
База знаний – часть системы, в которой знания представлены на языке представления знаний, приближенном к естественному
Редактор БЗ – набор программ, который позволяет инженеру по знаниям заполнить БЗ
Эксперт может общаться с редактором, чтобы убедиться в правильности зависимостей в предметной области
Инженер по знаниям (аналитик) – это специалист в области ИИ
Эксперт – это высококвалифицированный специалист в рассматриваемой предметной области.
Билет 46. Экспертные системы. Классификация ЭС.
По решаемой задаче выделяют:
Интерпретация данных – это процесс, определяющий смысл даны, результаты которого должны быть согласованными и корректными;
Диагностика – соотнесение объекта к некоторому классу объектов или определение неисправности (неисправность трактуется как отклонение от нормы);
Мониторинг – это непрерывная интерпретация данных в реальном времени и сигнализация о выходе параметров за допустимые пределы
Проектирование – понимается подготовка спецификаций на создание объекта с заранее определенными свойствами
Планирование – определение последовательности действий для некоторого объекта в соответствии с его функциональностью
Прогнозирование – в зависимости от данных определяется последствие и поведение объектов; данная модель основывается на длинах параметр модели, в которых значения параметров подгоняются под ту или иную ситуацию
Обучение – это система, которая позволяет с помощью ЭВМ обучить той или иной дисциплине;
Управление- функция системы, позволяющая поддерживать определенную деятельность;
Поддержка принятия решений – это совокупность процедур, которая обеспечивает необходимой информацией принимающего решение.
Обычно такие системы включают подсистемы объяснений, которые позволяют мотивировать то или иное решение задачи синтеза.
По связи с реальным временем:
Статистические – в таких системах данные постоянны во времени
Квазидинамические – данные меняются с некоторым интервалом во времени
Динамические – непрерывно изменяются в реальном времени
По типу используемой ЭВМ
Применение сетевой ЭВМ
ЭВМ средней производительности
Символические процессоры и рабочие станции
Обычные ПК
По интеграции с другимипрограммными средствами
Автономные
Гибридные – в них применяются статистические программные пакеты, системы БД, информационные системы
Билет 47. Представление знаний. Продукционные модели.
Знания – данные + связи между ними
Знания – совокупность закономерностей и связей между объектами, полученных в результате мыслительной деятельности человека, осуществляющего некоторую практическую деятельность.
Этапы обработки знаний:
хранение в памяти человека;
на материальных носителях – формирование поля знаний
представление знаний на языке представления знаний и базы знаний
Знания: глубинные и поверхностные
Глубинные – абстрактная структура, которая позволяет представить процессы, протекающие в некоторой предметной области
Поверхностные – знания о видимых взаимосвязях и взаимоотношениях между объектами
ЭС опираются на поверхностные знания
Знания: процедурные и декларативные
Процедурные – в коде для изменения надо изменить процедуру, декларативные – хранить отдельно в БЗ
Модели представления знаний
Продукционные модель – в ее основе лежат порождающие правила вида если <условие>то<действие>
80% ЭС основаны на этой модели
Для поиска решения может использоваться прямой и обратный ход
Прямой ход на основании имеющихся фактов получается решение
Обратный – предполагается, что данный вариант явное решение и ищутся факты, подтверждающие это
Билет 48. Представление знаний в ЭС. Семантические сети.
Граф, вершинами которого являются понятия, а дугами – связи или отношения между ними. Классифицировать данную модель можно
по типу использования отношений
бинарное
N-арное
По числу исп. Отношений
Однородное
Неоднородное
В качестве отношений могут применяться:
Элемент класса
Имеет свойство
Значение свойства
Часть целого
Функциональное отношение
Такая модель наиболее близка организации памяти человека