- •Содержание
- •Определение понятия «система». Свойства систем
- •Классификация систем
- •Информационная система
- •Структура информационной системы
- •Классификация информационных систем по признаку структурированности задач
- •Классификация информационных систем по степени автоматизации, по характеру использования информации и по сфере их применения
- •Информационные системы класса erp
- •Информационная технология
- •Информационные технологии управления на предприятии
- •Возникновение компьютеров и компьютерных технологий
- •Классификация современных вычислительных систем
- •Структура современных вычислительных систем
- •Память персонального компьютера
- •Базовая система ввода-вывода. Понятие cmos
- •Операционные системы
- •Системы программирования
- •Процедурно-ориентированные, проблемно-ориентированные и объектно-ориентированные языки программирования
- •Прикладное программное обеспечение
- •Понятие вычислительной сети. Локальные вычислительные сети
- •Одноранговые сети и сети с выделенным сервером
- •Топология локальных вычислительных систем
- •Среда передачи сигналов между компьютерами. Технологии передачи данных в локальных вычислительных сетях
- •Стандартные протоколы передачи данных по сети
- •Коммуникационное оборудование
- •Сетевые операционные системы
- •Интернет
- •Система адресации в интернете
- •World wide web
- •Интранет
- •Система кодирования информации
- •Система передачи информации
- •Экономическая информация. Экономическая информационная система
- •Структура экономических информационных систем
- •Методы проектирования экономических информационных систем
- •Автоматизированное рабочее место. Классификация арм
- •Управление проектами. Развитие методов управления проектами
- •Базы данных. Системы управления базами данных
- •Иерархическая, сетевая и реляционная модели представления данных
- •Постреляционная и объектно-ориентированная модели представления данных
- •Классификация систем управления базами данных
- •Языки доступа к базам данных
- •Базы данных в интернете
- •Электронная коммерция
- •Общая схема интернет-магазина
- •Системы платежей в интернете
- •Интернет-аукционы. Классификация интернет-аукционов
- •Интернет-банкинг
- •Интернет-страхование
- •Интернет-биржа
- •Интернет-маркетинг
- •Интернет-реклама
- •Интеллектуальная собственность в интернете
- •Системы искусственного интеллекта
- •Классификация систем искусственного интеллекта
- •Методы построения систем искусственного интеллекта
- •Экспертные системы
- •Структура классической экспертной системы
- •Использование теории нечеткой логики при создании экспертной системы
- •Информационная безопасность
- •Технологии несанкционированного доступа к информации и ит
- •Классификация средств защиты информации
- •Защита информации пэвм
- •Программно-аппаратные средства защиты информации
- •Криптография
- •Классификация компьютерных вирусов
- •Способы представления знаний в экспертных системах Введение Структура, классификация и тенденции развития эс
- •Классификация средств описания моделей знаний
- •Обзор форм представления знаний в промышленных и коммерческих экспертных системах
- •Задача проектирования интерфейсной компоненты интеллектуальных систем Анализ интеллектуальных систем с позиции организации интерфейсной компоненты
- •Требования к системам
- •Структура базы знаний
- •Обоснование выбора фреймовой модели
- •Математическая постановка задачи проектирования интерфейсной модели
- •X (X, f (f, s (s, где s — множество шаблонов, описывающих структуру кадров диалога.
- •Представление знаний в интегрированной оболочке Image Expert Архитектура оболочки Image Expert
- •Организация моделей знаний
- •Типы моделей знаний
- •Фреймовая компонента моделей знаний
- •Создание моделей знаний
- •Компонента ввода знаний
- •Проблема извлечения знаний Приобретение и формализация знаний
- •Методы извлечения знаний
- •Машинно-ориентированное получение знаний
- •Решение проблемы извлечения знаний в действующих экспертных системах
- •Список сокращений и аббревиатур
- •16.2. Экспертные системы: структура и классификация
- •Обобщенная структура экспертной системы. Основные понятия и определения
- •Классификация экспертных систем
- •Классификация по решаемой задаче
- •Классификация по связи с реальным временем
- •Классификация по типу эвм
- •Классификация по степени интеграции с другими программами
- •Инструментальные средства построения экспертных систем Традиционные языки программирования Языки искусственного интеллекта
- •Специальный программный инструментарий
Классификация средств описания моделей знаний
На проектирование и создание одной ЭС ранее требовалось 20–30 чел.-лет. В настоящее время имеется ряд средств, ускоряющих создание. Эти средства называют инструментальными средствами (ИС). Использование ИСв настоящее время сокращает время разработки в 3–5 раз.
В широком толковании в инструментарий включают и аппаратные средства. ЭС выполняют на следующих типах ЭВМ: общего назначения, ПЭВМ, интеллектуальных рабочих станциях (типа Sun, Appolo и др., снабженных эффективными ИС для создания ЭС); последовательных символьных ЭВМ типа ЛИСП-машин (Symbolic-3670, Alpha, Explorer, Xerox 1100 и др.) и Пролог-машин; параллельных символьных ЭВМ (Connection, Dado, Faim, Hyper Cube и др.).
ПрограммныеИС классифицируют по нескольким признакам.
По типу ИС делят на:
Символьные языки программирования, ориентированные на создание ЭС и систем искусственного интеллекта (ИИ) (например, LISP, INTERLISP, SMALLTALK);
Языки инженерии знаний, т.е. языки высокого уровня, ориентированные на построение ЭС (например, OPS-5, LOOPS, Пролог, KES);
Системы, автоматизирующие разработку (проектирование) ЭС (например, KEE, ART, TEIRESIAS, AGE, TIMM), их часто называют окружением (environment) для разработки систем ИИ, ориентированных на знания;
Оболочки ЭС (или пустые ЭС) — ЭС, не содержащие знаний ни о какой проблемной области (например, Image Expert, ЭКСПЕРТИЗА, EMYCIN, ЭКО, ЭКСПЕРТ).
В приведенной классификации ИС перечислены в порядке убывания трудозатрат, необходимых на создание с их помощью конкретной ЭС. При использовании ЭС первого уровня в задачу разработчика входит программирование всех компонентов ЭС на языке сравнительно низкого уровня. Использование ИС второго типа позволяет значительно повысить уровень языка, что, как правило, приводит к некоторому снижению эффективности. Инструментальные средства третьего уровня позволяют разработчику не программировать все или часть компонентов ЭС, а выбирать их из заранее приготовленного набора. При применении ИС четвертого типа разработчик ЭС полностью освобождается от работ по созданию программ, так как берет готовую пустую ЭС.
При использовании ЭС третьего и четвертого типов могут возникнуть следующие проблемы: управляющие стратегии, вложенные в процедуру вывода ИС, могут не соответствовать методам решения, которые использует эксперт, взаимодействующий с данной ЭС, что может приводить к неэффективным, а возможно и неправильным решениям; язык представления знаний, принятый в ИС, может не подходить для данного приложения.
Развитие систем, автоматизирующих разработку ЭС, приводит к появлению ИС, которые можно назвать настраиваемыми оболочками. Эти ИС позволяют разработчику использовать оболочку не просто как нечто неизменное (как имело место раньше в EMYCIN, KAS), а генерировать оболочку из множества механизмов, имеющихся в ИС. Типичными примерами таких ИС являются Image Expert, KEE, ART, ЭКСПЕРТИЗА, ГЛОБ.
Универсальность задается совокупностью двух параметров: универсальностью представления знаний и универсальностью функционирования. Универсальность представления характеризует способ (модель) представления знаний в ИС и принимает следующие значения: единое представление — ИС использует одну модель, интегральное представление — ИС допускает интегральное использование нескольких моделей, универсальное представление — ИС допускает интегральное использование всех основных моделей представления. Примерами ИС, в которых используются: единое представление, является Пролог, интегральное представление — Image Expert, CENTAUR, а универсальное — KEE, ART.
К основным моделям представления знаний относятся:
Логические модели.
В основе моделей такого типа лежит формальная система, задаваемая четверкой вида:
М = <Т, Р, А, В>.
Множество Тесть множество базовых элементов различной природы, например слов из некоторого ограниченного словаря, деталей детского конструктора, входящих в состав некоего набора и т.п.
Для множества Тсуществует некоторый способ определения принадлежности или непринадлежности произвольного элемента этому множеству. Процедура такой проверки может быть любой, но за конечное число шагов она должна давать положительный или отрицательный ответ на вопрос, является лихэлементом множестваТ. Обозначим эту процедуруП(Т).
Множество Ресть множество синтаксических правил. Они определяют способ образования из элементовТправильных совокупностей. Декларируется существование процедурыП(Т), которая дает ответ на вопрос, является лиХсинтаксически правильной совокупностью.
В множестве синтаксически правильных совокупностей выделяется подмножество аксиом А. Как и для других составляющих, должна существовать процедураП(А),которая определит принадлежность синтаксически правильной совокупности множествуА.
Множество Весть множество правил вывода. Применяя их к аксиомам, можно получать новые синтаксически правильные совокупности, к которым опять можно применять правилаВ.
Формируется множество выводимых в данной системе совокупностей. Если имеется процедура П(В), с помощью которой можно определить для любой синтаксически правильной совокупности, является ли она выводимой, то соответствующая формальная система является разрешимой.
Для знаний, входящих в базу знаний, можно считать, что множество Аобразуют все информационные единицы, которые введены в базу знаний извне, а с помощью правил вывода из них выводятся производные знания. Формальная система есть генератор порождения новых знаний, образующих множество выводимых в данной системе знаний. Это свойство позволяет хранить в базе лишь те знания, которые образуют подмножествоА,а все остальные получать из них по правилам вывода.
Сетевые модели.
В основе сетевых моделей этого типа лежит конструкция, названная семантической сетью. Сетевые модели формально можно задать в виде:
Н =< I, C1, C2,..., Cn, Г>.
Здесь Iесть множество информационных единиц,C1, C2,... — множество типов связей между информационными единицами. ОтображениеГзадает между информационными единицами, входящими вI, связи из заданного набора типов связей.
В зависимости от типов связей, используемых в моделях, различают классифицирующие сети, функциональные сети и сценарии. В классифицирующих сетях используется отношение структуризации.
Такие сети позволяют в базах знаний вводить иерархические отношения между информационными единицами. Функциональные сети часто называют вычислительными моделями, так как они позволяют описывать процедуры “вычислений” одних информационных единиц через другие. В сценариях используются каузальные отношения, а также отношения типа “средство-результат”, “орудие-действие”. Если в сетевой модели допускаются связи различного типа, ее называют семантической сетью.
Продукционные модели.
В моделях этого типа используются некоторые элементы логических и сетевых моделей. Из логических моделей заимствована идея правил вывода, которые называются продукциями, а из сетевых — описание знаний в виде семантической сети. В результате применения правил вывода к фрагментам сетевого описания происходит трансформация семантической сети за счет смены ее фрагментов, наращивания сети и исключения из нее ненужных фрагментов. Таким образом, в продукционных моделях процедурная информация явно выделена и описывается иными средствами, чем декларативная. Вместо логического вывода, характерного для логических моделей, в продукционных моделях появляется вывод на знаниях.
Фреймовые модели.
Отличие фреймовых моделей в том, что в них фиксируется жесткая структура информационных единиц, которая называется протофреймом. В состав протофрейма входят несколько слотов, имеющих определенные значения. Значением слота могут быть любые данные (числа, соотношения, тексты, ссылки на другие слоты). В качестве значения слота может выступать набор слотов более низкого уровня (иерархия).
При конкретизации фрейма происходит присвоение ему и его слотам конкретных имен и происходит заполнение слотов. На этом этапе из протофреймов получаются фреймы — экземпляры. Переход от протофрейма к экземпляру может быть пошаговым, путем последовательного уточнения значений слотов.
Связи между фреймами задаются с помощью специального слота с именем СВЯЗЬ.