Модели и методы построения корпоративных интеллектуальных систем поддержки принятия решений тема диссертации и автореферата по ВАК РФ 05.13.01, доктор технических наук Швецов, Анатолий Николаевич

  • Швецов, Анатолий Николаевич
  • доктор технических наукдоктор технических наук
  • 2004, Санкт-Петербург
  • Специальность ВАК РФ05.13.01
  • Количество страниц 461
Швецов, Анатолий Николаевич. Модели и методы построения корпоративных интеллектуальных систем поддержки принятия решений: дис. доктор технических наук: 05.13.01 - Системный анализ, управление и обработка информации (по отраслям). Санкт-Петербург. 2004. 461 с.

Оглавление диссертации доктор технических наук Швецов, Анатолий Николаевич

Введение.

Глава 1. Анализ современного состояния проблем построения корпоративных систем поддержки принятия решений и постановка задач, решаемых в диссертационной работ.

1.1. Современное состояние корпоративных систем поддержки принятия решений.

1.1.1. Границы традиционных моделей информационной интеграции в корпоративных системах.

1.1.2. Проблема повышения интеллектуального уровня корпоративных систем поддержки принятия решений.

1.1.3. Проблема интеллектуальной интеграции в корпоративных системах поддержки принятия решений.

1.2. Становление парадигмы интеллектуализации корпоративных систем поддержки принятия решений.

1.2.1. Основные концепции интеллектуализации в корпоративных системах поддержки принятия решений.

1.2.2. Мультиагентные системы как необходимый компонент интеллектуализации.

1.3. Концепция корпоративной интеллектуальной системы поддержки принятия решений.

1.4. Анализ существующих подходов к построению мультаагентных систем поддержки принятия решений.

1.5. Формулировка задач диссертационного исследования.

Выводы по главе 1.

Глава 2. Модели компонентов корпоративной интеллектуальной системы поддержки принятия решений (КИНС ППР).

2.1. Уровни интеллектуальной иерархии в КИНС ППР.

2.2. Модель информационного объекта в гетерогенной информационной среде.

-32.2.1. Сравнительный анализ возможностей применения объектных моделей для построения КИНС ППР.

2.2.2. Построение формальной объектной аксиоматизируемой системы.

2.2.3. Теоретико-множественные свойства информационных объектов.

2.2.4. Модель поведения информационного объекта.

2.2.5. Свойства модели поведения информационного объекта.

2.3 .Модель интеллектуального агента КИНС ППР.

2.3.1. Сравнительный анализ основных типов агентных моделей по условиям их применимости к задачам построения КИНС ППР.

2.3.2. Обобщенная модель интеллектуального агента КИНС ППР.

2.3.3. Модель целеполагания интеллектуального агента и ее свойства.

2.3.3.1; Определение методов выбора целей.

2.3.3.2. Классификация интеллектуальных агентов по свойствам целеполагания.

2.3.3.3. Допустимые структуры КИНС ППР по свойствам целеполагания. 151 2.3.4: Интерпретация основных типов агентных моделей в обобщенной модели интеллектуального агента КИНС ППР.

2.3.5. Модель поиска решения интеллектуального агента.

Выводы по главе 2.

Глава 3. Методология построения корпоративных интеллектуальных систем поддержки принятия решений.

3.1. Основы методологии построения КИНС ППР.

3.2. Концептуальная модель предметной области КИНС ППР.

3.3. Проекции концептуальной модели предметной области.

3.3.1. FK-проекция.

3.3.2. FKM-проекция.

3.3.3. Метод построения FKM-проекции. Анализ вариантов и оценки сложности.

3.3.3.1. Иерархический вариант FKM-проекции

-43.313.2. Неиерархический и произвольный варианты РКМ-проекции.

3.4. Метод построения структурно-логической модели КИНС ППР.

3.4.1. Декомпозиция концептуальной модели предметной области и задача выделения интеллектуальных компонентов.

3.4.2. Построение дерева Т1К.

3.4.3. Декомпозиция БК-проекции по дереву интеллектуальных компонентов.

3.4.4. Трансляция дерева фрейм-концептов.

Выводы по главе

Глава 4. Архитектура корпоративной интеллектуальной системы поддержки принятия решений

4.1. Структурно-логическая модель КИНС ППР

4.2. Архитектура баз знаний КИНС ППР.

4.3. Алгоритмы логического вывода в архитектуре КИНС ППР.

4.3.1. Терминальный нисходящий неаддитивный вывод.

4.3.2. Аддитивный иерархический вывод.

4.3.3. Аддитивный обобщенный вывод.

4.3141 Локальный вывод.

Выводы по главе 4.

Глава 5. Инструментальный программный комплекс для построения корпоративных интеллектуальных систем поддержки принятия решений.

5.1. Концепция инструментального программного комплекса.

5.2. Архитектура инструментального программного комплекса.

5.3; Функциональное описание инструментального программного комплекса.

5.311. Конструктор фрейм-концептов.

5.3.2. Логический конструктор

5.3.3. Транслятор концептуальной модели предметной области.

5.3.4. Конструктор баз знаний интеллектуальных компонентов.

5.3.5. Механизм обмена сообщениями.

5.3.6. Библиотека моделей поведения.

Выводы по главе 5.

Глава 6. Практические результаты применения моделей, методов и инструментальных программных средств построения корпоративных интеллектуальных систем поддержки принятия решений.

6.1. Особенности принятия решений в организационно-технических системах управления.

6.2. Распределенная интеллектуальная система отдела по работе с обращениями граждан.

6.3. Корпоративная интеллектуальная система многофилиального банка.

6.4. Мультиагентная система поддержки принятия решений коммерческой фирмы.

6.5. Мультиагентная система «Виртуальная кафедра»

Выводы по главе 6.

Рекомендованный список диссертаций по специальности «Системный анализ, управление и обработка информации (по отраслям)», 05.13.01 шифр ВАК

Введение диссертации (часть автореферата) на тему «Модели и методы построения корпоративных интеллектуальных систем поддержки принятия решений»

Актуальность проблемы

Развитие современного общества характеризуется расширением процессов глобализации, проявляющихся в стремительном формировании единого общемирового информационного пространства на основе передовых компьютерных технологий. Наиболее развитые страны мира осуществили переход от индустриальной цивилизации к цивилизации информационной и находятся сейчас на этапе формирования экономики, основанной на знаниях (Knowledge Economy). Наиболее эффективным и коммерчески прибыльным-видом деятельности становятся.не-материальные-техноло-гии, а процессы преобразования человеческого знания, как индивидуального, так и коллективного. Только построенные на научной основе и интегрированные с бизнес-процессами (БП) информационные технологии (ИТ) обеспечивают необходимую скорость менеджмента в корпоративных системах (КС) для принятия правильных решений.

КС понимается автором как сложная территориально-распределенная иерархическая система, перерабатывающая информационные, материальные, энергетические, и возможно другие ресурсные потоки, для принятия решений в которой необходим сбор и семантический анализ информации от множества гетерогенных источников. В диссертационной работе КС рассматриваются в аспекте, обработки информации и поддержки принятия решений.

На передний план научных исследований выдвигается проблема повышения-уровня интеллектуальности информационно-управляющих корпоративных систем, вытекающая из противоречий, сложившихся между возрастающей сложностью информационно-управляющих систем (ИУС) в условиях ограниченных возможностей человека по приему и обработке информации, и неспособностью традиционных корпоративных информационных систем (КИС) преодолеть эту сложность, освободить человека от анализа деталей и фактов на уровне мелких подробностей, принятия решений в условиях большого числа переменных состояний объектов и среды и ограниченного времени, ручного сбора данных и извлечения знаний; необходимостью интеллектуальной интеграции как объединения КИС и специализированных приложений на уровне моделей представления знаний, а не кодов протоколов и низкоуровневых интерфейсов, и трудностью представления в КИС, основанных на традиционных объектно-ориентированных методах, крупных семантических блоков информации и абстрактно-логических моделей мира (среды, системы, производства), поддающихся логико-математической обработке и не требующих полной алгоритмической детализации.

Сложность современных производственных и корпоративных систем достигла сегодня такого уровня, который превышает возможности человека, задействованного в контуре управления АСУ (КИС). Это превышение человеческих возможностей проявляется не только в объемах информации, подлежащих обработке, но и в уровне логической сложности, невозможности анализа всех взаимосвязей и отношений.

Традиционные КИС, основанные на стандартной модели «клиент-сервер» и традиционных методах управления не обеспечивают требуемого качества информационного анализа и необходимой эффективности формирования управляющих воздействий в условиях недостаточности априорной информации о внешней среде функционирования, большого количества трудно учитываемых факторов нестационарности и субъективного их характера, изменяемости целей и критериев качества управления вследствие деградации или целенаправленной реконфигурации.

Проблематика указанных направлений исследований поставлена в работах таких отечественных и зарубежных ученых как Вавилов A.A., Варшавский В.И., Вит-тих В.А., Глушков В.М., Гаврилова Т.А., Городецкий В.И., Евреинов Э.В., Калини-ченко Л.А., Костров A.B., Ларичев О.И., Летичевский A.A., Липаев В.В., Марлей В1Е., Мартин Дж., Минский М., Осипов Г.С., Песиков Э.Б., Поспелов Г.С., Поспелов Д.А., Попов Э.В., Пупков К.А., Советов Б.Я, Стефанюк В.Л., Трахтенгерц Э.А., Фомин Б.Ф., Хорошевский В.Ф., Черноруцкий И.Г., Шенк Pi, Ющенко Е.Л., Яковлев С.А., Яшин А.И.

Таким образом, сложились условия для исследования теоретических моделей и методов, разработки алгоритмов и программных средств построения корпоративных интеллектуальных систем поддержки принятия решений (КИНС ППР), основанных на методах искусственного интеллекта (ИИ) и инженерии знаний;

Становление парадигмы распределенных интеллектуальных и мультиагентных систем (MAC) достигло сегодня той стадии, когда такие системы начинают превращаться в техническую реальность. При этом центральной проблемой разработки агентно-ориентированных систем является отсутствие теоретически обоснованной методологии проектирования, охватывающей все стадии процесса создания системы и обеспечивающей переход от абстрактной архитектуры распределенной системы и формальных логических моделей интеллектуальных агентов (ИА) к стадии технической реализации. Немногочисленные попытки создания подобной методологии (работы В.И. Городецкого, М. Вулдриджа, Д. Кинни, В.Б. Тарасова) фактически являются пионерскими и ориентированы на определенный ограниченный класс задач, моделируемый в рамках конкретного программного инструментария.

Объектом диссертационного исследования являются корпоративные системы поддержки- принятия, решений,- функционирующие в изменяющейся гетерогенной информационной' среде.

Предметом исследования являются процессы построения и реализации агент-но-ориентированных корпоративных интеллектуальных систем поддержки принятия решений.

Основные результаты диссертации получены в рамках выполнения государственного контракта от 01.11.2002 г. №Б0034.2073 на выполнение работ по Федеральной целевой программе «Интеграция науки и высшего образования России на 20022006 годы» по проекту Программы «Проведение фундаментальных, поисковых и прикладных исследований в области высоких технологий по приоритетным направлениям информатики, электроники и управлениях целью повышения научного и образовательного потенциала России», госбюджетных научно-исследовательских работ: «Исследование и разработка методов моделирования сложных систем» (Вологда, ВоПИ, 1996-98 г.г., тема Г79.2.Э5), «Исследование методов разработки экспертных и обучающих систем» (Вологда, ВоПИ, 1996-98 г.г., тема Г79.2.Э4), в грантах: «Исследование и разработка математических методов и программно-алгоритмических средств моделирования сложных дискретных систем в условиях вероятностного поведения» (грант Минвуза РФ 1994-95 г.г.), «Исследование и разработка математических методов и программно-алгоритмических средств проектирования информационно- вычислительных систем на основе вычислительных сетей» (грант Минвуза РФ 1.24 1998-2000 г.г.), «Разработка программно-информационной системы развития интеллекта человека» (грант РГНФ 00-05-12009в, 2000 г.), «Исследование и разработка математических методов и программно-алгоритмических средств проектирования распределенных интеллектуальных информационных систем» (грант Правительства Вологодской области по фундаментальным наукам, 2003 г.), «Исследование и разработка математических методов и. средств проектирования распределенных интеллектуальных информационных систем» (грант по фундаментальным исследованиям в области гуманитарных наук Г02-4.3-65 Минвуза РФ 2003-2004 г.г.).

Целью диссертационной работы является разработка теоретических основ, моделей и методов построения корпоративных систем поддержки принятия решений, обеспечивающих повышение их интеллектуального уровня.

Данное исследование ставит и решает научно-техническую проблему создания корпоративных, систем поддержки принятия решений, обладающих необходимыми интегративными и интеллектуальными свойствами для принятия эффективных решений в условиях изменяющейся гетерогенной информационной среды.

В соответствии с поставленной целью в диссертационной работе решаются следующие основные задачи:

