Разработка моделей и метода построения мультиагентных систем управления сетевыми производственно-коммерческими компаниями

• Автор: Истратов, Михаил Леонидович
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2003
• Место защиты: Вологда
• Количество страниц: 206 с. : ил.

Содержание
Введение

1 Анализ методов и средств проектирования мультиагентных систем управления

1.1 Программные агенты и мультиагентные системы

1.2 Модели представления знаний в мультиагентных системах управления.

1.2.1 Продукционные модели.

1.2.2 Формальные логические модели.

1.2.3 Семантические сети.

1.2.4 Фреймы.

1.2.5 Онтологии и онтологические системы.

1.3 Средства проектирования и реализации агентов и мультиагентных

систем
1.3.1 Инструментарий i
1.3.2 Система .
1.3.2 Инструментарий I.
1.4 Выводы.
2 Разработка моделей и метода построения мультиагентной системы управления СПКК.
2.1 Концептуальная модель системы управления СПКК.
2.1.1 Концепция системы управления СПКК и обоснование выбранной методологии проектирования
2.1.2 Модель предметной области мультиагентной системы управления
2.1.2.1 Укрупненная модель СПКК.
2.1.2.1 Организационная структура СПКК.
2.1.2.2 Территория деятельности СПКК.
2.1.2.3 Информационная система СПКК
2.1.2.4 Модель внешней среды СПКК
2.1.2.5 Общая модель СПКК
ф 2.2 Метод формирования интеллектуальных компонентов
мультиагентной системы управления СПКК.
2.2.1 Логическая модель.
2.2.2 Формирование ИК СПКК.
2.2.3 Формирование ИК внутренней среды и ИК участников.
2.2.4 Формирование ИК информационной системы.
2.2.5 Формирование ИК внешней среды
2.2.6 Формирование ИК бизнеспроцесса
2.2.7 Общая схема взаимодействия агентов
2.3 Модель интеллектуального агента мультиагентной системы управления СПКК.
2.3.1. Продукционная модель поведения агента
2.3.2 Функция
2.3.3 Функция
2.3.4 Множества принимаемых объектов и порождаемых объектов
2.3.5 Базовые схемы взаимодействия интеллектуальных объектов
2.4 Выводы.
3 Разработка языковых и инструментальных средств построения мультиагентных систем управления
3.1 Этаны построения системы, поддерживаемые языком спецификаций.
3.2 Язык спецификации мультиагентных систем.
3.2.1 Алфавит языка.
3.2.2 Типы данных.
3.2.3 Основные конструкции языка
3.2.4 Спецификация системы
3.2.4.1 Заголовок, список библиотек и раздел объявлений
3.2.4.2 Раздел определений.
3.2.5 Библиотеки типов концептуальных отношений.
3.3 Программные средства проектирования и реализации мультиагентных систем управления.
3.3.1 Структура системы .
3.3.2 Модуль ii.
3.3.3 База знаний интеллектуального компонента
3.3.4 Модуль i.
3.3.5 Модуль ii.
3.3.6 Модуль i.
3.3.7 Модуль Пгшк
3.4 Выводы.
4 Практическое применение разработанных моделей и
инструментальных средств.
4.1 Применение разработанных моделей и средств в промышленности
4.2 Применение разработанных инструментальных средств и языка в учебном процессе
4.3 Выводы.
Заключение
Список литературы


Продукционная модель, или модель, основанная на правилах, позволяет представить знания в виде предложений типа «Если (условие), то (действие)». Основы продукционного формализма заложены Э. Л. Постом (Post E. В нашей стране продукционные системы и исчисления развивались С. Ю. Масловым [], [J, H. A. Шаниным [], В. Е. Кузнецовым [], М. И. Кратко [], []. А - алфавит условного языка, V - алфавит переменных, Р -конкретное множество продукций. Под условием, называемым также антецедентом, понимается совокупность образов, имеющихся в базе знаний или рабочей памяти интеллектуальной системы, а под действием (конссквснтом) - действия, выполняемые при успешном выполнении правил продукции. Можно сказать, что ПЗ в виде продукционных правил является естественным выражением языковых каузальных структур. БЗ. Данная модель способствует прозрачности БЗ, то есть возможности объяснения хода решений и т. ЛИСП) и низкая наглядность БЗ в целом. Существует большое количество программных средств, реализующих продукционный подход (язык ОРБ5 [], [], инструментальные системы ПИЭС [], СПИЭС [], промышленные ЭС на его основе []). Основы формальных логических систем изложены в работах Д. Гильберта [], С. Клини [], Х. Б. Карри [] и др. Б - множество базовых символов теории; Б - формулы теорий (подмножество выражений теории); А - аксиомы теории (Ас Б) - множество априорно истинных формул; К - конечное множество отношений {Г|, . Наиболее распространенный пример использования данной модели - исчисление предикатов. Ь,. Ьь . X, у, . Х|, уь . Р, Q, . Для придания формуле содержания ее интерпретируют как n-местное выражение, касающееся предметной области. При интерпретации формуле приписывается значение «истинно» или «ложно». Наиболее распространенный язык программирования, основанный на исчислении предикатов - ПРОЛОГ [], [] и его различные модификации -Arity Prolog, Visual Prolog и т. Данный язык использует для представления знаний фразы Хорна (Нот clause) []. Фундаментальным методом доказательства, на котором базируется логический вывод Пролога, является метод резолюций Робинсона [] и метод опровержения резолюций (Resolution refutation) []. Основное достоинство формальных логических моделей - единообразная формальная процедура доказательства теорем. Однако это может явиться недостатком при доказательстве эвристик, отражающих специфику предметной области. Другими недостатками предикатного способа Г являются: отсутствие средств структурирования используемых элементов и недопустимость противоречий. Первый является ключевым недостатком при использовании интеллектуальной И С пользователем - непрограммистом. Семантическая сеть (СС) есть сеть, образованная помеченными вершинами и дугами. Вершины сети - сущности предметной области, а дуги -отношения между сущностями, которые они связывают. При наличии собственной структуры вершин сети называют иерархическими, а в противном случае - простыми. X - множество понятий и имен предметной области; Я - множество отношений, заданных на X. Семантические сети объединяют под общим названием большую совокупность моделей представления знаний, которые часто имеют только формальное сходство. Сети определений, выражающие подтип или is-a-oтнoшeниe между концептуальным типом и вновь определяемым подтипом. Результирующая сеть, называемая также обобщающей или постановочной иерархией, может поддерживать правило наследования для конкретных свойств, определенных для супертипа по отношению ко всем его подтипам. Сети логических выражений. В отличие от сетей определений, информация в логических сетях предполагается истинной. Некоторые логические сети могут служить моделями концептуальных структур, лежащих в основе семантики естественных языков. Импликационные сети используют импликацию как первичное отношение для связываемых узлов. Они могут использоваться для представления образов убеждений, причинности или влияния. Исполняемые сети включают некоторый механизм, такой, как передача маркера или назначаемые процедуры, которые могут преобразовывать влияние, посылать сообщения и производить выполнение некоторых действий, связанное с передачей результатов.