Контрольные вопросы:

1. Для формализации каких предметных областей используется модель семантической сети?

2. Для формализации каких предметных областей используется продукционная модель?

3. Для формализации каких предметных областей используется фреймовая модель?

4. Дайте определение понятия “фрейм”.

5. Какие разновидности семантических сетей вы знаете?

6. Как соотносятся понятия “класс” из объектно-ориентированного проектирования и “фрейм” из фреймовой модели представления знаний?

7. Как соотносятся понятия “импликация” из пропозициональной логики и “правило” из продукционной модели представления знаний?

Литература:

1. Поспелов Д. А. Ситуационное управление: Теория и практика. М.: Наука, 1988.

2. Статические и динамические экспертные системы: Учеб. пособие / Попов Э. В., Фоминых И. Б., Кисель Е. Б., Шапот М. Д.. М.: Финансы и статистика, 1996.

3. Гаврилова Т. А., Хорошевский В. Ф.. Базы знаний интеллектуальных систем: Учеб. пособие. СПб.: Питер, 2000.

Задание:

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

2. Выполнить программную реализацию модели.

3. Подготовить отчет.

Варианты индивидуальных заданий:

Вариант 1

Задача распределения работ среди исполнителей. Необходимо выполнить n видов работ (Р1, Р2,…, Рn). Имеется k исполнителей (E1, E2, …, Ek). Существует ряд ограничений при выполнении данных работ:

1. для каждой работы требуется m исполнителей (m ≤ k);

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

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

4. существуют подгруппы исполнителей, которые не могут вместе выполнять одну работу;

5. для каждого исполнителя известна его производительность, т.е. какую часть работы определенного вида он выполняет в течение единицы времени. Например, P1 может выполнить ½ работы E1 за 1 час.

Необходимо распределить исполнителей по работам таким образом, чтобы все ограничения были удовлетворены, а также

1. время выполнения каждой работы должно быть минимальным;

2. все работы должны быть выполнены;

3. количество незадействованных исполнителей должно быть минимальным.

Для описания предметной области использовать логическую модель. Записать все высказывания в виде логических функций. Например, =1, если i–й исполнитель назначен на j–ю работу, и = 0 в противном случае. Если переменные и обозначают i-того и j-того исполнителя соответственно, то формула означает, что исполнители i и j могут исполнять одну работу вместе. Требуется найти значения переменных , i = 1,…,5, j =1,…,3, соответствующие всем указанным условиям.