1. Разработка концепции корпоративной интеллектуальной системы поддержки принятия решений, устанавливающей уровни интеллектуальной иерархии и обосновывающей типы интеллектуальных компонентов КИНС ППР.

2. Создание и исследование формально-математических моделей интеллектуальных компонентов КИНС ППР, соответствующих заявленной концепции и обеспечивающих интеллектуальную интеграцию в гетерогенной корпоративной информационной среде.

3. Разработка и внедрение методологии построения КИНС ППР, включая:

- разработку концептуальной модели предметной области функционирования корпоративной интеллектуальной системы, ориентированной на автоматизацию системного этапа процесса построения;

- исследование и реализацию метода построения концептуальной модели предметной области и структурно-логической модели КИНС ППР.

4. Разработка базовой архитектуры корпоративной интеллектуальной системы для поддержки принятия решений.

5. Исследование и разработка алгоритмов логического вывода в архитектуре КИНС ППР.

-126. Создание архитектуры инструментального программного комплекса для построения КИНС ППР. 7. Применение разработанных методов и средств для решения задач интеллектуальной интеграции в различных прикладных системах поддержки принятия решений.

Основные научные результаты, выносимые на защиту и их новизна:

1. Концепция корпоративной интеллектуальной системы, основанная на агент-но-ориентированном подходе, отличающаяся введением иерархии интеллектуальных компонентов,„обеспечивающих интеллектуальную интеграцию распределенных приложений в целях поддержки принятия решений и обработки информации.

2. Модели компонентов КИНС ППР, а именно:

- модель информационного объекта (ИО), основанная на логике первого порядка, отличающаяся продукционной моделью поведения, обеспечивающая гибкость и вариативность поведения ИО и коммуникацию между программными объектами и интеллектуальными агентами;

- модель интеллектуального агента, базирующаяся на синтезе основных концепций делиберативного и реактивного подходов, отличающаяся способом формирования информационного пространства ИА, наличием модели механизма выбора поведения и содержанием модели целеполагания ИА, позволяющая учитывать динамику развития мультиагентного мира, сложную иерархию целей в КИНС ППР и формировать различные стратегии поведения ИА.

3. Методология построения КИНС ППР, отличающаяся использованием концептуальной модели, предметной области, объединяющей структурные, логические и поведенческие аспекты функционирования, автоматическим распределением знаний по логическим модулям, трансляцией концептуальной модели предметной области в структурно-логическую модель, позволяющая снизить затраты времени на разработку и уменьшить вероятность ошибок.

4. Архитектура КИНС ППР, включающая базу знаний интеллектуального компонента, механизм проверки непротиворечивости, механизмы реализации поведения ИА и ИО, отличающаяся использованием модифицированного алгоритма логического вывода, обеспечивающая реализацию методов и алгоритмов интеллектуальной поддержки при принятии управленческих решений в технических системах.

5. Инструментальный программный комплекс для построения КИНС ППР, включающий систему концептуального проектирования и систему времени исполнения, обеспечивающий разработку интеллектуальных проблемно-ориентированных систем управления и принятия решений.

Методы исследования. Для решения поставленных задач использовались методы системного анализа, математической логики и теории моделей, теория формальных систем и исчислений, теория и методы инженерии знаний, методы объектно-ориентированного и. логического программирования, теория формальных языков и грамматик.

Практическая ценность результатов работы заключается в том, что разработана и доведена до практической реализации методология построения корпоративных интеллектуальных систем поддержки принятия решений. Инженерные методы построения и разработанные программные средства внедрены в практику ряда предприятий и организаций.

Применение результатов диссертационной работы позволяет повысить интеллектуал ьный уровень корпоративных систем и тем самым сократить время на решение задач управления в изменяющейся информационной среде.

Практическая значимость диссертационной работы состоит в создании инженерных методик автоматизированного построения корпоративных интеллектуальных систем поддержки принятия решений, ориентированных на широкий класс задач организационного и технического управления.

Разработанный инструментальный программный комплекс позволяет автоматизировать процесс построения корпоративных интеллектуальных систем поддержки принятия решений, учесть специфику предметной области и характер решаемых управленческих задач; минимизировать затраты на разработку и повысить эффективность использования информационных ресурсов.

Практическая реализация разработок осуществлена при создании распределенной интеллектуальной системы отдела по работе с жалобами и обращениями граждан Правительства Вологодской области, создании и эксплуатации интеллектуальных программно-информационных систем в Управлении внутренних дел Вологодской области, внедрении и использовании интеллектуальных тестирующих и обучающих систем в Вологодском институте права и экономики Минюста России, в АООТ «Термостепс» г. Череповец, в Управлении Министерства юстиции по Вологодской области. Инструментальный программный комплекс для построения КИНС ППР принят к эксплуатации для решения задач ООО «Газстройпроекг» г. Вологда и государственного энергетического предприятия «Вологдаоблкоммунэнерго».

Материалы исследований внедрены в учебный процесс. Полученные в диссертационной работе научные результаты используются в учебном процессе при проведении лекций, семинаров и лабораторно-практических занятий в Санкт-Петербургском-государственном электротехническом университете "ЛЭТИ" по дисциплине «Моделирование систем» для студентов специальности 460002 «Автоматизированные системы обработки информации и управления», в Вологодском государственном техническом университете по дисциплинам «Информационное обеспечение систем управления», «Системное программное обеспечение», «Проектирование систем управления» для студентов специальностей 210100 «Управление и информатика в технических системах» и 220400 «Программное обеспечение вычислительной техники и автоматизированных систем», в Вологодском государственном педагогическом университете для студентов специальности 010200 «Прикладная математика».

По материалам диссертационной работы создан и методически обоснован курс по разработке интеллектуальных агентно-ориентированных систем в структуре дисциплины «Информационное обеспечение систем управления» для студентов специальности «Управление и информатика в технических системах».

Публикации. Основное содержание диссертационной работы опубликовано в 86 печатных работах, из них одна монография, 2 книжных издания, 15 статей (в том числе 4 в журналах, рекомендованных ВАК Минобразования Российской Федерации), 53 доклада и тезисы к 15 докладам на научных и научно-технических конференциях.

Апробация результатов работы

Результаты исследований обсуждались более чем на 30 научных конференциях и симпозиумах, в том числе IX Всесоюзном симпозиуме «Логическое управление в промышленности» (Ташкент, 1986), Всесоюзной научно-технической конференции «Микропроцессорные системы автоматизации технологических процессов» (Новосибирск, 1987), IV Всесоюзной конференции «Перспективы и опыт внедрения статистических методов в АСУ ТП» (Тула, 1990), Всесоюзном научно-техническом совещании «Применение САПР в химическом и нефтяном машиностроении» (Москва, 1990), VI Международной научно-технической; конференции «Робототехника для экстремальных условий» (Санкт-Петербург, 1995), I, II и III Международных конференциях «ИнфоТех» (Череповец, 1996,1999,2001), Всероссийской конференции «Математическое и компьютерное моделирование в науках о человеке и обществе» (Вологда,

1999), II и IV Международных научно-практических конференциях «Фундаментальные и прикладные проблемы приборостроения, информатики, экономики и права» (Сочи, 1999,2001), VI, VII, VIII и IX Международных научно-методических конференциях «Современные технологии обучения» (Санкт-Петербург, 2000, 2001, 2002, 2003), II и III Международных конференциях «Повышение эффективности теплооб-менных процессов и систем» (Вологда, 2000, 2002), Международной конференции «Информационные технологии в образовании, технике и медицине" (Волгоград,

2000), VII и IX Международных научно-технических конференциях «Информационная среда вуза» (Иваново, 2000, 2002), Международных научных конференциях «Информация-Коммуникация-Общество» (Санкт-Петербург, 2000,2001,2002), I и II Международных научных конференциях «Информатизация процессов формирования открытых систем на основе СУБД, САПР, АСНИ и искусственного интеллекта» (Вологда, 2001, 2003), Международных конференциях «Интерактивные системы» (Ульяновск, 2001, 2003), Международной научно-технической конференции «Моделирование, оптимизация и интенсификация производственных процессов и систем» (Вологда, 2001), научно-технических конференциях «Тренажерные технологии и симулято-ры» (Санкт-Петербург, 2002, 2003), V Международном симпозиуме «Интеллектуальные системы» (Калуга, 2002), VIH Санкт-Петербургской международной конференции «Региональная информатика - 2002» (Санкт-Петербург, 2002), X Международной конференции «Математика. Компьютер. Образование» (Пущино, 2003), Всероссийской научной конференции «Управление и информационные технологии» (Санкт-Петербург, 2003), Пятой международной научно-практической конференции «Пилотируемые полеты в космос» (Звездный городок, 2003), Международной конференции по мягким вычислениям и измерениям (Санкт-Петербург, 2003), XIV Международной конференции «Применение новых технологий в образовании» (Троицк, 2003), I Всероссийской научно-практической конференции «Опыт практического применения языков и программных систем имитационного моделирования в промышленности и прикладных разработках» (Санкт-Петербург, 2003).

Структура и объем работы. Диссертация состоит из введения, шести глав, заключения, списка литературы, включающего 452 наименования и девяти приложений. Основная часть работы изложена на 285 страницах машинописного текста. Работа содержит 84 рисунка и 24 таблицы.

Похожие диссертационные работы по специальности «Системный анализ, управление и обработка информации (по отраслям)», 05.13.01 шифр ВАК

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Швецов, Анатолий Николаевич

- 365 -Выводы по главе 6

Данная глава содержит краткое изложение результатов; применения разработанной автором диссертационной работы методологии построения КИНС ППР и инструментального комплекса DISIT к созданию прикладных распределенных ИНС.

Разработанная методология и созданные на ее базе инструментальные средства были апробированы на нескольких; внедренных в эксплуатацию за период 2000-2003 г.г. распределенных КИНС, в том числе:

- распределенной ИНС отдела по работе с жалобами и обращениями граждан Правительства Вологодской области; (автоматизированный анализ обращений* граждан, определение агента-сотрудника, в: чью область входит данное обращение, автоматическое создание и контроль маршрута обработки обращения);

- корпоративной распределенной ИНС Вологодского отделения Сберегательного банка i Российской; Федерации (интеллектуализация функций расчетной i системы * многофилиального банка);

- мультиагентной системе ППР инновационной коммерческой фирмы; в г. Вологде (анализ и обработка поступающих заказов, принятие решений по формированию и исполнению проектов);

- мультиагентной системе ППР коммерческой фирмы в г. Череповце (анализ и обработка поступающих заказов, поддержка принятия решений руководителями и менеджерами, диспетчеризация заданий сотрудникам, формирование отчетов);

- MAC «В иртуальная кафедра» на примере кафедра Автоматизации технологических процессов и производств Вологодского государственного технического университета (анализ и обработка административной, учебной и научной информации? соответствующими ИА, представляющими виртуального преподавателя).

Реализация указанных проектов; позволила добиться; нового качества КИНС (автономной интеллектуальной обработки информации > и принятия решений), повысить. оперативность - информационного обмена и ■ принятия решений, освободить сотрудников от ряда трудоемких операций.

Основное содержание главы опубликовано в [А23], [А24], [АЗЗ], [A36], [А37], [А49], [А57], [А32], [А35], [A38]i [А53], [А63], [А64], [А65].

-366-ЗАКЛЮЧЕНИЕ

В диссертационной работе в основном решена проблема создания теоретических основ и методологии автоматизированного построения корпоративных интеллектуальных систем, функционирующих в условиях изменяющейся гетерогенной информационной среды в целях обеспечения интеллектуальной интеграции в задачах поддержки принятия решений.

Сущность предложенной концепции; заключается в формировании; трех уровней интеллектуальной иерархии распределенной корпоративной системы, позволяющих через информационную» интеграцию объектно-ориентированных приложений посредством информационных объектов перейти к интеграции сообществ интеллектуальных агентов, управляемых интеллектуальными компонентами, охватывающими семантически связанные фрагменты предметной области.

Разработанная автором методология построения КИНС ППР позволяет в рамках единого формализма описать структурные, логические и поведенческие аспекты функционирования корпоративной интеллектуальной системы и автоматическим образом перейти к логическим моделям интеллектуальных компонентов.

Применение разработанных методов; и средств в системах организационно-технического управления, банковской и инновационной сферах, коммерции и других приложениях позволило добиться нового качества корпоративных интеллектуальных систем, существенно повысить оперативность обработки информации в процессах принятия решений и тем самым повысить качество и эффективность получаемых решений.

Основные научные и практические результаты работы состоят в следующем:

1. Проведен системный анализ проблемы интеллектуальной интеграции и повышения уровня интеллектуальности корпоративных систем. Выявлены две тенденции развития таких систем: распределение интеллектуальных функций по отдельным компонентам и интеграция информационных и интеллектуальных систем в едином информационном пространстве корпоративной организации. Показано, что мультиа-гентные системы становятся необходимым элементом интеллектуальной интеграции и базовым звеном интеллектуального управления корпоративными системами.

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

