Разработка моделей и метода построения мультиагентных систем управления сетевыми производственно-коммерческими компаниями тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Истратов, Михаил Леонидович
- Специальность ВАК РФ05.13.01
- Количество страниц 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 Инструментарий AgentBuilder.
1.3.2 Система Bee-gent.
1.3.2 Инструментарий JULIA.
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 Функция FL.
2.3.3 Функция FP.
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 Структура системы MAS-SRK.
3.3.2 Модуль iBuilder.
3.3.3 База знаний интеллектуального компонента.
3.3.4 Модуль iKernel.
3.3.5 Модуль ilnfer.
3.3.6 Модуль iAgent.
3.3.7 Модуль iTrans.
3.4 Выводы.
4 Практическое применение разработанных моделей и инструментальных средств.
4.1 Применение разработанных моделей и средств в промышленности.
4.2 Применение разработанных инструментальных средств и языка в учебном процессе.
4.3 Выводы.
Рекомендованный список диссертаций по специальности «Системный анализ, управление и обработка информации (по отраслям)», 05.13.01 шифр ВАК
Методы и программные средства логического управления вычислительными процессами в агентно-ориентированных метакомпьютерных системах2011 год, кандидат технических наук Карамышева, Надежда Сергеевна
Модели и методы построения корпоративных интеллектуальных систем поддержки принятия решений2004 год, доктор технических наук Швецов, Анатолий Николаевич
Интеллектуализация управления бизнес-процессами предприятия2007 год, кандидат технических наук Жебрун, Николай Николаевич
Методология моделирования виртуальной интеграционной площадки в экономико-информационном пространстве региона2011 год, доктор экономических наук Жук, Марина Алексеевна
Открытые мультиагентные системы для оперативной обработки информации в процессах принятия решений2003 год, доктор технических наук Скобелев, Петр Олегович
Введение диссертации (часть автореферата) на тему «Разработка моделей и метода построения мультиагентных систем управления сетевыми производственно-коммерческими компаниями»
Актуальность проблемы
Низкая эффективность общепринятых форм кооперации при решении сложных проблем хозяйственной стратегии, рыночные и организационные неудачи вызвали инновационную активность в области сетевой организации и привели к созданию нетрадиционных структур - так называемых виртуальных предприятий.
Виртуальная сетевая организация (ВСО) представляет собой сеть организаций, в которой условно интегрируются предприятия, непосредственно выпускающие продукцию, а также поставщики сырья и материалов, смежники по производству компонентов продукции, конкуренты, выпускающие аналогичную продукцию, и потребители.
На развитие новых форм организации и управления предприятием повлияли такие тенденции развития современных рынков, как глобализация рынков, растущее значение качества товара, его цены и степени удовлетворения потребителей, повышение важности устойчивых отношений с потребителями (индивидуальными заказчиками), а также развитие межорганизационных систем информации и коммуникации и стремление к автономным формам труда.
Объединение организаций в сети позволяет им собрать свои ресурсы, мощности, расширить охват рынка, приблизиться к потребителю, снизить транзакционные издержки, обмениваться знаниями и технологиями.
Для ВСО характерна широкая территориальная распределенность и высокая динамика изменения связей между предприятиями, входящими в сеть.
Р. Патюрель, Б. Мильнер отмечают следующие характерные черты виртуальной сетевой организации:
- непостоянный характер функционирования элементов;
- осуществление связей и управленческих действий на базе интегрированных и локальных систем и телекоммуникаций;
- взаимоотношения со всеми партнерами и другими заинтересованными организациями на основе серии соглашений, договоров и совместного владения собственностью;
- образование временных альянсов организаций в смежных областях деятельности;
- частичная интеграция в материнскую компанию и сохранение отношений собственности до тех пор, пока это считается выгодным;
- договорные отношения работников с администрацией во всех звеньях.
Для эффективного функционирования всей сети предприятия-партнеры должны базироваться на согласованном хозяйственном процессе. Для решения информационных проблем сеть должна иметь единую информационную систему, основанную на широком применении новых информационных и коммуникационных технологий, которая повысит эффективность функционирования ВСО через:
- обеспечение возможности сокращения времени на поиск партнеров, осуществление сделок, разработку новой продукции и т.д.;
- снижение асимметрии информации (ее неполноты и неравномерности распределения) и, как следствие, снижение информационных транзакционных издержек;
- сокращение прочих транзакционных издержек, в том числе накладных расходов (командировочных, потерь от несостоявшихся, неправомерных или недобросовестных сделок); снижение риска, связанного с неопределенностью;
- снижение трансформационных издержек за счет оптимального выбора структуры товарного ассортимента, сокращения времени на разработку и внедрение новой продукции, обоснованной политики ценообразования, уменьшения числа посредников и затрат на сбыт и т.д.
Важнейшим условием эффективности ВСО служит интеллектуализация производства и менеджмента у предприятий-партнеров.
Для ее достижения необходимо систематизировать корпоративные знания и опыт, создавать большие распределенные базы производственных знаний, разрабатывать интеллектуальные производственные системы, в которых подсистемы способны к автономным оценкам, рассуждениям и действиям. Эффективное решение этих проблем требует разработки моделей и систем управления производственными знаниями.
Агенты (участники) ВСО разрабатывают совместный проект (или ряд взаимосвязанных проектов), находясь между собой в отношениях партнерства, кооперации, сотрудничества, координации и т.п. Поэтому создание виртуального предприятия связано с интеллектуальным моделированием взаимодействия сложных, неоднородных, отстоящих друг от друга агентов.
Для моделирования и информационной поддержки таких процессов наиболее подходят мультиагентные системы (MAC), в области которых в настоящее время многими учеными, такими как, например, Поспелов Д.А. [1] и Городецкий В.И. [2], ведутся активные исследования. Исследования применения MAC в области виртуальных сетевых организаций ведутся в работах Скобелева П.О. [3], [4]. В настоящее время многими учеными ведутся активные исследования и работы в области интеллектуальных систем (систем, основанных на знаниях). Это, например, работы Осипова Г.С. [5] в области искусственного интеллекта (ИИ) и информационных технологий на основе знаний. В области применения систем поддержки принятия решений известны работы Ларичева О.И. [6], [7] и Трахтенгерца Э.А. [8], [9], [10], [11], [12]. В области распределенных интеллектуальных систем, сочетающих в себе мультиагентные системы и системы распределенного искусственного интеллекта, ведутся работы Швецовым А.Н. [13], [14] и Яковлевым С.А. [15], [16].
В виду актуальности проблемы построения информационных систем управления сетевыми производственно-коммерческими компаниями в работе поставлена следующая цель и для ее достижения решены следующие задачи.
Цель диссертационной работы
Целью данной диссертационной работы является повышение эффективности и качества функционирования служб управления сетевых производственно-коммерческих компаний за счет применения мультиагентных систем, обеспечивающих интеллектуальную поддержку процессов управления.
Задачи, решаемые в работе.
Для достижения указанной цели в работе поставлены и решены следующие задачи:
1. Разработка концептуальной модели мультиагентной системы управления СПКК.
2. Исследование и разработка метода формирования интеллектуальных компонентов мультиагентной системы управления СПКК.
3. Разработка модели интеллектуального агента в структуре мультиагентной системы управления СПКК.
4. Разработка языка спецификации мультиагентных систем управления.
5. Создание инструментального программного обеспечения построения и реализации мультиагентных систем.
Методы исследования
Для теоретического решения поставленных задач в работе использовались методы инженерии знаний, теория фреймов, теория концептуальных графов, логика исчисления предикатов, теория формальных систем. Разработка программных средств системы осуществлялась с использованием средств объектно-ориентированного программирования. О
Научные результаты
1. Концептуальная модель мультиагентной системы управления СПКК, основанная на совместной декомпозиции моделей элементов внутренней и внешней среды СПКК, позволяющая интегрировать интеллектуальные компоненты системы и унаследованные корпоративные приложения и отличающаяся ориентированностью на полииерархический характер структуры управления СПКК.
4 2. Метод формирования интеллектуальных компонентов системы, основанный на концептуальной модели СПКК и учитывающий распределенную структуру организационно-технологических комплексов корпорации.
3. Модель интеллектуального агента системы, отличающаяся композицией продукционных правил и схем логического вывода по базе знаний интеллектуального компонента, обеспечивающая интеллектуализацию решения прикладных задач управления СПКК.
4. Язык спецификации мультиагентных систем управления, отличающийся возможностью описания структурных иерархических связей и концептуальных отношений элементов предметной области и позволяющий создавать формализованные описания интеллектуальных систем управления.
Практическая ценность
Практическая ценность полученных в диссертации результатов заключается в следующем:
1. Разработаны модели и метод построения мультиагентных систем управления СПКК на основе совместной декомпозиции организационной структуры, территориальной структуры, средств автоматизации и внешней среды организации, позволяющие формализовать и автоматизировать основные этапы построения MAC.
2. Разработаны языковые и инструментальные средства, которые позволяют описать концептуальную модель и функционирование проектируемой системы и автоматизировать процесс построения баз знаний MAC и сократить затраты времени на разработку.
Реализация в промышленности
Исследования, выполненные в диссертационной работе, являются частью тематики научно-исследовательских работ, проводимых кафедрой Автоматизации технологических процессов и производств Вологодского государственного технического университета, и внедрены в ОАО «Вологдаметаллострой», что подтверждено соответствующим актом. Инструментальный пакет построения мультиагентных систем управления используется в учебном процессе кафедры ATI ill для проведения лабораторного практикума по дисциплине «Информационное обеспечение систем управления».
Апробация результатов работы
Основные положения диссертационной работы докладывались автором и обсуждались на:
- 1-й и 2-й международной научно-технической конференции «Информатизация процессов формирования открытых систем на основе СУБД, САПР, АСНИ и систем искусственного интеллекта (Вологда, 2001, 2003);
- всероссийской научной конференции «Управление и информационные технологии» (Санкт-Петербург, 2003).
Получено свидетельство № 2001611397 об официальной регистрации программы для ЭВМ «Программный комплекс «Опоры контактной сети для железнодорожного транспорта» - распределенной информационно-обучающей системы.
По результатам исследования в Вологодском государственном техническом университете были подготовлены методические указания по теме «Разработка Internet приложений для доступа к базам данных».
Похожие диссертационные работы по специальности «Системный анализ, управление и обработка информации (по отраслям)», 05.13.01 шифр ВАК
Разработка мультиагентной системы поддержки принятия решений по оценке эксплуатационной надежности систем управления2007 год, кандидат технических наук Основина, Ольга Николаевна
Разработка и применение системы динамического моделирования мультиагентных процессов преобразования ресурсов2006 год, кандидат технических наук Гончарова, Наталья Вадимовна
Модели, методы и программные средства организации взаимодействия интеллектуальных агентов2008 год, кандидат технических наук Паронджанов, Сергей Сергеевич
Модели и методы управления техническим обслуживанием и ремонтом оборудования промышленного предприятия2010 год, кандидат технических наук Сергушичева, Мария Александровна
Модели и методы для разработки инструментальных программных средств поддержки выполнения проектов в распределенном информационном пространстве2005 год, кандидат технических наук Бурмистров, Даниил Игоревич
Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Истратов, Михаил Леонидович
4.3 Выводы
В данной главе рассмотрено практическое применение разработанных моделей, метода и средств при построении мультиагентной системы управления реальным производственным предприятием в составе виртуальной сетевой инфраструктуры. Дана качественная оценка влиянию применения ф MAC, построенной с использованием предлагаемых моделей и средств, на повышение эффективности и качества функционирования служб управления сетевыми производственно-коммерческими компаниями, заключающееся в повышении оперативности извлечения, обработки и анализа информации, а также анализа возможных вариантов решений на основе автоматизированного моделирования процессов, происходящих в СПКК с применением интеллектуальных агентов.
Следует, однако, отметить, что, несмотря на работоспособность предложенных моделей, метода и средств и возможность существенного влияния их применения на эффективность и качество процессов управления, полноценное их внедрение пока является задачей перспективной и может быть предметом дальнейших исследований, что связано с высокой трудоемкостью данного процесса.
В данной главе также рассмотрено применение разработанного программно-алгоритмического комплекса в учебном процессе, что уже осуществляется при проведении занятий в Вологодском государственном техническом университете.
Заключение
В работе проанализирована актуальность проблемы построения информационных систем управления сетевыми производственно-коммерческими компаниями (СПКК) и современные методы и средства построения мультиагентных систем (MAC) управления и поставлена цель -повышение эффективности и качества функционирования служб управления СПКК, для достижения которой решены следующие задачи:
- Разработана концептуальная модель мультиагентной системы управления СПКК.
- Разработан метод формирования интеллектуальных компонентов мультиагентной системы управления СПКК на основе концептуальной модели.
- Разработана модель интеллектуального агента в структуре мультиагентной системы управления СПКК.
- Разработан язык спецификации мультиагентных систем управления MASSL.
- Создано инструментальное программное обеспечение построения и реализации мультиагентных систем.
При этом в работе получены следующие новые научные результаты:
1. Концептуальная модель мультиагентной системы управления СПКК.
2. Метод формирования интеллектуальных компонентов системы,
3. Модель интеллектуального агента системы.
4. Язык спецификации мультиагентных систем управления.
Предложенные модели, метод и язык спецификаций обладают следующими преимуществами:
- Концептуальная модель мультиагентной системы управления СПКК позволяет интегрировать интеллектуальные компоненты системы и унаследованные корпоративные приложения, отличающиеся ориентированностью на полииерархический характер структуры управления СПКК. Для модели СПКК выделены концептуальные отношения и описана их аксиоматика, которые, в отличие от существующих моделей ориентированы на данную предметную область.
- Метод формирования интеллектуальных компонентов системы основан на концептуальной модели СПКК, учитывает распределенную структуру организационно-технологических комплексов компании и позволяет формализовать процесс формирования интеллектуальных компонентов системы и их баз знаний, что позволяет снизить его трудоемкость за счет применения автоматизированных программных средств.
- Модель интеллектуального агента системы отличается композицией продукционных правил и схем логического вывода по базе знаний интеллектуального компонента, что обеспечивает интеллектуализацию решения прикладных задач управления СПКК.
- Язык спецификации мультиагентных систем управления отличается возможностью описания структурных иерархических связей и концептуальных отношений элементов предметной области. Он позволяет описывать предложенные модели интеллектуальных компонентов и интеллектуальных агентов с учетом их логических взаимосвязей и продукционного описания поведения, и создавать формализованные описания интеллектуальных систем управления.
Практическим результатом работы является разработанный комплекс программно-алгоритмических средств, позволяющий ускорить проектирование мультиагентной системы и обеспечить ее реализацию. Он позволяет формировать спецификации проектируемой системы в наглядном графическом виде или на языке MASSL и реализовывать на ее основе распределенные корпоративные мультиагентные системы.
Указанные преимущества полученных результатов обуславливают их практическую ценность, заключающуюся в том, что:
- Разработанные модели и метод построения MAC управления СПКК позволяют формализовать и автоматизировать основные этапы построения MAC.
- Разработанные языковые и инструментальные средства позволяют автоматизировать процесс построения баз знаний MAC и сократить затраты времени на разработку.
Применение реализованных с использованием разработанных моделей, метода и средств мультиагентных систем в промышленности позволяет повысить эффективность и качество функционирования служб управления СПКК за счет более оперативной обработки информации, основанной на интеллектуальном моделировании процессов управления СПКК.
Дальнейшее развитие диссертационных исследований возможно по следующим направлениям:
- разработка вопросов применения в MAC управления СПКК методов автоматического извлечения знаний о предметной области;
- разработка вопросов применения существующих алгоритмов принятия решений в моделях интеллектуальных агентов системы;
- дальнейшее развитие инструментальных средств построения и реализации мультиагентных систем управления.
Список литературы диссертационного исследования кандидат технических наук Истратов, Михаил Леонидович, 2003 год
1. Поспелов Д.А. Многоагентные системы настоящее и будущее // Информационные технологии и вычислительные системы. - 1998. - № 1 -С.14-21.
2. Городецкий В.И. Информационные технологии и многоагентные системы // Проблемы информатизации. 1998. - Вып. 1. - С.3-14.
3. В.А.Виттих, П.О.Скобелев Мультиагентные системы для моделирования процессов самоорганизации и кооперации. Proc.of XIII International Conferention on the Application of Artificial Intelligence in Engineering, Galway, Ireland, 1998, pp. 91 - 96.
4. П.О.Скобелев. Моделирование холонических систем. Труды II Международной конференции "Проблемы управления и моделирования в сложных системах", Россия, Самара, 20-23 июня 2000 г., сс. 73-79.
5. Осипов Г.С. Приобретение знаний интеллектуальными системами. -М.:Наука, 1997.- 112 с.
6. Ларичев О.И. Теория и методы принятия решений, а также Хроника событий в Волшебных Странах: Учебник. М.: Логос, 2000. - 390 с.
7. Ларичев О.И., Мошкович Е.М. Качественные методы принятия решений. М.: Физматлит, 1996. - 207 с.
8. Трахтенгерц Э.А. Компьютерная поддержка принятия решений. М.: СИНТЕГ, 1998.-376 с.
9. Трахтенгерц Э.А. Неопределенность в моделях компьютерных систем поддержки принятия решений. //Новости искусственного интеллекта. 2001. -№5-6 - С. 5-15.
10. Трахтенгерц Э.А. Субъективность в компьютерной поддержке управленческих решений. М.: Синтег, 2001. - 256 с.
11. Трахтенгерц Э.А. Компьютерная поддержка переговоров при выработке групповых решений. М.: ИПУ РАН, 2001. - 82 с.
12. Трахтенцерц Э.А. Компьютерная поддержка переговоров при согласовании управленческих решений. М.: Синтег, 2003. - 284 с.
13. Швецов А.Н., Яковлев С.А. Распределенные интеллектуальные информационные системы. СПб.: Изд-во СПбГЭТУ «ЛЭТИ», 2003. - 318 с.
14. Швецов А.Н. Интеллектуальные методы объектно-ориентированного проектирования сложных информационных систем// Информационные технологии в образовании, технике и медицине: Сб. науч. тр. В 2-х ч. Ч. 2. -Волгоград: ВолГТУ, 2000. С. 174-178.
15. Арсеньев Б.П., Яковлев С.А. Интеграция распределенных баз данных. СПб.: Издательство «Лань», 2001. - 464 с.
16. Тарасов В.Б. Агенты, многоагентные системы, виртуальные сообщества: стратегическое направление в информатике и искусственном интеллекте // Новости искусственного интеллекта. 1998. - № 2 - С.-5-15.
17. Demazeau Y., Muller J.-P. (eds.) Decentralized Artificial Intelligence. Amsterdam: Elsevier North-Holland, 1990.
18. Пэранек Г.В. Распределенный искусственный интеллект // В кн.: Искусственный интеллекта: применение в интегрированных производственных системах, Эю Кьюсиак (ред.). М.: Машиностроение, 1991.
19. Rasmussen J., Brehmer В., Leplat J., (eds.) Distributed Decision-Making. Cjgnitive Models for Cooperative Work. N.Y.:J. Wiley & Sons.
20. Wooldridge M., Jennings R. Intelligent Agents: Theory and Practice. Knowledge Engineering Review, Jan 1995.
21. Nwana H.S. Software Agents: An Overview // Knowledge Engineering Review. 1996.-Vol. 11, № 3 - P. 1-40.
22. Хорошевский В.Ф. Поведение интеллектуальных агентов: модели и методы реализации // В сб. трудов 4-го международного семинара по прикладной семиотике, семиотическому и интеллектуальному управлению ASC/IC'99. М.
23. Ambros J., Steel S.W.D. Integrating planning, execution and monitoring // Proc. of the 7th National Conference on Artificial Intelligence (AAAI-88). St. Paul, MN, 1998. - P.83-88.
24. Bratman M.E., Israel D.J., Pollack M.E. Plans and resource-bounded practical reasoning / Computational Intelligence. 1988. - № 4 - P.349-355.
25. Wood S. Planning and Decision Making in Dynamic Domains. Ellis Horwood Ltd., 1993.
26. Vere S., Bickmore T. A basic agent // Computational Intelligence. 1990. - № 6 - P.41-60.
27. Гаврилова T.A., Хорошевский В.Ф. Базы знаний интеллектуальных систем. СПб.: Питер, 2001. - 384с.
28. Sloman F. What sort of architecture is required for a human-like agent ? // Invited talk at Cognitive Modeling Workshop, AAAI-96, Portland Oregon, August 1996.
29. Post E.L. Formal reductions of the general combinatorial problem // Amer.J.Math. 1943. - Vol.65 - p. 197-215.
30. Маслов С.Ю. Некоторые свойства аппарата канонических исчислений Э.Л. Поста // Тр. матем. ин-та АН СССР. 1964. - Т. 72. - С. 5-56.
31. Маслов С.Ю. Теория дедуктивных систем и ее применения. М.: Радио и связь, 1986. - 136 с.
32. An algorithm for machine search of natural logical deduction in prepositional calculus / N.A. Shanin, G.V. Davydov, S.U.Maslov, at al. // Automationof Reasoning Classical Papers on Computational Logic. - 1957-1966; 1983. -Vol.1 - P. 424-483.
33. Кузнецов B.E. Представление в ЭВМ неформальных процедур: продукционные системы. М.: Наука, 1989. - 160 с.
34. Кратко М.И. Формальные исчисления Поста // Проблемы кибернетики. -1966. -Вып. 17. С. 41-65.
35. Кратко М.И., Плесневич Г.С. Быстрый алгоритм распознавания следствий для монадических логических программ // Автоматика и телемеханика. 2001. - № 10. - С. 91-102.
36. Gupta A. Parallelism In Production Systems. Les Altos, CA: Morgan Kaufmann Publishers, 1987. - 224 p.
37. Neiman D. Design and Control of Parallel Rule Firing Production System // PhD Thesis / Computer Science Department. University of Massachusetts at Amherst, 1992.
38. Programming Expert Systems in OPS5 An Introduction to Rule -Based Programming / L.Brownston, R.Farrell, E.Kant, N.Martin. - Reading, Mass.: Addison-Wesley, 1995.-471 p.
39. Sherman P.D., Martin J.C. An OPS5 Primer: Introduction to Rule -Based Expert Systems. New Jersey: Prentice Hall, Englewood Cliffs, 1990. - 1931. P
40. Хорошевский В.Ф. PIES технология и инструментарий PIES Work Bench для разработки систем, основанных на знаниях // Новости искусственного интеллекта. -1995. - № 2. - С. 7-64.
41. Ковригин О.В., Перфилев К.Г. Гибридные средства представления знаний в системе СПЭИС // Всесоюз. конф. по искусственному интеллекту: Тез. докл.: Т.2. -Переславль-Залесский, 1988. С. 490-494.
42. Попов Э.В. Динамические интеллектуальные системы в управлении и моделировании. -М.: МИФИ, 1996. 112с.
43. Гильберт Д-, Бернайс П. Основания математики. Логические исчисления и формализация арифметики. М.: Наука, 1979. - 560 с.
44. Клини С.К. Математическая логика. М.: Мир, 1973. - 480 с.
45. Карри Х.Б. Основания математической логики. М.: Мир, 1969.568 с.
46. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Наука, 1979.-320 с.
47. Малпас Дж. Реляционный язык Пролог и его применение: Пер. с англ. /Под редакцией В.Н. Соболева. М.: Наука, 1990. - 464 с.
48. Clocksin W.F., Mellish C.S. Programming in Prolog. Berlin: Springer-Verlag, 1984.-324 p.
49. Kowalski R.A. Logic for Problem Solving. Amsterdam: North-Holland,1979.
50. Robinson J.A. A machine-oriented logic based on the resolution principle. Journal of the Association for Computer Machinery, 12'1965, p. 23-41.
51. Robinson J.A. Logic: Form and Function Edinburgh: Edinburgh University Press.
52. Цейтин Г.С. Программирование на ассоциативных сетях // ЭВМ в проектировании и производстве. Вып. 2. JL: Машиностроение, 1985. - С. 16— 48.
53. Хейес-Рот Ф., Уотерман Д., Ленат Д. Построение экспертных систем. -М.: Мир, 1987.-430 с.
54. Minsky М. A framework for representing knowledge. In The Psychology of Computer Vision (Winston P.H., edc.) New York: McGraw-Hill. p. 211-177.
55. Минский M. Фреймы для представления знаний / Пер. с англ. М.: Мир, 1979.- 152 с.
56. Шенк Р., Хантер. Познать механизмы мышления // Реальность и прогнозы искусственного интеллекта. М.:Мир, 1987. - С. 49-56.
57. Байдун В.В., Бунин А.И. Средства представления и обработки знаний в системе FRL/PS //Всесоюз. конф. по искусственному интеллекту: Тез. докл.: Т. 1. Минск, 1990. - С. 66-71.
58. Стрельников Ю.Н., Борисов Н.А. Разработка экспертных систем средствами инструментальной оболочки в среде MS Windows. Тверь: ТГТУ,1997.-89 с.
59. Ковригин О.В., Перфильев К.Г. Гибридные средства представления знаний в системе СПЭИС // Всесоюз. конф. по искусственному интеллекту: Тез. докл.: Т.2. Переславль-Залесский, 1988. - С. 490-494.
60. Sisodia R., Warkentin М. AI in buisiness and management // PC AI. -1992. Jun/ Feb. - P. 32-34.
61. Gruber T.R. A translation approach to portable ontologies // Knowledge Acquisition. 1993. - № 5 (2) - C. 199-220.
62. Lenat D. B. CYC: A Large-Scale Investment in Knowledge Infrastructure //
63. Communications of the ACM. 1995. - № 38 (11) - P.33-48.
64. Braetman J. A., Magnini D., Rinaldi F. The Generaliazed Italian, German, English Upper Model // ECAI'94. Amsterdam, 1994.
65. TOVE Manual. Department of Industrial Engineering, University of Totonto, 1999. -http://www.eil.utoronto.ca/tove/ontoTOC.html.
66. Van der Vet P.E., Mars N.J., Speel P.H. The Plinius Ontology of Ceramic Materials // ECAI'94. Amsterdam, 1994.
67. Agent Builder An Integrated Toolkit for Constructing Intelligent Software Agents // Revision 1.3, February 19, 1999. Reticular Systems, Inc.
68. Shoham Y., Agent-oriented programming //Artificial Intelligence. № 60(1), 1993.
69. Labrou Y. and Finin T. A Proposal for a new KQML Specification, February 3, 1997.
70. Austin J.L. How to Do Things with Words. Oxford
71. Searle J.R., Wanderveken J.B. Foundations of Illocutionary Logic. -Cambridge Univ. Press, 1985.
72. Extensible Markup Language (XML) // W3C Recommendation. -http://www.w3.org/TR/1998/REC-xml-19980210.
73. Human Agent Interaction // FIPA96 Draft Specification: Part 8. -http://www.cset.it/fipa/fipa8713.doc
74. Сошников Д.В. Инструментарий JULIA для создания распределенных интеллектуальных систем на основе продукционно-фреймового представления знаний // Труды МАИ. Электронный журнал. 2002. - №7.
75. Тарасов В.Б. Предприятия XXI века:проблемы проектированияи управления. Автоматизация проектирования. -1998. -№4. с.35-38.
76. Зильбершац А., Здоник С. Стратегические направления в системах баз данных. Системы управления базами данных. - 1997. -№4, с.20-25.
77. Катаев А.В. Виртуализация как возможный путь развития управления. http://business.rin.ru/cgi-bin/search.pl?action=view&num^ 341295& razdel=8&w=0.
78. Hardwick М., Spooner D., Rando Т., Morris К. Sharing manufacturing information in virtual enterprises. Communications of the ACM. - 1996. - Vol.39, № 2. - P.46-54.
79. Тарасов В.Б. Виртуальное предприятие ключевая стратегия автоматизации и перестройки деловых процессов. - Электронный офис. 1996. Октябрь, с.2-3.
80. Старостин Д. Готовность систем управления предприятием к интеграции. Byte Magazine Online. - http://www.bytemag.ru/Article.asp?ID=426.
81. А.В. Солдатов. Интеграция корпоративных информационных систем на базе XML Автоматизация и управление в машиностроении. - 2001. - №17. - http://magazine.stankin.ru/arch/nl 7/index.shtml.
82. Клементе Т. Обзор SOAP. http://www.javagu.ru/index.shtml7section =34&article= 1381.
83. Суконщиков А.А., Швецов А.Н. Разработка математических методов проектирования информационных систем на основе информационно-вычислительных сетей // Вестник ВоГТУ. 2001. - №2 - С. 62-65.
84. Кучкаров З.А., Шаляпина С.К. Некоторые методические аспекты концептуализации предметных областей (на примере построения концептуальной схемы «друзья и враги») // Социология: 4М, 1996. - № 7 - С. 9-28.
85. Ханс А. Вютрих, Андреас Ф. Филипп. Виртуализация как возможный путь развития управления. Проблемы теории и практики управления. - 1999. -№5. с.35—40.
86. Управление производством: Учебник / Под ред. Н.А. Саломатина. -М.: ИНФРА-М, 2001. 219с. - (Серия «Высшее образование»).
87. Теория организации: Учебное пособие / Акулов В.Б., Рудаков М.Н. Петрозаводск: ПетрГУ, 2001.
88. Конституция Российской Федерации от 25.12.1993, с изменениями от 09.01.1996, 10.02.1996, 09.06.2001. Ст.65.
89. Закон липецкой области N 38-03 Об административно-территориальном устройстве Липецкой области // Липецкая газета. 1996. - N 90. - С. 1-2.
90. Закон N 28 Об административно-территориальном устройстве Чувашской республики. // Собрание законодательства ЧР. 1998 г. - N 1-2. -ст. 8.-С. 19-22.
91. Закон об административно-территориальном устройстве Томской области // Официальные ведомости Администрации Томской области (сборник нормативно-правовых актов). 1997. - № 17. - С. 14-17.
92. Закон приморского края N 93-КЗ Об административно-территориальном устройстве приморского края. // Ведомости Думы Приморского края. 1997. - N 52. - С.7-10.
93. Закон ульяновской области об административно-территориальном устройстве Ульяновской области. // Народная газета. 1998. - N 3-4. - С. 2-3.
94. Закон Ямало-Ненецкого автономного округа об административно-территориальном устройстве Ямало-Ненецкого автономного округа. // Вестник Тюменской областной Думы. 1996. - N 7. - С. 14-19.
95. Градостроительный кодекс Российской Федерации. N 73-Ф3 (в ред. Федерального закона от 30.12.2001 N 196-ФЗ) Ст. 5.
96. Щ 103. Минаси М. Реализация однодоменной структуры сети предприятия //
97. Windows & .NET Magazine/RE. 2000. - № 2 - С. 36-40.
98. ГОСТ 19781-90. Обеспечение систем обработки информации программное. Термины и определения. -М.:Изд-во стандартов, 1990.
99. Виноградов А.Н. Разработка и исследование моделей и методов построения архитектуры и интеллектуальных средств для динамических интеллектуальных систем. Диссертация 61 02-1/209.
100. Бутаков С.В. Разработка интеллектуальных модулей информационной системы: На примере оценки деятельности предприятия.1. Диссертация 61 01-5/836.
101. Амбарцумов А.А., Стерликов Ф.Ф. 1000 терминов рыночной экономики: Справочное учебное пособие. — М.: Крон-Пресс, 1993. — 302 с.
102. Родионова JI.H., Кантор О.Г., Хакимова Ю.Р., Оценка конкурентоспособности продукции. Маркетинг в России и за рубежом. -2000. -№ 1. с. 14-17.
103. Швецов А.Н., Суконщиков А.А. Канонические исчисления Поста как средство моделирования сложных дискретных систем // Автоматизация процессов управления и обработки информации: Сб. статей. Вологда: ВоПИ,1998.-С. 82-135.
104. Суконщиков А.А., Швецов А.Н., Беляев А.О. Выбор аппарата формализации для моделирования сложных систем. // Сборник научных трудов института в 2-х т. Вологда: ВоПИ, 1998. - С. 82-84.
105. Information Integration for Concurent Engineering (IICE). IDEF5 Method Report. / KBSI. 1994.
106. Лидовский B.B. Пролог. Прошлое. Настоящее. Будущее? // Информационные технологии. 2001. - №3. - С. 11-13.
107. Michael R. Genesereth, Richard Е. Fikes. Knowledge Interchange Format, DARPA Knowledge Sharing Effort, 1992.
108. Сети ЭВМ и телекоммуникации. Методические указания к лабораторным работам. Вологда: ВоГТУ, 2002. - 30 с.
109. Свидетельство № 2001611397 об официальной регистрации программы для ЭВМ «Программный комплекс «Опоры контактной сети для железнодорожного транспорта».
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.