- •Основные этапы развития научной области ии.
- •Тест Тьюринга. Основные особенности интеллектуальной программы.
- •Характеристика первых экспертных систем Mycin и Dendral.
- •Современные достижения в области ии.
- •Классификация иис.
- •Данные и знания. Основные понятия.
- •Особенности знаний и их отличие от данных. Декларативные и процедурные знания.
- •Трансформация знаний и данных при их обработке на эвм.
- •Структура экспертной системы.
- •Классификация экспертных систем.
- •Технология и этапы проектирования экспертной системы.
- •Синтаксис и семантика логической программы.
- •Логический вывод в системе логического программирования Пролог.
- •Структура данных - списки. Построение дерева поиска решений логической программы.
- •Правила продукций. Продукционные экспертные системы.
- •Прямой логический вывод в продукционных эс.
- •18. Обратный логический вывод в продукционных эс.
- •Семантические сети. Основные типы отношений в семантических сетях.
- •Правила построения семантических сетей.
- •Вывод в семантических сетях. Механизм наследования.
- •Теория фреймов. Структура фрейма. Слоты и присоединенные процедуры.
- •Теория фреймов. Механизм вывода на фреймах.
- •Теория фреймов. Системы фреймов.
- •Механизм вероятностного вывода на основе правила Байеса и коэффициентов уверенности.
- •Основные понятия теории нечетких множеств. Операции над нечеткими множествами.
- •Понятия нечеткой и лингвистической переменной.
- •Основные понятия нечеткой логики. Нечеткие высказывания и предикаты. Нечеткие логические операции.
- •Нечеткие продукционные системы. Синтаксис т семантика.
- •Прямой и обратный вывод в нечетких продукционных системах.
Классификация экспертных систем.
По задаче
Интерпретация данных, диагностика, проектирование, прогнозирование, планирование, обучение, поддержка принятия решений, управление.
-По связи со временем
Статические, динамические, квазединамические
-По типу ЭВМ
Супер ЭВМ, персональные ЭВМ, на символьных процессорах, ЭВМ средней производительности
-По степени интеграции
Автономные, гибридные
Технология и этапы проектирования экспертной системы.
Как правило, используется технология быстрого прототипирования.
Прототипная система является усеченной версией экспертной системы, спроектированной для проверки правильности кодирования фактов, связей и стратегий рассуждения эксперта.
Прототипная технология создания экспертной системы означает, что простейший прототип будущей системы реализуется с помощью любого подручного инструментального средства еще на этапах идентификации и концептуализации, в дальнейшем этот прототип детализируется, концептуальная модель уточняется, реализация выполняется в среде окончательно выбранного инструментального средства.
Прототип удовлетворяет двум противоречивым требованиям:
Умение качественно решать задачи выбранной области
Незначительное время и трудоемкость разработки
6 этапов проектирования:
1. Идентификация.
Этот этап включает деятельность, предшествующую решению начать разрабатывать конкретную ИС. Он включает: определение проблемной области и задачи; определение цели разработки; нахождение эксперта, определение предварительного подхода к решению проблемы; определение типов пользователей, определение источников знаний (книги, дополнительные эксперты, методики);
2. Концептуализация.
Содержательный анализ предметной области. Разработка неформального описания знаний о предметной области в виде графа, таблицы, диаграммы или текста, которое отражает основные концепции и взаимосвязи между понятиями предметной области (такое описание называется полем знаний).
3. Формализация.
Строится формализованное представление концепций предметной области на основе выбранного языка представления знаний (ЯПЗ).
4. Реализация.
Разработка программного комплекса и заполнение Базы Знаний.
5. Тестирование.
Выявление ошибок в подходе и реализации прототипа и выработка рекомендаций по доводке системы до промышленного варианта.
6. Опытная эксплуатация.
Синтаксис и семантика логической программы.
1. В логическом прогромировании прописные буквы используются для обозначения переменных, а строчные – для обозначения констант, функциональных и предикатных символов (имеется в виду первый символ в соответствующем имени). Возможно использование анонимных, безымянных переменных в тех случаях, когда нет необходимости знать их полное имя. Анонимную переменную обозначают символом подчеркивания. Использование анонимных переменных облегчает процесс унификации.
Предусматриваются «синтаксические упрощения» для обозначения списков и арифметических выражений.
Как и в любом языке программирования, в языках логического программирования предусмотрены некоторые встроенные средства – встроенные предикаты, определенные в самой системе программирования и предназначенные для обработки, размещения данных, а также для обеспечения взаимодействия пользователей с программой.
Логическая программа обладает как декларативной, так и процедурной семантиками. Причем факты, присутствующие в программе, можно воспринимать только как декларацию о предметной области, в которой решается конкретная задача. Это беспрекословные заявления, описывающие ту или иную ситуацию. А вот правила можно интерпретировать не только как декларации, но и как процедуры программы.
Синтаксис и семантика логики предикатов:
Форма Бэкуса-Наура.
Высказывание→Атомарное высказывание/Высказ. (связка высказываний)/Кванторная переменная высказ./Высказывание.
Атомарное высказывание→ Предикат(Терм)/Терм=терм.
Терм→Функция(Терм)/ Константа/Переменная.
Связка – Квантор/Сушеств.
Константа→А/В/…..
Переменная →а/в/..
Предикат→has colour|is Father
Функция →Неаd|mother