3. Предложена концепция КИНС ППР, основанной на агентно-ориентированном подходе к интеллектуальной интеграции компонентов, и установлены необходимые репрезентации КИНС ППР.

4. На базе предложенных концептуальных установок и введенных понятий; обоснованы и разработаны модели компонентов интеллектуальной организации КИНС ППР.

4:1. Построена модель информационного объекта:.

- использующая логику первого порядка для построения формальной; объектной системы, обладающей свойством< расширяемости и замкнутой* относительно множества ИО;

- включающая продукционные схемы описания поведения, обеспечивающие гибкость и вариативность поведения и коммуникацию между программными объектами и интеллектуальными агентами в КИНС ППР.

4.2. Предложена обобщенная модель интеллектуального агента в структуре КИНС ППР, базирующаяся на синтезе основных концепций делиберативного и реактивного подходов, отличающаяся способом формирования - информационного пространства, наличием модели механизма выбора поведения и содержанием модели целеполагания, позволяющая учитывать динамику развития: мультиагентного мира, сложную иерархию целей-в КИНС ППР и формировать различные стратегии поведения ИА.

4.3. В рамках обобщенной модели интеллектуального агента предложена и исследована модель целеполагания ИА в иерархической структуре КИНС ППР, позволяющая классифицировать ИА по свойствам целеполагания и установить условия существования допустимых структур гетерогенных КИНС ППР, на основе понятия (А, Т, 0)-характеристики типа ИА и отношения совместимости типов по (А, Т, D)-характеристике.

-3684.4. Построена модель поиска решения ИА, обобщающая модели, основанные на конечном множестве элементарных действий, на множестве планов и на произвольных сообщениях и действиях в некотором логическом языке.

4.5. Показана возможность точной интерпретации в формализме предложенной автором обобщенной модели

- моделей делиберативных агентов, основанных на логике первого порядка;

- моделей реактивных агентов, использующих ресурсно-ориентированные, за-дачно-ориентированные и операциональные подходы;

- гибридных моделей, построенных как комбинации обозначенных выше делиберативных и реактивных моделей.

5. Обоснована и разработана новая методология построения КИНС ППР, использующая предложенные автором диссертационной работы

- концептуальную модель предметной области (КМПО), основанную на понятия «фрейм-концепта», совокупности проекций исследуемой области, теории концептуальных графов, и позволяющую математически строго определить структурные, логические и поведенческие аспекты функционирования КИНС ППР;

- метод построения иерархического варианта FKM-проекции, основанный; на автоматическом распределении утверждений о предметной области по модулям концептуальных графов, позволяющий снизить затраты времени инженера по знаниям и уменьшить вероятность ошибок проектирования;

- метод построения структурно-логической модели КИНС ППР.

6. Предложена структурно-логическая модель КИНС ППР, основанная на структуре дерева интеллектуальных компонентов, учитывающая взаимосвязи интеллектуальных компонентов, интеллектуальных агентов и информационных объектов в иерархической организации распределенной корпоративной системы.

7. На основе концептуальных и структурно-логических моделей разработана архитектура баз знаний КИНС ППР, включающая дерево декомпозиции, модели интеллектуальных агентов, модели информационных объектов и базу знаний ФОС. Предложены и обоснованы структуры данных, необходимые для технической реализации разработанной архитектуры баз знаний.

8. Для реализации процессов логического вывода в архитектуре КИНС ППР на основе интерполяционной теоремы Крэйга (W. Craig) предложен алгоритм вывода

MPQ, базирующийся иа известном алгоритме MP, отличающийся принципом распределения формул распределенной базы знаний, обеспечивающий возможность поиска логического вывода сложных целевых формул, сигнатура которых не принадлежит полностью сигнатуре базы знаний одного ИК. С использованием общетеоретического алгоритма дедуктивного вывода MPQ разработаны алгоритмы терминального нисходящего неаддитивного вывода, аддитивного иерархического вывода, аддитивного обобщенного вывода, учитывающие иерархическую организацию КИНС ППР и архитектуру баз знаний.

9. Предложена и обоснована концепция инструментального комплекса для построения КИНС ППР (Distributed Intellectual: System IntegratedToolkit - DISIT), основанная* на автоматизации этапа; концептуального проектирования и использовании; интерпретацииi моделей интеллектуальных составляющих в системе времени исполнения. Разработана архитектура инструментального комплекса, включающая систему извлечения знаний, систему концептуального проектирования, систему технического проектирования, систему времени исполнения. Система времени исполнения использует классы языка Java, механизм удаленных вызовов Java RMI, интерпретатор языка Visual Prolog 5.2. Исследовательский прототип DISIT требует 13.7 Мбайт дискового пространства и успешно функционирует на платформах Windows 98, Windows NT, Windows 2000, Windows XP.

10. Большинство положений диссертации нашло широкое практическое применение. Результаты диссертации практически использованы при разработке и реализации 5 распределенных интеллектуальных систем, что подтверждено! соответствующими актами о внедрении. Полученные результаты свидетельствуют, что разработанные модели, методы и инструментальные средства позволяют эффективно решать задачи интеллектуальной интеграции. в корпоративных системах поддержки принятия решений, а применение созданного инструментария сокращает сроки; и стоимость разработки, облегчает модернизацию и эксплуатацию рассматриваемых систем.

11. Разработанные модели и инструментальные средства используются в учебном процессе при проведении лекций, семинаров и лабораторно-практических занятий в Санкт-Петербургском государственном электротехническом университете "ЛЭТИ" по дисциплинам «Распределенные системы обработки данных» и «Моделирование систем» для студентов специальности 220200 «Автоматизированные системы обработки информации и управления», в Вологодском государственном техническом университете по дисциплинам «Информационное обеспечение систем управления», «Системное программное обеспечение», «Проектирование систем управления» для студентов специальностей 210100 «Управление и информатика в технических системах» и 220400 «Программное обеспечение вычислительной техники и автоматизированных систем», в Вологодском государственном педагогическом университете для студентов специальности 010200 «Прикладная математика».

Дальнейшее развитие исследований, основанных на полученных в диссертационной работе результатах, следует вести в следующих направлениях:

- совершенствования- аппарата: описания, информационных^ объектов в целях повышения вычислительной эффективности моделей поведения и поиска наглядной и выразительной нотации для различных предметных областей;

- построения эффективных интерпретаций обобщенной модели ИА для решения прикладных задач корпоративной интеллектуальной интеграции;

- исследования и оптимизации моделей целеполагания ИА в гетерогенных распределенных интеллектуальных системах;

- наращивания и модификации библиотек моделей поведения ИА в целях реализации эффективных методов и алгоритмов коллективного поведения агентных сообществ;

- нахождения методов и алгоритмов оптимального размещения интеллектуальных компонентов, интеллектуальных агентов и информационных объектов в архитектуре КИНС ППР;

- поиска методов оптимизации и ускорения процессов логического вывода;

- совершенствования инструментальных средств методологии построения КИНС ППР и доведения их до промышленной технологии проектирования данного класса систем.

-371

Список литературы диссертационного исследования доктор технических наук Швецов, Анатолий Николаевич, 2004 год

1. Словарь по кибернетике / Под ред. В. С. Михалевича. Киев : Гл. ред. УСЭ им. М. П. Бажана, 1989. - 751 с.

2. Толковый словарь по вычислительным системам : Пер. с англ. / Под ред. В. Иллингуорта. — М. : Машиностроение, 1991. — 560 с.

3. Ханенко, В. И. Информационные системы / В. И. Ханенко. Л. : Машиностроение, 1988.- 128 с.

4. Cortada, J. W. Information Technology as Business History : Issues in the History and Management of Computers / J. W. Cortada. — London : Greenwood Press, 1996. -263 p.

5. Арсеньев, Б. П. . Интеграция распределенных баз данных / Б. П. Арсеньев, С. А. Яковлев СПб. : Лань, 2001. - 461 с.

6. Советов, Б. Я. Построение сетей интегрального обслуживания / Б. Я. Советов, С. А. Яковлев Л. : Машиностроение, 1990. - 332 с.

7. Campbell-Kelly, M. The Development and Structure of the International Software Industry, 1950-1990 / M. Campbell-Kelly // Business and Economie History. 1995. -Vol. 24, №2.-P. 73-110.

8. Советов, Б. Я. Автоматизированное управление современным предприятием / Б. Я. Советов, В. В. Цехановский. Л. : Машиностроение, 1988. - 168 с.

9. Аписелла, М. Надежная CRM трудно, но возможно / М. Аписелла // Computerworld. -2001. - № 6.- - С. .16-17.

10. Борк, Д. Увеличение прибыли с помощью аналитических решений / Д. Борк // Computerworld. 2001. - № 6. - С. 21-23.

11. Березин, И. Web требует интеграции приложений / И. Березин // ComputeR-eview. 2000. - № 15(30). - С. 8-9.

12. Pendse, Nigel. OLAP applications Electronic resourse. / [U.S.] : Optima Publishing Ltd., 2003. Electronic data. - Mode of access: http://www.olapreport.com/Applica-tions.htm.

13. APICS The Educational Society for Resource Management Electronic resourse. / [USA] : [S.l], 2003. - Electronic data. - Mode of access: http://www.apics.org.

14. Гайфуллин, Б. Современные системы управления предприятием. Ч. 1 / Б. Гайфуллин, И. Обухов // КомпьютерПресс. 2001. - № 9. - С. 23-27.

15. WW-W.1C.RU Фирма- «1С» Electronic resourse., / [Россия]: [Б.м.], 20031 -Electronic data. Mode of access: http : // www, lc. ru.

16. Майков, Г. П. Современные программно-технические среды и организационно-экономические системы / F. П. Майков, В. О. Голованов // Приборы и системы управления. 1999. - №7. - С. 25-31.

17. Майков, Г. П. О природе эффекта информатизации / Г. П. Майков, В. О. Голованов // Приборы и системы управления. 1997. - №1. — С. 61-67.

18. Костогрызов, A. Hi Основы оценки, обеспечения и повышения качества выходной информации в АСУ организационного типа / А. И; Костогрызов, А. В. Петухов, А. М. Щербина — М. : Изд-во «Вооружение. Политика. Конверсия», 1994. 278 с.

19. Ларичев, О. И. Теория и методы принятия решений, а также хроника событий в волшебных странах / О. И. Ларичев М.: Логос, 2000. - 295 с.

20. Power, Daniel J. Decision Support Systems : Concepts and Resources for Managers / Daniel J. Power. — Greenwood Publishing Group, 2002. 272 p.

21. Ларичев, О. И. Качественные методы принятия решений / О. И. Ларичев, Е. М. Мошкович. — М.: Физматлит, 1996. 207 с.

22. Simon, Н; A. The new science of management decision / H. A. Simon. Engle-wood Cliffs, N. J.: Prentice-Hall Inc., 1975:

23. Трахтенгерц, Э. А. Компьютерная поддержка принятия решений / Э. А. Трахтенгерц.- М.: СИНТЕГ, 1998. 376 с.

24. Советов, Б. Я. Информационная технология / Б. Я. Советов М. : Высш. шк., 1994.-368 с.

25. Программное обеспечение высокопроизводительной вычислительной системы / Под ред. В. П. Иванникова. -М. : АН СССР, 1991. 168 с.

26. Брюхов, Д. О. Интероперабельные информационные системы : архитектура и технологии / Д. О. Брюхов, В. И. Задорожный, Л. А. Калиниченко // СУБД. 1995; -№4.-С. 96-114.

27. Калиниченко, Л. А. Интероперабельность брокеров в стандарте СОКВА 2. 0 /Л. А. Калиниченко, М. Р. Когаловский // СУБД. 1996. -№ 3. - С. 125-135.

28. Ойхман, Е. Г. Реинжиниринг бизнеса: реинжиниринг организаций и информационные технологии / Е. Г. Ойхман, Э. В. Попов — М. : Финансы и статистика, 1997. -336

29. Попов, Э. В. Реинжиниринг бизнес-процессов и искусственный интеллект / Попов Э. В. // Новости искусственного интеллекта. 1996. - №4. - С. 5 - 40.

30. Костров, А. В. Основы информационного менеджмента / А. В. Костров. -М.: Финансы и статистика, 2001. 335 с.

31. Александров, Д. В. Распределенные информационные системы. САБЕ-технологии реинжиниринга / Д. В. Александров, А. В. Костров. Владимир : 2001. -226 с.

32. Песиков, Э. Б. Моделирование производственных систем / Э. Б. Песиков. -М.: Изд-во МГАП «Мир книги», 1994. 42 с.

33. Александров, В. В. Информационное обеспечение интегрированных производственных комплексов / В. В. Александров, Ю. С. Вишняков, Л. М. Горская. — Л. : Машиностроение, 1986.-251 с.

34. Криницкий, Н. А. Автоматизированные информационные системы / Н. А. Криницкий, Г. А. Миронов, Г. Д. Фролов ; Под ред. А. А. Дородницына. М. : Наука, 1982.-384 с.

