Экспертные системы
Контрольная работа, 19 Февраля 2013, автор: пользователь скрыл имя
Описание работы
Язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Многие современные реализации языка имеют внутреннее расширение за счет ООП-архитектуры. Кроме проприетарных решений также существуют свободные реализации Пролог. В 1996 году был принят стандарт ISO, получивший название ISO/IEC JTC1/SC22/WG17.
Файлы: 1 файл
Экспертные системы.pptx
— 451.75 Кб (Скачать файл)Экспертные системы
Структура Экспертных
Систем
- Интерфейс пользователя — совокупность средств и методов взаимодействия между элементами системы.
- Пользователь
- Интеллектуальный редактор базы знаний
- Эксперт — специалист, дающий заключение при рассмотрении
- какого-нибудь вопроса.
- Инженер
- Рабочая (оперативная) память
- База знаний
- Решатель (механизм вывода)
- Подсистема объяснений
Режимы функционирования
Экспертных систем
- Режим ввода знаний — в этом режиме эксперт с помощью инженера по знаниям посредством редактора базы знаний вводит известные ему сведения о предметной области в базу знаний ЭС.
- Режим консультации — пользователь ведет диалог с ЭС, сообщая ей сведения о текущей задаче и получая рекомендации ЭС. Например, на основе сведений о физическом состоянии больного ЭС ставит диагноз в виде перечня заболеваний, наиболее вероятных при данных симптомах.
Классификация Экспертных
систем по решаемой задаче
- Интерпретация данных
- Диагностирование
- Мониторинг
- Проектирование
- Прогнозирование
- Сводное Планирование
- Обучение
- Управление
- Ремонт
- Отладка
- Классификация Экспертных систем по связи с реальным временем
- Статические ЭС
- Квазидинамические ЭС
- Динамические ЭС
Наиболее известные
Экспертные системы
- CLIPS
- Акинатор
- OpenCyc
- WolframAlpha
- MYCIN
Пролог (язык программирования)
Язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Многие современные реализации языка имеют внутреннее расширение за счет ООП-архитектуры. Кроме проприетарных решений также существуют свободные реализации Пролог. В 1996 году был принят стандарт ISO, получивший название ISO/IEC JTC1/SC22/WG17.
Пролог реализован практически для всех известных операционных систем и платформ (в том числе для Java и .NET). В число операционных систем входят OS для мейнфр еймов, всё семейство Unix, Windows, ОС для мобильных платформ.