- •Contents
- •Введение
- •«Горячие точки» ии (д.А. Поспелов, г.С. Осипов)
- •Основные этапы развития ис (эс)
- •Классификация эс как приложений
- •Методы обработки плохоопределенной информации в ис (эс)
- •Теоретико-вероятностные методы оперирования с неопределенностью
- •Байесовские сети доверия (Bayesianbeliefnetworks)
- •Метод субъективных коэффициентов уверенности (субъективных вероятностей)
- •Теория свидетельств Демпстера-Шефера
- •Правило объединения свидетельств
- •Вероятностная логика
- •Поиск решения в условиях неопределенности с использованием деревьев решения (др)
- •Методы обработки неопределенности вGuru
- •Использование нечетких переменных
- •Обработка неопределенности лингвистического характера
- •Конструирование эс (соз)
- •Структура современных инструментальных средств для разработки эс
- •Классификация инструментальных средств конструирования эс
- •Тенденции развития инструментальных средств конструирования эс
- •Приобретение знаний
- •Средства приобретения знаний
- •Методы психосемантики
Конструирование эс (соз)
Состав разработчиков:
Эксперт
Инженер знаний
Системный программист
ЛПР
ответы
Э
ИЗ
вопросы
создание вопросы создание
отладка отладка
ЭС
модификация модификация
Инструментальная среда
использование
отладка
модификация создание
ЛПР
СП
Перед созданием системы надо решить 2 вопроса:
Целесообразность создания системы
Возможность создания системы
Целесообразность:
Экспертов мало, потребность в них большая
Экономическая (коммерческая) эффективность
Принятие решений во враждебной среде и жестких временных ограничениях
Потеря информации при удаленном общении с экспертом
Возможность:
Имеются эксперты
Если экспертов несколько и их знания согласованы
Знания эксперта должны быть достаточно формализованы (рассуждения эксперта не должны базироваться на здравом смысле)
ЭС должна базироваться на рассуждениях, а не действиях
Решаемая задача должна соответствовать задаче ИИ (задача должна иметь эвристический характер, оперировать символьной информацией, не должна быть сверхсложной или очень общей, должна быть достаточно узкой и базироваться на имеющихся знаниях)
Основные этапы разработки ЭС:
Идентификация (ЛПР, Э, ИЗ)
Переконструирование
Концептуализация (Э, ИЗ)
ТЗ
Переформализ.
Формализация (ИЗ)
Рабочее проектирование
Усовершениствование
Модификация
Реализация (СП, ИЗ, Э)
Прототип ЭС
Тестирование и отладка (ИЗ, Э, ЛПР)
Демонстрационный прототип
Апробация (ЛПР)
ЭС
ЭС
1-2 – до 70% времени разработки
3 – выбор модели представления знаний
1 – определение основных черт системы, состав разработчиков, время выполнения
2 – уточнение основных понятий
Структура современных инструментальных средств для разработки эс
Ядро
Программный уровень
Интерфейсный уровень
Ядро:
ООТ
РВ
Программный уровень:
Активная графика
Естественные языковые средства
Наличие средств моделирования
Поддержка специальных и общих утверждений
Представление формул
Представление процедур
Интерфейсный уровень:
Интегрированность + внешний интерфейс (СУБД, ЭТ, PLC)
Повторное использование (система может работать на аналогичной задаче)
Поддержка архитектуры клиент-сервер
Масштабируемость приложения
Открытость и переносимость
Инкрементальная разработка приложений (нет проблем с модификацией)
Классификация инструментальных средств конструирования эс
Уровень используемого языка
Традиционные языки (C++,C#,Java)
Символьные языки (LISP,Prolog,Clips)
Инструментальные средства типа TOOLS(OPS5,KEE,KRT)
Инструментальные средства типа SHELLS(1stClass,GURU)
Инструментальные средства, ориентированные на динамические ЭС и ЭС реального времени
Предметно-проблемно ориентированные инструментальные среды (G2,RTWORKS)
Технология программирования
Традиционное программирование
Программирование на основе технологии datа-flow
F(x1…xn)
x y
Im Exp
Программирование на основе правил (rule-based)
РП(БД), БЗ(БП), Решатель P=
Продукционный цикл:
Сопоставление текущей ситуации ScP→ конфликтное множествоCS
Разрешение конфликта
Жесткая стратегия гибкая стратегия параллельное выполнение
Активное множество ASCS
Выполнение правил из AS→ состояниеS’
Оценка результатов
Если S’Sц и удовлетворяет критериям, то выдаем результат, иначеgoto1 сSS’
ООП
Способ представления знаний
Логические МПЗ
Переход от классической логики (prolog) к неклассическим логикам (аргументация, абдукция,темпоральные логики, логики знаний и веры)
Продукционные модели
Модели представления структурированных знаний (семантические сети, фреймы, антологии)
ОО МПЗ (Clips( COOL))
Средства поиска решения и моделирования
Ориентация на создание статических ЭС
По структуре (форме) используемых знаний
С построением ДР(СР) \ без построения ДР(СР)
По стратегии поиска решения
С полным перебором \ с ограниченным перебором
- В глубину эвристики
- В ширину
- Комбинированно
Ориентация на создание динамических ЭС
По структуре (форме) используемых знаний
Компиляция ДР(СР) \ генерация ДР(СР)
Динамика слабая, Сильная динамика,
перекомпиляция при ДР постоянно обновляется
изменениях в БЗ
По средствам получения результата и проверки БЗ
Наличие средства поддержки истинности
(средства удовлетворения ограничений)
Средства планирования поиска решения
РБ – гибкие алгоритмы
(улучшение результата по мере увеличения ресурсов)
По средствам моделирования
Стандартные средства (классические марковские процессы)
Информация должна быть достоверна; в G2 – метод Эйлера и
Рунге-Кутта
Специальные средства
Дописывается разработчиком или СП
Средства приобретения знаний
Уровень используемого языка
Формализованный язык
Ограниченный естественный
Язык пиктограмм и изображений
Естественный язык + язык изображений
По типу приобретаемых знаний
Простые \ глубинные
Продукционные правила сети, антологии, фреймы
с триплетами
неструктурированные \ структурированные
Технология разработки приложений на основе знаний
На основе простых знаний \ на основе глубинных знаний