35. Возенкрафт, Дж. Теоретические основы техники связи : Пер. с англ. / Дж. Возенкрафт, И. Джекобе ; Под ред. Р. Л. Добрушина. М.: Мир, 1969. - 640 с.

36. Галлагер, Р. Теория информации и надежная связь : Пер. с англ. / Р. Галла-гер ; Под ред. М. С. Пинскера, Б. С. Цыбакова. М.: Сов. радио, 1974. - 720 с.

37. Ван Гиг, Дж. Прикладная общая теория систем / Дж. Ван Гиг. М. : Мир, 1981.-336 с.-37441. Данилевский, Ю. Г. Информационная технология в промышленности / Ю. Г. Данилевский, И; А. Петухов, В. С. Шибанов. JL : Машиностроение, 1988; - 283 с.

38. Поспелов, Д. А; Ситуационное управление: Теория и практика / Д. А. Поспелов. М.: Наука, 1986. - 288 с.

39. Месарович, М. Общая теория систем: математические основы / М. Месаро-вич, Я. Тахакара. М.: Мир, 1978.-312 с.

40. Советов, Б. Я- Моделирование систем / Б. Я. Советов, С. А. Яковлев. М. : Высш. шк., 2001. - 343 с.

41. Мелик-Гайказян, И. В. Информационные процессы и реальность / И. В. Мелик-Райказян. М;: Наука : Физматлит, 1998. - 192 с.

42. Баронов, В. В. Автоматизация управления предприятием / В. В. Баронов. — М.: ИНФРА-М, 2000. 239 с.

43. Евгенев, Г. Б. Системология инженерных знаний / Г. Б. Евгенев. М.: Изд-во МГТУ им. Н. Э. Баумана, 2001. - 520 с.

44. Ходжаев, F. А. Интеллектуальное управление организационными системами / Г. А. Ходжаев. М.: МГТУ, 1997. - 204 с.

45. Фомин, В. В. Автоматизация логического моделирования программного обеспечения с применением формального аппарата семиотических систем / В. В. Фомин. СПб.: Энергоатомиздат, 2000. - 250 с.

46. Спирли, Э. Корпоративные хранилища данных. Планирование, разработка, реализация. Т. 1 : Пер. с англ. / Э. Спирли. М.: Вильяме, 2001. - 400 с.

47. Kimball, Ralph. The data warehouse toolkit: the complete guide to dimensional modeling / Ralph Kimball, Margy Ross. 2nd ed. - New York: Wiley, 2002. - 436 p.

48. Integration Definition for Function Modeling (IDEF 0). Draft Federal Information: Processing Standarts Publication 183. 1993.

49. Mayer, Richard J. IDEF 1 Information Modeling. A Reconstruction of the Original Air Force Wright Aeronautical Laboratory Technical Report AF W AL TR - 81-4023 / Richard, J. Mayer. - KBSI, 1992.

50. Integrated Computer-Aided Manufacturing (ICAM). Architecture Part II. Vol. VI. Dynamics Modeling Manual (IDEF 2). DTIC B062458. - Softech Inc., 1981.

51. Information Integration for Concurrent Engineering (IICE). IDEF 4 Object-Oriented Design Method Report. KBSI; 1995.

52. Information Integration for Concurrent Engineering (IICE). IDEF 5 Method Report. KBSI, 1994.

53. Information Integration for Concurrent Engineering (IICE). Compendium of Methods Report. KBSI, 1995.

54. Menzel, C. P.-Ontology-Driven Information Integration Electronic resourse. / C. P. Menzel. Electronic data. - [U.S.] : Knowledge Based Systems, Inc., 2003. - Mode of access: http://www.kbsi.com/Research/OntologvModeling/odii.html.

55. Буч, Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++ : Пер. англ. / Г. Буч. М. : БИНОМ ; СПб. : Невский диалект, 1998.-560 с.

56. Роджерсон, Д. Основы СОМ : Пер. англ. / Д. Рождерсон. М. : ТОО «Channel Trading Ltd. », 1997. - 376 с.

57. OMG Document № 92. 11. 1, September 1, 1992. Object Management Group. «Object Management Architecture Guide».

58. The Common Object Reguest Broker: Architecture and Specification // Object Management Group, Revision 4. 0. 1995.

59. Object Management Group. «Common Facilities Architecture», Revision 2. 0. September 1994.

60. Object Management Group. «Common Facilities Architecture», Revision 3. 0. November 1994.

61. Сигель, Д. CORBA 37 Д. Сигель. M. : Криптон, 2002. - 412 с.-37670. Пуха, Ю. CORBA / ПОР и Java RMI. Основные возможности в сравнении / Ю. Пуха // СУБД. 1997. - № 4. - С. 24-36.

62. Дунаев, С. Intranet технологии. WebDBC, CGI, CORBA 2. 0, Netscape Suite, Borland IntraBuilder, Java, Javascript, Live Wire. / С. Дунаев. - M. : Диалог-МИФИ, 1997.-288 с.

63. Lawrence, R. Awesome Power of JAVA BEANS / R. Lawrence. Manning Pub, 2002.-576 p.

64. Loukides, M. Java Distributed Computing / Mi Loukides. Addison-Wesley,2002.-384 p.74^Ньюкомер,.Э.-Веб сервисы-Для.профессионалов / Э.Ньюкомер.-- СПб^: Питер, 2003.-256 с.

65. Atkinson, Bob. Web Services Security (WS-Security) Electronic Resourse. / Bob Atkinson, Della-Libera Giovanni; Hada Satoshi. Electronic Data. - [USA] : Verisign Inc., 2003. - www.verisign.com/wss/wss.pdf.

66. Феррари, Д. Оценка; производительности вычислительных систем : Пер. англ. / Д. Феррари ; Под ред. В. В: Мартынюка. М.: Мир, 1981. - 576 с;

67. Краус, М. Сбор данных в управляющих вычислительных системах : Пер. нем. / М. Краус, Э. Кучбах, О.- Г. Вошни. М.: Мир, 1987. - 294 с.

68. Корпоративные информационные порталы: цифры и факты // iBusiness.2003, Апрель. С. 24-27.

69. Васильев, С. Н. От классических задач регулирования к интеллектному управлению. Часть II / С. Н. Васильев / Известия РАН. Теория и системы управления: -2001. -№2.-С. 8-21.

70. Васильев, С. Н. Интеллектное управление динамическими системами •/ С. Н. Васильев, А. К. Жерлов, Е. А. Федосов. М.: Наука, 2000. - 352 с;

71. Конполи, Т. Базы данных: проектирование, реализация и сопровождение / Т. Конполи, К. Бегг, А. Страчан.—М:: Изд; дом «Вильяме», 2000.-- 1120 с.

72. Joint Technical Architecture. V.3.1. Electronic Resourse. Mode of access : http://www.jta.itsi.disa.mil/jtav3-l/jta3 le.pdf88; MIL-STD-1840C Electronic Resourse.; Mode of access : http://astimage.daps.dla.mil/docimages /0000\74\18\ 1840C.PD0:

73. Knowledge-based Intelligent techniques in Industry / Ed. by L. C. Jain, R. P. Johnson, Y. Takefiije, L. A. Zadeh. CRC Press, Boca Raton and al. - 1999. - 336 p.

74. Knowledge discovery and data mining: current issues and new applications / Ed-by Takao Terano // 4th Pacific Asia conference proceedings : PAKDD 2000, Kyoto, Japan, April 18-20, 2000. Berlin : Springer, 2000. - 460 p.

75. Davis, William' S. Tne Information System Consultant's Handbook: systems: analysis and design / William S: Davis, David C. Yen. Boca Raton etc.: CRC Press, 1999. -765 p.

76. Трахтенгерц; Э. А. Анализ ведения деловых переговоров с помощью компьютерных систем / Э. А. Трахтенгерц // Известия Академии наук. Теория и системы управления. 2002. - №6. - С. 93-118.

77. The World Bank Group Electronic Resourse.;- Electronic data. Mode of access : http : //www, worldbank.org/devforum/communities. html

78. Wenger, E. Communities of Practice: Learning, Meaning, and Identity/ E. Wenger. New York : Cambridge University Press, 19981 - 318 p.

79. Electronic Resourse. — Mode of access : http://www.philiprussom.com/pwrtoc.html

80. Качанова, Т. JI. Информационная технология решения стратегических проблем / Т. Л. Качанова, Б. Ф. Фомин. СПб.: Политехника, 2000. - 76 с.

81. Качанова, Т. Л. Метатехнология системных реконструкций / Т. Л. Качанова, Б. Ф. Фомин. СПб. : Изд-во СПбГЭТУ «ЛЭТИ», 2002. - 336 с.

82. Емельянов, В. В. Введение в интеллектуальное имитационное моделирование. Язык РДО / В. В. Емельянов, С. И. Ясиновский. М.: АНВИК, 1998. - 426 с.

83. Смирнов, А. В; Интеллектуальная поддержка реинжиниринга конфигураций производственных систем / А. В. Смирнов // Программные продукты и системы. 1998. - №3. - С. 10-12.

84. Трахтенгерц, Э. А. Диспетчеризация задач в распределенных системах поддержки принятия решений / Э. А Трахтенгерц // Автоматика и телемеханика., — 1996.-№8.-С. 174-185.

85. Трахтенгерц, Э. А. Взаимодействие агентов в-многоагентных системах / Э. А. Трахтенгерц // Автоматика и телемеханика. 1998. — №8. — С. 3-52.

86. Косых, В. С. Разработка и исследование методов оптимизации передачи информации в вычислительных сетях путем динамического регулирования загрузки : Диссерт. на соискание ученой степени к. т. н. / В. С. Косых. — М.: ИПУ, 1994.

87. Иванищев, В. В. Введение в теорию алгоритмических сетей / В. В. Ива-нищев, В. Е. Марлей. СПб.: Изд-во СПбГТУ, 2000. - 180 с.

88. Иванищев, В. В. Инструментальная система автоматизации моделирования КОГНИТРОН / В. В. Иванищев, В. Е. Марлей, В. П. Морозов // Информационные технологии и вычислительные системы. 1998. - № 3. - С. 35-42.

89. Попов, Э. В. Статические и динамические экспертные системы : Учеб. Пособие / Э. В. Попов, И; Б. Фоминых, Е. Б. Кисель, М. Д. Шапот. М. : Финансы и статистика, 1996. - 320 с.

90. Тарасов, В. Б. Развитие прикладных интеллектуальных систем : анализ основных этапов, концепций? и проблем / В. Б. Тарасов, Н. М. Соломатин // Вестн.

91. МГТУ. 1/94. Спец. выпуск «Системы искусственного интеллекта». М.: МГТУ, 1994. -С. 5-14.

92. Джексон, П. Введение в экспертные системы / П. Джексон. М. : Издательский дом «Вильяме», 2001. — 624 с.

93. Нариньяни, А. С. Модель или алгоритм : новая парадигма информационной технологии / А. С. Нариньяни // Информационные технологии. — 1997. №4. - С. 11-16.

94. Колесников, А. В. Технология разработки гибридных интеллектуальных систем : Автореф. диссерт. на соиск. уч. степ, д.т.н. Спец. 05.13.01. / А. В. Колесников. СПб. : СПбГТУ, 2002. - 32 с.

95. Берпггейн, Л. С. Модели и методы принятия решений в интегрированных интеллектуальных системах / Л. С. Берштейн, В. П. Карелин, А. Н; Целых. Ростов-на-Дону : Изд-во Ростовского университета, 1999. - 278 с.

96. Берштейн, Л. С. Нечеткие модели принятия решений: дедукция, индукция, аналогия / Л. С. Берштейн, А. В. Боженюк. Таганрог : Изд - во ТРТУ, 2001. - 110 с.

97. Колесников, А. В. Гибридные интеллектуальные системы для поддержки принятия решений / А. В. Колесников // Труды Междун. конф. "Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT'99)". -М.: Наука. Физматлит, 1999.

98. Эрлих, А. И. Проблемы моделирования в интеллектуальных системах / А. И. Эрлих // Вестн. МГТУ. 1/94. Спец. выпуск «Системы искусственного интеллекта». М.: МГТУ, 1994. - С. 29-33.

99. Хорошевский, В. Ф. PIES технология и инструментарий PIES Work Bench для разработки систем, основанных на знаниях / В. Ф. Хорошевский // Новости искусственного интеллекта. - 1995. - №2. - С. 65-77.

100. Electronic Resourse. — Mode of access : http://www.gensym.com/manufacturing/whitepapers.pdf

101. Захаров, В. Н. Интеллектуальные системы управления: основные понятия и определения / В. Н. Захаров // Известия РАН. Теория и системы управления. -1997, №3.- С. 138-145.

102. Гаврилова, Т. А. Базы знаний интеллектуальных систем / Т. А. Гаврило-ва, В. Ф. Хорошевский. СПб.: Питер, 2000. - 384 с.

103. Алиев, Р. А. Производственные системы с искусственным интеллектом / Р. А. Алиев, Н. М. Абдикеев, М. М. Шахназаров. — М.: Радио и связь, 1990. 264 с.

