- •Лекция 11/1-11/2. Интеллектуальные системы. Экспертные системы Учебные и воспитательные цели:
- •Основные вопросы, рассматриваемые на лекции:
- •1. Современные информационные технологии на основе интеллектуальных систем
- •2. Основные понятия информационных интеллектуальных систем
- •3. Основные компоненты экспертных систем
- •4. Концепция баз и логический вывод на знаниях
- •Заключение
2. Основные понятия информационных интеллектуальных систем
Одно из актуальных направлений информатики – интеллектуализация информационных технологий. Это означает, что пользователь, применяя компьютерные технологии, сможет не только получать сведения на основе обработки данных, но и использовать по интересующей его проблеме накопленный опыт и знания профессионалов.
ИС и технологии применяются для тиражирования профессионального опыта и решения сложных научных, управленческих, производственных и экономических задач. Для обработки и моделирования знаний применяются специальные модели представления знаний - базы знаний (БЗ).
Понятие информационные интеллектуальные системы (ИИС) представляются как одно из направлений информатики, цель которого разработка аппаратно-программных средств, позволяющих пользователю-непрограммисту ставить и решать свои задачи, традиционно считающиеся интеллектуальными, общаясь к ЭВМ с помощью интерфейса, использующего естественный язык.
В современных условиях системы, использующие методы и модели ИИ, получили развитие в ряде направлений:
- представление знаний и разработка систем, основанных на знаниях;
- игры и творчество;
- разработка естественно-языковых интерфейсов и машинный перевод;
- распознавание образов;
- новые архитектуры компьютеров;
- интеллектуальные роботы;
специальное программное обеспечение;
обучение и самообучение.
Основное направление исследований в интересах развития ИИС – это представление знаний и разработка систем, основанных на знаниях. Оно связано с разработкой моделей представления знаний, создания БЗ, образующих ядро ИС, в частности - экспертных систем (ЭС). В настоящее время данное научное направление включает в себя модели представления знаний, методы извлечения и структурирования знаний и объединяется крупной проблемной предметной областью инженерией знаний.
При разработке ИИС необходимо определиться с понятиями данные и знания. Данные в ИИС представлены в виде отдельных фактов, характеризующих объекты, процессы и явления предметной области, а также их свойства.
При обработке на ЭВМ данные трансформируются, условно проходя следующие этапы:
данные как результат измерений и наблюдений;
данные на материальных носителях информации (таблицы, протоколы, справочники);
- модели (структуры) данных в виде диаграмм, графиков, функций;
- данные в компьютере на языке описания данных;
- БД на машинных носителях.
Знания связаны с данными и основываются на них, но представляют результат мыслительной деятельности человека, обобщают его опыт, полученный в ходе выполнения какой-либо практической деятельности. Они получаются эмпирическим путем.
Знания в ИИС – это выявленные закономерности предметной области (правила, законы, связи), позволяющие решать задачи в этой области.
При обработке в ЭВМ знания трансформируются аналогично данным:
- знания в памяти человека как результат мышления;
- материальные носители знаний (учебники, справочники, методические пособия и т.п.);
- поле знаний – условное описание основных объектов предметной области, их атрибутов и закономерностей, их связующих;
- знания, описанные на языке представления знаний (продукционные языки, семантические сети, фреймы, формальные логические модели);
- базы знаний.
Для хранения данных используют БД (для них характерны большой объем и относительно небольшая удельная стоимость информации). Для хранения знаний используются БЗ (для них характерны небольшой объем, но исключительно дорогие информационные массивы). БЗ – это основа любой ИС.
Знания могут быть классифицированы по следующим категориям:
- поверхностные – знания о видимых взаимосвязях между событиями и фактами в предметной области;
- глубинные – абстракции, аналогии, схемы, отображающие структуру и процессы в предметной области.
Кроме того, знания можно разделить на процедурные и декларативные. Исторически первыми были процедурные знания, т.е. знания, «растворенные» в алгоритмах. Они управляли данными. Для их изменения требовалось изменить программы. Однако с развитием ИИ приоритет данных постепенно изменялся, и все большая часть знаний сосредоточивалась в структурах таблиц (таблицы, списки, абстрактные типы данных), т.е. увеличивалась роль декларативных знаний.
Сегодня знания приобрели чисто декларативную форму. Знаниями считаются предложения, записанных на языках представления знаний, приближенных к естественному и понятным неспециалистам.
Существуют десятки моделей (или языков) представления знаний для различных предметных областей.
Большинство из них может быть сведено к следующим классам:
- продукционные;
- семантические сети;
- фреймы;
- формальные логические модели.
При использовании продукционной модели БЗ состоит из набора правил. Программа, управляющая перебором правил, называется механизмом вывода. Чаще всего вывод бывает прямой (от данных к поиску цели) или обратный (от цели, для ее подтверждения, к данным). Соответственно такие процессы вывода иногда называют прямой и обратной цепочками рассуждений. Данные – это исходные факты, на основании которых запускается механизм вывода, т.е. программа, выбирающая правила из БЗ и реализующая логический вывод заключений (решений).
В случае больших объемов БД и БД – сложных моделей ИИ - применяется, так называемый, механизм упрощения. Это программа, отбрасывающая не относящиеся к данной задаче данные и правила их обработки. В противном случае, решение задачи могло бы затянуться на неопределенное время вследствие полного перебора всех имеющихся данных и относящихся к ним правил.
Следующая модель представления знаний в СИИ – это семантические сети. Термин «семантическая» означает смысловая. Семантическая сеть - это ориентированный граф, вершины которого – понятия, а дуги – отношения между ними. Характерной особенностью семантических сетей является обязательное наличие трех типов отношений:
- класс – элемент класса;
- свойство – значение;
- пример элемента класса.
Основное преимущество этой модели состоит в соответствии современным представлениям об организации долговременной памяти человека. Недостаток модели – сложность поиска вывода на семантической сети.
Другая модель представления знаний в СИИ – это фреймы. Frame, в переводе с английского, означает каркас или рамка.
Под фреймом понимается абстрактный образ или ситуация. Модель фрейма является достаточно универсальной, поскольку позволяет отобразить все многообразие знаний о мире через:
- фреймы – структуры, для обозначений объектов и понятий;
- фреймы – роли, для описания выполняемых функциональных назначений;
- фреймы – сценарии, для описания сценариев поведения объектов;
- фреймы – ситуации, для описания режимов работы.
Основным преимуществом фреймов как моделей представления знаний является способность отражать концептуальную основу организации памяти человека, а также ее гибкость и наглядность.
Еще один класс моделей представления знаний в СИИ – это формальные логические модели.
Традиционно в представлении знаний выделяют формальные логические модели, основанные на классическом исчислении предикатов I порядка, когда предметная область или задача описывается в виде набора аксиом. Эта модель в промышленных системах практически не используется из-за того, что в ней предъявляются очень высокие требования и ограничения к предметной области. Она применяется в основном в исследовательских системах.