104. Чечкин, А. В. Принципы и методы математического моделирования интеллектуальных систем / А. В. Чечкин // Интеллектуальные системы. 1998. - Т. 3, Вып. 1/2.-С. 63-83.

105. Пупков, К. А. Интеллектуальные системы / К. А. Пупков, В. Г. Коньков. М.: Изд-во МГГУ им. Н. Э. Баумана, 2003. - 348 с.

106. Distributed Artificial Intelligence / Ed. by M. N. Hunhs. Los Altos : Morgan Kaufmann, 1987. - 390 p.

107. Readings in distributed artificial intelligence / Ed; by A. H. Bond and L. Gasser. San Mateo: Morgan Kaufmann, 1988. - 649 p.

108. Distributed artificial intelligence : theory and praxis / Ed. by N. M. Avouris and L. Gasser. Dordrecht; Boston : Kluwer Academic, 1992. - 235 p.

109. Concurrent prolog: collected papers / Ed. by E. Shapiro. — Cambridge : MIT Press, 1987.

110. Catlett, C. Metacomputing / C. Carlett, L,Smarr // Comm. Of ACM. 1992. -Vol. 35, № 6. - P. 44-52.

111. Proceedings of the 2001 ICPP Workshop : Workshop on Metacomputing Systems and Applications / Ed. by Т. M. Pinkston. Los Alimitos : IEEE Computer Society, 2001. —498 p.

112. Поспелов, Г. С. Искусственный интеллект основа новой информационной технологии / Г. С. Поспелов. - М.: Наука, 1988. - 280 с.

113. Искусственный интеллект : Применение в интегрированных производственных системах : Пер. с англ. / Под ред. Э. Кьюсиака. М. : Машиностроение, 199 -544 с.

114. Валькман, Ю. Р. Интеллектуальные технологии исследовательского проектирования. Формальные системы и семиотические модели / Ю. Р. Валькман. Киев : Port - Royal, 1998. - 250 с.

115. Фоминых, И. Б. Интеграция нейронных и символьно-логических моделей в интеллектуальных технологиях : Тр. VII национальной конф. по искусственному интеллекту с международным участием КИИ 2000. Т. 2 / И. Б. Фоминых. - М. : Физ-матлит, 2000. - С. 588-596.

116. Рыбина, Г. В. Современные экспертные системы : тенденции к интеграции и гибридизации / F. В. Рыбина // Приборы и системы. Управление, контроль, диагностика. 2001. - №8. - С. 68-73.

117. Яшин, А. М. Базы знаний и экспертные системы : Учеб. пособие Ленингр. политехи, ин та им. М. И. Калинина / А. М. Яшин. - Л.: ЛПИ. - 1990. - 72

118. Бутаков, С. В. Разработка оболочки гибридной интеллектуальной системы / С. В. Бутаков, Д. В. Рубцов // Информационные технологии. 2002. - №1. - С. 51-53.

119. Моисеев, И. И. Человек среда - общество / И. И. Моисеев. - М. : Наука, 1982.-284 с.

120. Моисеев,И.И.Алгоритмыразвития/ И. И. Моисеев. М. : Наука, 1987. - 304 с.

121. Акофф, Р. Планирование будущего корпорации : Пер. англ. / Р. Акофф. -М. : Прогресс, 1985.-327 с.

122. Букатова, И. Л. Эвоинформатика: теория и практика эволюционного моделирования / И. Л. Букатова, Ю. И. Михасев, А. М. Шаров. М. : Наука, 1991. - 206 с.

123. Тарасов, В. Б. От ИИ к ИЖ: новые направления в науках об искусственном / В. Б. Тарасов // Новости искусственного интеллекта. — 1995. №4. - С. 93-117.

124. Тарасов, В. Б. Новые стратегии реорганизации и автоматизации предприятий: на пути к интеллектуальным предприятиям / В. Б. Тарасов // Новости искусственного интеллекта. 1996. - №4. - С. 40-84.

125. Artificial life / Ed. By С. Langton. Redwood City : Addison-Wesley, 1988.655 p.

126. Artificial life III / Ed: By C. Langton. Redwood City : Addison-Wesley, 1994. - 820 p.

127. Горнев, В. Ф. Компьютерная интеграция и интеллектуализация производств на основе унифицированных моделей / В. Ф. Горнев, В. Б. Ковалевский // Программные продукты и системы. 1998. -№3. - С. 12-19.

128. Энциклопедический словарь Ф. А. Брокгауза и И. А. Ефрона. СПб. : Полрадис, 1993.-480 с.

129. В elgrave, М. The Unified Agent Architecture: A White Paper Electronic Re-Щ- sourse. / M; Belgrave. Electronic data; - Mode of access :http://www.ee.mcgill.cu/~belmarc.

130. Nwana, H. S. Software Agents : An Overview / H. S. Hwana // Knowledge Engineering Review. 1996. - Vol. 11, № 3. - P. 1-40.

131. Берлекэмп, Э. Алгебраическая теория кодирования : Пер. с англ. / Э. ф Берлекэмп ; Под ред. С. Д; Бермана. -М:: Мир, 1971.-480 с.

132. Wooldridge, М. J. Agent Theories, Architectures, and Languages : A Survey / M: J: Wooldridge, N. R. Jennings // Intelligent Agents. ECAI-94 Workshop on Agent Theories, Architecture and Languages. Amsterdam, The Netherlands, August 8-9, P. 3-39.,

133. Стефанюк, В. JI. Поведение многоагентных систем: парадигма координации / В. Л. Стефанюк // Новости искусственного интеллекта. — 1997. — № 4. С. 92104.

134. Perlis, D. Languages with self reference I: Foundations / D. Perlis // Artificial Intelligence. 1985. - № 25. - P. 301-322.

135. Perlis, D. Languages with self reference II: Knowledge, belief, and modality / D. Perlis // Artificial Intelligence. 1988. - № 34. - P. 179-212.

136. Turner, R. Truth and« modality for knowledge representation / R. Turner. -Cambridge, Mass.: MIT Press, 1991; 119 p.

137. Konolige, K. Machine learning, meta-reasoning, and logics / K. Konolige; Ed. by P. B; Brazdil and K. Konolige. Boston: Kluwer Academic Publishers, 1990.-328 p.

138. Konolige, K. A Deduction Model of Belief / K. Konolige. London : Pitman ; Los Atlos, Calif.: Morgan Kaufmann Publishers, 1986. - 165 p.

139. Hintikka, J. Knowledge and Belief: an introduction to the logic of the two notions / J. Hintikka. Ithaca, N. Y.: Cornell University Press, 1962. - 179 p.

140. Хинтикка, Я. Логико-эпистемологические исследования : Сб. избран, статей / Я. Хинтикка ; Под ред. В. И. Садовского, В. А. Смирнова. —М. : Прогресс, 1980.-448 с.

141. Cohen, P. R. Rational Interaction as the basis for communication«/ P. R. Cohen, H. J; Levesque ; Ed. by P. R. Cohen, J. Morgan, M. E. Pollack // Intentions in communication. The MIT Press, 1990. - P. 221-256.

142. Rao, A. Asymmetry thesis and side-effect problems in linear time and brabching time intention logics / A. Rao, M. P. Georgeff// Proc. of the 12th International

143. Joint Conference on Artificial Intelligence (IJCAI-91)- Sydney, Australia, 1991. P. 498504;

144. Rao, A. A model-theoretic approach to the verification of situated reasoning systems / A. Rao, M. P. Georgeff // Proc. of the 13th International Joint Conference on Artificial Intelligence (IJCAI 93). - Chambery, France, 1993. - P. 318-324.

145. Singh,-M^P.,, Towards,a formal theory of intentions / M. P. Singh, N. M: Asher // Logics in Al-Proceedings of the European Workshop JELIA 90. Vol. 478. - Berlin : Springer-Verlag, 1991. - P. 427-486.

146. Гаврилова, Т. А. Извлечение и структурирование знаний для экспертных систем / Т. А. Гаврилова, К. Р. Червинская. М.: Радио и связь, 1992. - 200 с.

147. Ревунков, Г. И. Базы и банки данных и знаний / Г. И. Ревунков, Э. Н. Самохвалов, В. В. Чистов ; Под ред. В. Н. Четверикова. М;: Высш. шк., 1992. - 367 с.

148. Рыбина, Г. В. Интегрированные экспертные системы : современное состояние, проблемы и тенденции / Г. В. Рыбина // Известия РАН. Теория и системы правления. 2002. - №5. - С. 111-126.

149. Рыбина, Г. В. Автоматизированное построение баз знаний для интегрированных экспертных систем / Г. В. Рыбина // Изв. РАН. ТиСУ. 1998. - №5. - С. 152166.

150. Рыбина, Г. В • Задачно-ориентированная методология автоматизированного построения интегрированных экспертных систем для статических проблемных областей/Г. В: Рыбина // Изв. Ран. ТиСУ. 1997. №5. - С. 129-137.

151. Kendall; Е. A. Role modelling for agent system analysis, design, and implementation / E. A. Kendall// In 1st International Symposium on Agent Systems and Applications. IEEE CS Press, October 1999.

152. Kinny, D. A methodology and modelling technique for systems of bdi agents / D. Kinny, M Georgeff// In Workshop on Modelling Autonomous Agents in f Multi-Agent World, LNAI 1038. Springer-Verlag, 1996 - P. 56-71.

153. Bumeister, B. Models and methodologies for agent oriented analysis and design. In Working Notes of the KI96 Workshop on Agent-oriented Programming and Distributed Systems / B. Bumeister. - DFKI, 1996.

154. Parunak, H; V. D. Visulalizing agent conversations: Using enhanced dooley graphs for agent design and analysis / Hi V. D. Parunak // In Second International Conference on Multi-Agents Systems (ICMAS96), June 1996. 1996. - P. 275-282

155. Brazier, F; Desire: Modelling multi-agent systems in a compositional formal framework / F. Brazier, B. M. Dunin-Keplicz, N. R. Jennings, J. Treuer // Journal of Cooperative Information Systems. 1997. - 6(1). - P. 67-94.

156. Glase, N. Contributions to Knowledge Modelling in a Multi-agent Framework (The CoMoMAS Approach) : Ph. D. Thesis / N. Glase. Universite Henri Poincare, Nancy (F), 1996.

157. Fox, M. S. An organizational view of distributed systems / M. S. Fox // IEEE Transactions on Systems, Man, and Cybernetics. 1981. - 11(1). - P. 70-80.

158. Ferber, J. A meta-model for the analysis and design of organisations in multiagent systems / J. Ferber,.O. Gutknecht // In Proceeding oftheL3rd InternationaLConference on Multi-gent Systems (ICMAS 98). IEEE CS Press, 1998.

159. Wooldridge, M. Agent-Oriented Software Engineering: The State of Art / M. Wooldridge, P. Ciancarini ; Ed. by P. Ciancarini and M. Wooldridge // Agent-Oriented Software Engineering.- Springer-Verlag Lecture Notes in AI, 2001. Vol. 1957.

160. Wooldridge, M. The Gaia Methodology for Agent-Oriented Analysis and Desing / M.Wooldridge, N. R: Jennings, D. Kinny // Journal of Autonomous Agents and' Multi-Agent Systems. 2000. - 3(3). - P. 285-312.

161. Wooldridge, M. A Methodology for Agent-Oriented Analysis and Desing / M.Wooldridge, N. R. Jennings, D. Kinny ; Ed. by O. Etzioni, J. P. Muller, J. Bradshaw // Agents'99 : Proc. of the Third Int. Conf. on Autonomous Agents. Seattle. WA, May 19981

162. Kroll, P. Rational Unified Process Made Easy : A Practitioners Guide to RUP / P. Kroll, P. Krutchten. Boston : Addison-Wesley, 2003. - 464 p.

163. OMG Unified Modeling Language Specification. V. 1. 5. formal / 03-03-01.736 p.

164. Мацяшек, JI. А. Анализ требований и проектирование систем. Разработка информационных систем с использованием UML.: Пер. с англ. / Л. А. Мацяшек. М. ¡ Издательский дом «Вильяме», 2002. - 432 с.

165. Гладкий, А. В. Формальные грамматики и языки / А-В.-Гладкий.-- М: Наука, 1973.

166. Глушков, В. М. Алгебра, языки, программирование / В. М: Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. Киев : Наук, думка, 1974. - 328 с.

167. Варшавский, В. И. Коллективное поведение автоматов / В. И. Варшавский. М. : Наука, 1973. -408 с.

168. Гаазе-Рапопорт, М. Г. От амебы до робота: модели поведения / М. Г. Газе-Рапопорт, Д. А. Поспелов. М.: Наука. Гл. ред. физ.-мат. лит., 1987.-288 с.

169. Флейшман, Б. С. Основы системологии / Б. С. Флейшман. М. : Радио и связь, 19821-368 с.

170. Jennings, N.R. A roadmap for agent research and development/ N.R. Jennings, K.P. Sycara, M. Wooldridge // Journal of Autonomous Agents and Multi-Agent Systems. -1998.- 1(1).-P. 7-36.

171. Pinson, S. D. A distributed decision support system for strategic planninq / S. D. Pinson, J. A. Louca, P. Moractis // Decision Support Systems. The International Journal. 1997. - Vol. 20, № 1. - P. 35-51.

172. FIPA Abstract Architecture Specification Electronic Resourse. [Electronic data]- Mode of access : http : // www, fipa. org / specs / fipaOOOOl / XC00001J: html

173. Элиенс, А. Принципы объектно-ориентированной разработки программ : Пер. с англ. / А. Элиенс. М.: Издательский дом «Вильяме», 2002. - 496 с.

174. Lehmann, F. Semantic Networks in Artificial Intelligence / F. Lehmann: Oxford : Pergamon Press, 1992.-284 p.

175. Principles of Semantic Networks / Ed by J. F. Sowa. Los Altos : Morgan Kaufmann, 1991. - 446 p.

176. Hull, Rl B. Semantic database modeling: Survey, applications and research issues / R. B: Hull, R: King // ACM Computing Surveys. 1987. - 19(3). - P. 201-260.

177. Walker, D. Pi-calculus semantics of object-oriented programming languages : Report ECS-LFCS-90-122 / D. Walker. University of Edinburg, 1990:

178. Nierstrasz, О. Composing active objects the next 700 concurrent object-oriented languages : AResearch directions in concurrent object-oriented programming / O. Nierstrasz ; Ed. by G. Agha, P. Wegner, A. Yonezawa. - MIT Press, 1993. - P. 124-130.

179. Object-oriented Concepts, Databases, and Applications / Ed. by W. Kim, F. Hi Lochovsky. New York : ACM Press and Addison Wesley, 19891 - 552 p.

180. Калинин, А. Г. Универсальные языки программирования. Семантический подход / А. Г. Калинин, И. В. Мацкевич. М.: Радио и связь, 1991. — 400 с.

181. Накадзима, Р. Иерархическая спецификация и верификация программ: подход, базирующийся на многосортной логике / Р. Накадзима, М. Хонда, X. Накаха-ра // Сб. : Требования и спецификации в разработке программ. — М. : Мир, 1984. — С. 135-164.

182. Замулин, А. В. Типы данных в языках программирования и базах данных / А. В. Замулин. Новосибирск : Наука, 1987. - 150 с.

183. Dahl, O.-J. Verifiable Programming / O.-J. Dahl. Prentice Hall, 1992.243; Sorts and Types in Artificial Intelligence : Vol! 418 of Lecture Notes in Artificial lntelligence / Ed. by K. H. Blasius, U. Hedstuck, C.-R. Rollinger. Springer-Verlag, 1990.

184. Inheritance Hierarchies in Knowledge Representation and Programming Languages / Ed; by M. Lenzerini, D. Nardi, M. Simi. — Chichester : John Wiley and Sons, 1991.

185. Borgida, A. From types systems to knowledge representation : Natural semantics specifications for description logics / A. Borgida // Journal of Intelligent and Cooperative Information Systems. 19921 -1(1). - P. 93-126.

186. Bergamaschi, S. On taxonomic reasoning in conceptual design / S. Ber-gamaschi, C. Sartori // ACM Transactions on Databases Systems. 1992. - 17(3). - P. 385-422.\

187. Piza, B. Term substitution with type constructors : Proc. of Int. Conf. on Information and Knowledge Managment (CIKM'92) Baltimore, 1992. / B. Piza, K.-D. Schewe, J. W. Schmidt; Ed. by Y. Yesha. - Baltimore. - 1992. - P. 449-456.

188. Artale, A. Describing databases objects in a concept language environment / A. Artale, F. Cesarini, G. Soda // IEEE Transactions on Knowledge and Data Engineering. -1996, 8(2).-P. 345-351.

189. Bergamaschi, S. Acquisition and validation of complex object database schemata supporting multiple inheritance / S. Bergamaschi, B. Nebel / Applied Intelligence. -1994;-4(2).-P. 185-203.

190. Borgida, A. Description logics in data management / A. Borgida // IEEE Transactions on Knowledge and Data Engineering. 1995. - 7(5). - P. 671-682.

191. Calvanese, D. Description logics for conceptual data modeling : Logics for Databases and Information Systems / D. Calvanese, M. Lenzerini, D. Nardi ; Ed. by J. Chomicki, G: Saake. Kluwer Academic Publisher, 1998: - Pi 229-264.

192. Kifer, M. A logic for programming with complex objects / Mi Kifer, J. Wu // Journal of Computer, and System Sciences.- 1993. 47. - P. 77-120:

193. Calvanese, D. Unifying Class Based Formalisms / D. Calvanese, M. Lenzerini, D. Nardi // Journal of Artificial Intelligence Research. - 1999. -Vol: 11. - P. 199-240.

194. Справочная книга по математической логике : Справочник в 4 ч. : Ч. 1. Теория моделей : Пер. с англ. / Под ред. Дж. Барвайса. М.: Наука, 1982. - 392 с.

195. Гильберт, Д. Основания математики. Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс. — М.: Наука; 1979. 560 с.

196. Клини, С. Математическая логика / С. Клини. М.: Мир, 1973. - 480 с.

197. Карри, X. Б. Основания математической логики / X. Б. Карри. М.: Мир, 1969.-568 с.262: Post, E. L. Formal reductions of the general combinatorial problem / E. L. Post II Amer. J. Math. 1943. - Vol. 65, № 2. - P. 197-215.

198. Маслов, С. Ю. Некоторые свойства аппарата канонических исчислений Э. Л. Поста / С. Ю. Маслов // Тр. матем. ин та АН СССР . Т. 72. - 1964. - С. 5-56.

199. Маслов, С. Ю. Теория дедуктивных систем и ее применения / С. Ю. Маслов. М.: Радио и связь, 1986. - 136 с.265; Мальцев, А. И. Алгоритмы и рекурсивные функции / А. И. Мальцев. 2-е изд. - М.: Наука, 1986. - 398 с.

200. Genesereth, М. R. Logical Foundations of Artificial Intelligence / M. R. Gene-sereth, N. Nilsson. Los Altos : Morgan Kaufmann, 1987. - 405 p.

201. Konolige, K. A first-order formalization of knowledge find action for multi -agent planning system : Machine Intelligence 10 / K. Konolige ; Ed. by J. E. Hayes, D. Mi-chie, Y. Pao. Chichester : Ellis Horwood, 1982. - P. 41-72.

202. Wooldridge, M. The Logical Modelling of Computational Multi-Agent Systems : Ph. D. thesis / M. Wooldridge. UMIST, Manchester, 1992. - 153 p.

203. D'lnverno M. A Formal Specification of dMARS : Intelligent Agents IV. Lec-^ tures Notes in AI. Vol. 1365 / M d'lnverno, D. Kinny, M. Luck, M. Wooldridge ; Ed. by M.

204. P. Sigh, A. S. Rao, M. Wooldridge. Springer-Verlag, 1998. - P. 58-70.

205. Wooldridge, M. An Introduction to Multi-Agent Systems / M. Wooldridge. -John Wiley and Sons. 2002. - 376 p.

206. Van Linder, B. How to motivate your agents. Intelligent Agents II. Agent Theories, Architectures and Languages. IJCAI 95 Workshop (ATAL), Montreal, Canada,щ

207. August 19 20, 1995. Proceedings / B. van Linder, W. van der Hoek, J - J. Ch. Meyer ; Ed. p; by M. Wooldridge, J. P. Müller, M. Tambe - Berlin ; etc.: Springer, 1996. - P. 32-47.

208. Georgeff, M. P. A profile of the Australian AI Institute / M. P. Georgeff, A. S. Rao // IEEE Expert, December 1996. 11 (6). - P. 89-92.

209. Georgeff, M. P. Reactive reasoning and planning / M. P. Georgeff, A. L. Lansky // In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI- 87), Seattle. WA. - 1987. - Y. 611-6%!.

210. Bratman, M. E. Plans and resource-bounded practical reasoning. Computational Intelligence / M; E. Bratman, D. Y. Israel; Mi E. Pollack. 1988. - № 4. - P. 349355.

211. Rao, A. S. As abstract architecture for rational agents / A. S. Rao, M. P. Geor-fr geff; Ed. by C. Rich, W. Swartout, B; Nebel// Proceedings of Knowledge Representationand Reasoning (KR&R 92). - 1992: - P. 439 - 449.

212. Rao, A. S. BDI Agents: from theory to practice / A. S. Rao, M. P. Georgeff// In Proc. of the First International Conf. on Multi-Agent Systems (ICMAS 95). - San Francisco, CA, June 1995. - P. 312-319.

213. D'Invernó, M. A formal specification of AgentSpeak(L) / M. d' Invernó, M.1.ck // Journal of Logic and Computation. 2000. - V. 13. - P. 157-176.

214. Spivey, M. The Z Notation (second edition) / M. Spivey. Hemel Hempstead, England : Prentice Hall International, 1992. - 260 p.

215. Spivey, M: An introduction to logic programming through Prolog / M: Spivey.- Prentice Hall International: Hemel Hempstead, England, 1996. 260 p.

216. Rao, A. S. Modeling rational agents within a BDI-architecture / A. S. Rao, M. # P. Georgeff// In Procs. of KR' 91. 1991. - P. 473-484.

217. Shoham, Y. Agent-Oriented programming / Y. Shoham. AI, 60, 1993. - P.5192.

218. Van Linder, B. The dynamics of default rezoning / B. van Linder, W. van der Hoek, J.-J. Ch. Meyer ; Ed. by Froidevaux, Kohlas // Proc. of ECSQ, ARU'95, LNCS 946. 1995.-P. 277-284.

219. Van Linder, B. Actions that make you change your mind : Proc. of KI 95, LNCS 981. / / B. van Linder, W. van der Hoek, J.-J. Ch. Meyer ; Ed. by Wachsmuth, Rollinger. - 1995.- P. 185-196.

220. Van Linder, B. Seeing is believing and so are hearing and jumping / B. van Linder, W. van der Hoek, J.-J. Ch. Meyer Ed. by Gori, Soda // Proc. of AI><IA'95, LNCSjfc 992.- 1995.-P. 402-413;

221. Halpern, J. Y. A guide to completeness and complexity for modal logics of knowledge and belief / J. Y. Halrern, Y. Moses. AI, 54 : 1992. - P. 319-379.

222. Kenny, A. Will, Freedom and Power / A. Kenny. Basil Blackwell, Oxford,1975.

223. Ambros, J. Integrating planning, execution and monitoring / J. Ambros, S.W. D. Stee // Proc. of the 7th National Conference on Artificial Intelligence (AAAI 88) 1. - St. Paul, MN, 1988.-P. 83-88.

224. Wood, S. Planning and Decision Making in Dynamic Domains / S. Wood. -Ellis Horwood Ltd., 1993.

225. Brooks, R. A. Intelligence without reason / R. A. Brooks // Proc. of the • 12th International Joint Conference on Artificial Intelligence (IJCAI 91). - Sydney, Australia, 1991.-P. 69-595.

226. Brooks, R. A. Intelligence without representation / R. A. Brooks // Artificial Intelligence. 1991. - № 47. - P. 139-159.

227. Arge, P. PENGI : An implementation of a theory of activity / P. Arge, D. Chapman // Proc. of the 6th National Conference on ArtificialiIntelligence (AAAI 87). -Seattle, WA, 1987. - P. 268-272.

228. Kaelbling, L. P. Action and planning in embedded agents / L. P. Kaelbling, S.

229. J. Rosensehan ; Ed. by P. Maes // Designing Autonomous Agents. MIT Press, 1990. - P. 35-48.

230. Cetnarowicz, K. M-Agent Architecture and;Its Application to the Agent Oriented Technology of Decentralized System / K. Cetnarowicz, E. Nakarecki, M. Zabinski //

231. Щ Proc. of the International Workshop «Distributed Artificial Intelligence and Multi-Agent

232. Systems» DAIMAS'97. June 15-18, 1997. - St. Petersburg, Russia, 1997. - P.' 89-94.

233. Ambroszkiewics, S. Knowledge in a Dynamic Model of Multi-Agent System / S. Ambroszkiewics, S. Bylka, J. Komar. Electronic Data. — Mode of access : http://www.ipipan.waw.pl/mas/

234. Halpern, J. Y. Knowledge and common knowledge in a distributed environment / J. Y. Halpern, Y. O. Moses. J. ACM 37(3), 1990. - P. 549-587.

235. Рузавин, Г.И. Научная теория : логико-методологический анализ / Г.И; Рузавин. М.: Мысль, 1978.-244 с.

236. Математика и кибернетика в экономике : Словарь-справочник. М. : Экономика, 1975.-700 с.

237. Граве, П. С. Кибернетика и психика / П. С. Граве, JI. А. Растригин. Рига : Зинанте, 1973. - 96 с.

238. Растригин, JI. А. Кибернетика как она есть / JI. А. Растригин, П. С. Граве. -М. : Молодая гвардия, 1975. -208 с.

239. Черняк, Ю. И. Анализ и синтез систем в экономике /Ю. И; Черняк. М. : Экономика, 1970. — 151 с.

240. Черняк, 10. И. Информация и управление / Ю. И. Черняк М. : Наука, 1974.-184 с.

241. Системный анализ в экономике и организации производства / Под ред. С.

242. A. Валуева, В. Н. Волковой. Л.: Политехника, 1991. - 398 с.

243. Пригожин, И. Р. Порядок из хаоса. Новый диалог человека с природой : Пер. с англ. / И. Р. Пригожин, И. Стенгерс. М.: Прогресс, 1986. - 432 с.

244. Кошарский, Б. Д. Принцип дополнительности системного описания и модульность структуры АСУП /Б. Д. Кошарский, А. И. Уемов // Системный анализ и современная наука. Вып. 2. Новосибирск : НГУ, 1974.

245. Основы системного подхода и их приложение к разработке территориальных АСУ / Под ред. Ф. И. Перегудова. Томск : Изд-во ТГУ, 1976. - 440 с.

246. Опыт создания и развития отраслевой автоматизированной системы управления Минвуза РСФСР : Обзорн. информ. / В. 3. Ямпольский, Н. И. Гвоздев, Л.

247. B. Кочнев. М.: НИИВШ, 1980. - 43 с.

248. Перегудов, Ф. И. Принципы декомпозиции целей и методика построения дерева целей в системах организационного управления / Ф. И. Перегудов, В. Н. Сага-товский, В. 3. Ямпольский, Л. В. Кочнев // Кибернетика и вуз. Вып. 8. -Томск : ТПИ, 1974.-С. 9-20.

249. Сагатовский, В. Н. Русская идея '. продолжим ли прерванный путь? / В. Н: Сагатовский // Серия : Россия накануне XXI века. СПб. : ТОО ТК «Петрополис», 1994.-217 с.

250. Системное проектирование АСУ хозяйством области / Под ред. Ф. И. Перегудова. М.: Статистика, 1977. - 160 с.

251. Применение системного анализа на разных уровнях управления в высшей школе: Обзорная информация / Под ред. В. Н^ Волковой. М.: НИИВШ, 1977. -65 с.-399331. Акофф, Р. О целеустремленных системах / Р. Акофф, Ф. Эмери М. : Сов. Радио, 1974.-272 с.

252. Флейшман, Б. С. Элементы теории потенциальной эффективности сложных систем / Б. С. Флейшман. -М.: Сов. Радио, 1971.-225 с.

253. Zilberstein, S. Using anytime algorithms in intelligent systems / S. Zilberstein //AI Magazine. 1996, V. 17.-N. 3.-P. 73-83.

254. Попов, Э. В. Экспертные системы. Решение неформализованных задач в диалоге с ЭВМ 7 Э. В. Попов. М.: Наука, 1987. - 288 с.335; Уотермен, Д. Руководство по экспертным системам : Пер. с англ. / Д. Уотремен. М;: Мир, 1989. - 388 с.

255. Марселлус, Д. Программирование экспертных систем на Турбо-Прологе : Пер. с англ. / Д; Марселлус. М.: Финансы и статистика, 1994. - 256 с.

256. Konar, A. Artificial intelligence and soft computing : behavioral and cognitive modeling of the human brain / A. Konar. Boca Raton : CRC Press, 2000. - 786 p.

257. Солсо, P. Когнитивная психология : Пер. с англ. / Pi Солсо.- М.: Триво-ла, 1996.-600 с.

258. Ларичев, О. И. Выявление экспертных знаний / О. И. Ларичев, А. И. Ме-читов, Е. М. Фуремс, Е. М. Мошкович. М.: Наука, 1989. - 127 с.

259. Larichev, О. Multiple Criteria Analysis in Strategic Siting Problems / O. Larichev, D. Olson. Boston : Kluwer Academic Publishers, 2001. - 217 p.

260. Осипов, Г. С. Приобретение знаний интеллектуальными системами: Основы теории и технологии / Г. С. Осипов. М.: Наука ; Физматлит, 1997. - 112 с.

261. Осипов, Г. С. Построение баз знаний на основе взаимодействия полуавтоматических методов приобретений знаний. Ч. 1. Концептуальные элементы модели мира / F. С. Осипов // Изв. РАН. Теория и системы управления. — 1995; №3. - С. 160-174:

262. Осипов, Г. С. Построение баз знаний на основе взаимодействия полуавтоматических методов приобретений знаний. Ч. 2. Модель знаний и приобретение знаний / Г. С. Осипов // Изв. РАН. Теория и системы управления. 1995. — № 5. - С. 65-80.

263. Смирнов, Ю. М. Об одном способе построения синтаксического анализатора текстов на естественном языке / Ю. М. Смирнов, А. М. Андреев, Д. В. Березкин, А. В. Брик // Изв. вузов. Приборостроение. 1997. - Т. 40, № 5. - С. 34-42.

264. Wilks, Y. Parsing English II: Computational Semantics / Y. Wilks ; Ed. by Y. Wilks, E. Sharniak. -New York : North-Holland, 1976. -P. 155-184.

265. Построение экспертных систем / Под ред-Ф-Хейес -Рот, Д. Уотерман, Д. Ленат. М.: Мир, 1987.-441 с.

266. Kaplan, R. М. Knowledge based acquisition of causal relation ships in text / R. M: Kaplan, G. Berry-Rogghe // Knowledge Acquisition. 1991. - № 3. - P. 317-337.

267. Gaines, B. Integrated knowledge acquisition architectures / B. Gaines, M. Shaw // Journ. for Intelligent Information Systems. 1992: - №1(1). - P. 9-34.

268. Шенк, P. Обработка концептуальной информации : Пер. с англ. / Р. Шенк. М.: Энергия, 1980. - 360 с.

269. Bunge, M. Treatise on Basic Philosophy. V. 1. Semantics I : Sense and Reference / M. Bunge. D. Reidel: Dordrecht, Holland. - 1974.

270. Laurence, S. Concepts and Cognitive Science : Concepts-Core Readings / S. Laurence E. Margolis. London : MIT-Press, 1999. - 468 p.355: Medin, D. L. Concepts: The Blackwell Dictionary of Cognitive Psychology /

271. D. L. Medin, R. L. Goldstone ; Ed. by M. V. Eysenk. Oxford, UK : Basil Blackwell, 1999. -P. 77-83.

272. Kangassalo, H. COMIC A System and Methodology for Conceptual Modelling and Information Construction / H. Cangassalo // Data&Knowledge Engineering. -1992/1993. - №9. - P. 287-319.

273. Минский, M. Фреймы для представления знаний : Пер. с англ. / М. Минский. -М. : Мир, 1979. 152 с.

274. Fikes, R. The Role of Frame-Based Representation in Reasining / R. Fikes, T. Kehler // Comm. of the ACM. 1985, Vol. 28. - No. 9. - P. 290-304.

275. Sowa, J. F. Conceptual graphs for a database interface / J. F. Sowa // IBM Journal of Research and Development. 1976. - № 20:4. - P. 336-357.

276. Sowa, J. F. Conceptual Structures : Information Processing in Mind and Machine / J. F. Sowa. Reading, MA : Addison - Wesley, 1984; - 481 p.

277. Sowa, J. F. Knowledge Representation : Logical, Philosophical, and Computational Foundations / J. F. Sowa. Pacific Grove, CA : Brooks/Cole Publishing Co^, 2000. -594 p.

278. Nielsen, Norman R. Application of Artificial Intelligence Techniques to Simulation : Knowledge-Based Simulation: Methodology and Application / Norman R. Nielsen; Ed. by Paul A. Fishwick, Richard B. Modjeski. N. Y.: Springer-Verlag. - 1991. - P. 3-19.

279. Pareschi, R. Dynamic Worlds from the Frame Problem to Knowledge Management / R. Pareschi," B. Fronhofer. 1999.

280. Кесс, Ю. Ю. Анализ и синтез фреймовых моделей АСУ / Ю. Ю. Кесс. -М. : Энергоатомиздат, 1986. 168 с.

281. Лозовский, В. С. Экстенсиональная база данных на основе семантических сетей / В. С. Лозовский // Изв. АН СССР. Техн. кибернетика. 1982. - № 5. - С. 23-42.

282. Хорошевский, В. Ф. Разработка и реализация экспертных систем — инструментальный подход / В. Ф. Хорошевский // Изв. АН СССР. Техн. кибернетика. -1986.- №5. -С. 105-114.

283. Khoroshevsky, V. F. Knowledge Based Design of Knowledge Based Systems in PiES Workbench / V. F. Khoroshevsky // Proc. of JCKBSE'94, Japan CIS Symposium on Knowledge Based Software Engineering'94. - 1994. - P. 256-261.

284. Нечипоренко, В. И. Структурный анализ систем (эффективность и надежность) / В. И. Нечипоренко. М.: Сов. радио, 1977. - 216 с.

285. Берж, К. Теория графов и ее применения / К. Берж. М. : Иностр. лит. ,1962.

286. Дружинин, В. В. Системотехника / В. В. Дружинин, Д. С. Конторов. М. : Радио и связь, 1985. - 200 с.

287. Александров, В. В. Интегрированные производственные комплексы : Сб. статей / В. В. Александров, А. А. Барилов, И. П. Белякова ; Под общ. ред. В. М. Пономарева. -JI. : Машиностроение, 1987. 91 с.

288. Вороненко, В. П. Проектирование автоматизированных участков и цехов / В. П. Вороненко, В; А. Егоров, М. Г. Косов ; Под ред. Ю. М. Соломенцева. — М. : Машиностроение, 1992.-272 с.

289. Пратг, Т. Языки программирования: Разработка и реализация : Пер. с англ. / Т. Пратт. М.: Мир, 1979. - 576 с.

290. Математическая энциклопедия : Т. 4. Ок Сло / Гл. ред. И. М. Виноградов. -М. : Сов. энцикл. - 1984. - 1216 с.

291. Кузнецов, О. П. О моделировании быстрых интеллектуальных процессов обыденного мышления / О. П. Кузнецов // Интеллектуальные системы. 1997. - Т. 2, Вып. 1-4.-С. 55-71.

292. Кузнецов, О. П. Неклассические парадигмы в искусственном интеллекте / О. П. Кузнецов // Теория и системы управления. 1995. - № 5. - С. 3-23.

293. Девятков, В. В. Системы искусственного интеллекта / В. В. Девятков -М.: Изд-во МГТУ им. Н. Э. Баумана, 2001.-352 с.

294. Лорьер, Ж. Л. Системы искусственного интеллекта : Пер. с франц. / Ж. Л. Лорьер М.: Мир, 1991. - 568 с.

295. Тейз, А. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных : Пер. с франц. / А. Тейз, П. Грибомон, Г. Юлен. М. : Мир, 1998.-494 с.

296. Величенко, В. В. Технический интеллект /В. В. Величенко // Интеллектуальные системы. 1996. - Т. 1, Вып. 1-4. - С. 5-18.

297. Lenat, D. В. CYC : A Large-Scale Investment in Knowledge Instructure / D. B. Lenat // Communications of the ACM. 1995. - № 38 (11). - P. 33-48.

298. Fikes, R. Large scale repositories of highly expressive reusable knowledge / R: Fikes, A. Farguhar // IEEE Intelligent Systems. - 1999. - № 14 (2). - P. 73-79.

299. Cohen, P. The DARPA high-performance knowledge bases project / P. Cohen, R. Schrag, E. Jones // AI Magazine. 1998. - № 19 (4). - P. 25-49.

300. Craig, W. Linear reasoning: a new form of the Herbrand-Gentzen theorem / W. Craig// J. of Symbolic Logic. 1957. - Vol. 22. - P. 250-268.

301. Craig, W. Three uses of Herbrand Gentzen theorem in model theory and proof theory / W. Craig // J. of Symbolic Logic. - 1957. - Vol. 22. - P. 269-285.

302. Amir, E. Object-Oriented First-Order Logic Electronic Resourse./ E. Amir// Electronic Articles in Computer and Information Science. Electronic magazine. - Mode of access : http : // www, ida. liu. se / ext / etai.

303. Pearl, J. Probabilistic Reasoning in Intelligent Systems : Networks of Plausible Inference. San Mateo, CA : Morgan Kaufmann Publishers, 1988. — 552 p.

304. Bokhari, S.H. Partition Problems in Parallel, Pipelined and Distributed Computing // IEEE Trans. On Computers, January 1988. Vol. 37. - N. 1. - P. 48-57.

305. Городецкий, В.И: Многоагентные системы (обзор) / В.И. Городецкий, М.С. Грушииский, А.В: Хабалов // Новости искусственного интеллекта. 1998, №2. —1. C. 64-117.

306. Тарасов В.Б. Агенты, многоагентные системы, виртуальные сообщества: стратегическое направление в информатике и искусственном интеллекте / В.Б. Тарасов // Новости искусственного интеллекта. 1998 • №2; — С. 5-64.

307. AgentBuilder: An Integrated Toolkit for Constructing Intelligent Software Agents Electronic Resourse. / Reticular Systems, 1999/ Mode of access : http://www.agentbuilder.com.

308. AgentFactory: User Manual. University College Dublin (UCD) Electronic Resourse. / Report No. UCD-PRISM 98-5.1. Dublin, 1998. - Mode of access : http://www.cs.ucd.ie/prism.

309. Brookings R. S. Ascape: An Agent Based Modeling Framework in Java Electronic Resourse. / R: S. Brookings. [Electronic Data]. - Brookings Center on Social and Economic Dynamics, 2000. - Mode of access : http://www.brook.edu/es/dynamics/models/ascape/.

310. Tom Walsh, T. Security and reliability in Concordia. / T. Walsh, N. Paciorek,

311. D. Wong. // Proceedings of the Thirty-First Annual Hawaii International: Conference on System Sciences, January 1998. -Vol. VII. P. 44-53.

312. Magnin, L. GenA: Multiplatform Generic Agents Electronic Resourse. / L. Magnin, E. H. Alikacem // Mata'99. Ottawa, Canada, 1999. — Electronic-Data.-- Mode of access : http ://www.crim.ca/~lmagnin/pub/publis /.

313. Grasshopper, Release 2.2. Basics and Concepts (Revision 1.0), March 2001. -IKV-H-GmbH. 70 p.

314. Albayrak, S. JIAC An Open and Scalable Agent Architecture for Telecommunication Applications / S. Albayrak, D. Wieczorek. - IOS Press, 1998. - 128 p.

315. JATLite http : // iava.stanford.edu/iava-agent/html.414: JAFMAS http://www.ececs.uc.edu/~abaker/JAFMAS.

316. Kouadri, G. A generic framework for context-based distributed authorizations/ G-Kouadri,-P.Brezillon // Proc.Of theTourth Int.Conf. on Modeling.and Using.Context, Stanford, California (USA), June 23-25,2003. P. 326-333.

317. Sloman, A. What's an AI Toolkit For? / A. Sloman // Proceedings of the AAAI-98 Workshop on Software Tools for Developing Agents. Madison, Wisconsin, 1998.

318. Нарушев, E. С. AgSDK : инструментарий разработки мультиагентных систем / Е. С. Нарушев, В. Ф. Хорошевский // Тр. VII национальной конф. по искусственному интеллекту с международным участием КИИ-2000. Т. 2. М. : Физматлит, 2000.-С. 830-840.

319. FIPA SL Content Language Specification XC00008G Electronic Resourse. -Mode of access.L-http://www.fipa.Org/specs/fipa00008/XC00008G.html.

320. FIPA KIF Content Language Specification ХС0001 OB Electronic Resourse. -Mode of access : http://www.fipa.org/specs/fipa00010/XC00010B.html.

321. FIPA ACL Message Structure Specification XC00061E Electronic Resourse.- Mode of access : http://www.fipa.org/specs/fipa00061/XC00061E.html.

322. FIPA AgentMessage Transport Service Specification XC00067D Electronic Resourse. Mode of access : http://www.fipa.org/specs/fipa00067/XC00067D.html.

323. Мильнер, Б. 3. Теория организаций / Б. 3. Мильнер. М. : ИНФРА - М, 1998.-336 с.

324. Тихомиров, M; М. Системы информационной и интеллектуальной поддержки управленческой деятельности в структурах государственной службы/РАГС / M. М. Тихомиров. -М:, 1995. 126 с.

325. Conceptual? Graphs Electronic Resourse. Mode of access : http://www.jfsowa.com/cg / cgstand. htm:

326. Мельчук, И; А. Опыт теории лингвистических моделей «Смысл-Текст» / И. А. Мельчук. М. : Наука, 1974. - 314. с.

327. Таратынкин, С. В: Централизация технологических и информационных ресурсов — стратегическое направление развития ИТ ГУТА — Банка / С. В. Таратынкин // Банковские Технологии. 2002. - № 1. - С. 10-14.

328. Бокова, Е. Е. Автоматизация управленческого учета. Часть 2. Возможные варианты / Е. Е. Бокова // Банковские Технологии. 2001: - № 5. - С. 55-61.

329. Капцанов, Б. Основы построения многоуровневой автоматизированной информационно-аналитической системы для банковских корпораций / Б. Капцанов, В. Фогельсон // Банковские Технологии. 2001; - № 5. - С. 18 - 21.

330. Федеральный закон о банках и банковской деятельности. — М. : ПРИОР. -2002.-32 с.

331. Шал ахова, Mi А. Филиальный бизнес банков / Mi А. Шалахова // Аудит и финансовый анализ. 1998. - №2i - С. 168-178.

332. Сибиряков, А. И. Модели организационных структур российских банков. / А. Hi Сибиряков // Бизнес и Банки. 2001. - № 35 (565). - С. 72-78.

333. Сибиряков, А. И. Коммерческий банк сегодня / А. И. Сибиряков. М. : Консалтбанкир, 2002. - 144 с.

334. Тамм, Б. Г. Анализ и моделирование производственных систем / Б. Г. Тамм, М. Э. Пусепп, Р. Р. Тавист. Mi: Финансы и статистика, 1987. - 344 с.

335. Тыугу, Э. Х. Концептуальное программирование / Э. X. Тыугу. Mi : Наука, 1984.-256 с.

336. Шеховцов, О. И. Автоматизация проектирования информационного обеспечения АСУ / О. И. Шеховцов.-Л. : ЛЭТИ, 1988. 88 с.

337. Клещев, А. С. Представление знаний. Методология, формализм, организация вычислений и программная поддержка / А. С. Клещев // Прикладная информатика;- 1985.-Вып. 1.-С. 49-94.

338. Публикации по теме диссертации

339. Широков В.В., Швецов А.Н: Средства логического проектирования программного обеспечения микропроцессорных систем управления//1Х Всесоюзн. симпозиум "Логическое управление в промышленности": Тез. докл. Ташкент, 1986. - С. 26-27.

340. Суконщиков A.A., Швецов А.Н. Верификация протоколов сетей ЭВМ на базе аппарата сетей Петри. Рук. деп. в Информприборостроение 19.01.90, N4718-пр. 90.-12 с.

341. Суконщиков A.A., Швецов А.Н. Разработка программно -алгоритмических средств моделирования сложных дискретных систем / Сборник науч. трудов в 3-х ч. Ч. 2. Технические проблемы в электроэнергетике. - Вологда, ВоПИ, 1995. - С. 97-102 .

342. Суконщиков A.A. , Сергушичева А.П. , Швецов А.Н. Разработка экспертных систем для подготовки специалистов /Сборник трудов I; Международной конф. "Инфотех-96". Череповец, 1996. - С. 55-58 .

343. Суконщиков A.A., Швецов А.Н., Сергушичева А.П. Разработка экспертных и обучающих систем на основе принципов искусственногоинтеллекта/Сборник научн. трудов института в 2-х т. Т. 1. Вологда: ВоПИ, 1997. -С. 32-35.

344. Швецов А.Н., Суконщиков A.A. Канонические исчисления Поста как средство моделирования сложных дискретных систем/Автоматизация процессов управления и обработки информации: Сб. статей; Вологда:ВоПИ, 1998. — С. 128135.

345. Осипов Ю.Р., Швецов А.Н. Автоматизация процессов гуммирования. — Вологда: ВоПИ, 1998;-210 с.

346. Швецов А.Н. Проектирование систем логического управления. 4.1. -Вологда: ВоГТУ, 2000. 108 с.

347. Швецов А.Н. Интеллектуальные методы объектно-ориентированного проектирования сложных информационных систем/ Информационные технологии в образовании, технике и медицине: Сб. науч. тр. В 2-х ч. Ч. 2. / ВолГТУ. -Волгоград, 2000. С. 174 - 178.

348. Швецов А.Н. Модель инструментальной информационной системы для анализа и развития интеллектуальных способностей/Информация-Коммуникация-Общество(ИКО): Тез. докл. Междунар. науч. конф. СПб.: СПбГЭТУ "ЛЭТИ", 2000. - С. 188 - 189.

349. Клыпин О.С., Швецов А.Н. Автоматическая генерация баз данных при разработке специализированных автоматизированных систем/Информационная среда вуза: Сб. ст. к конф./Иванов. гос. архит.-строит. акад. Иваново, 2000. Вып. 7.- С. 37-39.

350. Швецов А.Н. Информационная технология преподавания дисциплины "Проектирование систем управления"/ Современные технологии обучения: Материалы 7-й международ, конф. 18 апреля 2001 г. 4.1. - СПб.:СПбГЭТУ, 2001. -С. 178 - 180.

351. Дианов C.B., Полянский A.M., Швецов А.Н. Принципы построения мультиагентной системы анализа обращений граждан/Ресурсный и экономический потенциал региона. Актуальные проблемы: Межвузовский сборник научн. ст. — Вологда: ВИБ, 2001. С. 99 -103.

352. Швецов А.Н., Сергушичева А.П; Методы и средства проектирования информационных технологий интеллектуального развития/ Interactive Systems: The

353. Problems of Human Computer Interaction. — Proceedings of the international Conference, 23-27 September 2001. - Ulyanovsk: ULSTU, 2001. - P. 182 - 183.

354. Швецов А.Н., Суконщиков A.A. Основы методологии проектирования распределенных информационно-вычислительных систем/ Вестник ВоГТУ. №3, 2002.-С. 64-66.

355. Швецов А.Н; Методы организации логического вывода в распределенных интеллектуальных информационных системах/Мат-лы Международ. Научно-техн. Конф. «Инфотех-2001». Череповец: ЧГУ, 2002. - С. 137-140.

356. Яковлев C.A., Швецов А.Н. О методологии: построения распределенных интеллектуальных информационных систем/ Известия СПбГЭТУ «ЛЭТИ». Серия «Информатика, управление и компьютерные технологии». 2002, №3.-С. 45-48.

357. Швецов А.Н., Дианов C.B. Мультиагентная система отдела по работе с обращениями и жалобами граждан/ Информационные технологии. 2003, №7. - С. 26-31.

358. Дианов С.В:, Швецов А.Н. Изучение мультиагентных технологий в рамках дисциплины «Информационное обеспечение систем управления»/Материалы XIV международной конференции «Применение новых технологий в образовании». Троицк, 2003; - С. 89-91.

359. Швецов А.Н., Сергушичева А.П. Расширение функциональных возможностей инструментальной интеллектуальной системы/. Информация-коммуникация-общество(ИКО-2003): Тез.докл. и выступлений Международной научной конференции. СПб.: СПбГЭТУ, 2003. - С. 418 - 420.

360. Швецов А.Н., Дианов C.B. Применение агентно-ориентированных технологий в проектировании информационных систем организационного управления/УИнформационные технологии в проектировании и производстве. -2003, №4.-С. 23-25.

361. Швецов А'.Н;,. Сергушичева А.П. Экспериментальные результаты применения технологий интеллектуального развития/ Тренажерные технологии и симуляторы: Мат-лы 2-й научно-техн. конф./Под ред. Е.И.Юревича. СПб.:Изд-во СПбГПУ, 2003. - С. 7-10.

362. Швецов А.Н., Киракозов М.Б., Иванов И.О., Зайцев Д.В. Тренирующая интеллектуальная система/ Межвузовск. науч. конф. "Проблема развития вгуманитарном и социально-экономическом знании"/Тез.докл. и выступлений. -СПб.:СПбГЭТУ, 1999. С. 113-115.

363. Алешин B.C., Швецов А.Н. Анализ информационных потоков на предприятии/Вузовская наука региону: Материалы второй региональной межвузовской научн. -техн. конф. - Вологда: Bol ТУ, 2001. - С. 102 - 104.

364. Швецов А.Н. Концептуальная модель распределенной интеллектуальной информационной системы/ Управляющие и вычислительные системы. Новые технологии: Материалы межвузовской электронною научн.-техн. конф. Вологда: ВоГТУ, 2001. - С. 97.

365. Алешин B.C., Швецов А.Н. Построение лингвистического процессора в системе семантического анализа текстов на естественном языке/ Вузовская наука региону: Мат-лы III региональной межвузовской научн.-техн. конф. — Вологда: ВоГТУ, 2002. - С. 68-70.

366. Швецов ; А.Н. Основы методологии проектирования распределенных интеллектуальных систем/ Вузовская наука — региону: Мат-лы III региональной межвузовской научн.-техн. конф. Вологда: ВоГТУ, 2002. - С. 111 - 114.

367. Дианов C.B., Швецов А.Н. Структура базы знаний агента-сотрудника в мультиагентных системах организационного управления/ Вузовская наука — региону: Мат-лы III региональной межвузовской научн.-техн. конф. — Вологда: ВоГТУ, 2002. С.121 - 122.

368. Швецов А.Н. Методология проектирования интеллектуальных агентно-ориентированных информационных систем // Труды учебных заведений связи / СПбГУТ. СПб, 2003. № 169. - С. 80-86.

Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.