Модели, методы и программное обеспечение для поддержки принятия решения в системах контроля доступа и обеспечения безопасности на основе агентно-ориентированного подхода и многозначных логик тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Борисов, Алексей Вадимович

• Борисов, Алексей Вадимович
• кандидат технических наук
• 2006

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

Список основных сокращений.

Введение.

1. Интегрированные системы контроля доступа и обеспечения безопасности и их моделирование на основе агентно-ориентировапного подхода.

1.1. Структура, функции и задачи системы обеспечения безопасности функционирования организаций.

1.2. Классическая «клиент-серверная» архитектура СКД и ОБ.

1.3. Децентрализованная архитектура СКД и ОБ.

1.4. Многоагентный подход к построению СКД и ОБ. Постановка задачи разрешения конфликтов в МАС.

1.5. Архитектура классического агента.

1.6. Общие принципы и методология построения мноюагентных систем.

161 Многоагентный подход системы распределенного и децентрализованного ИИ

162 Методоюгия Саш

1.7. Использование неклассических многозначных логик для представления мнений и разрешения конфликтов в МАС.

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

2.Анализ многозначных логик и их приложений к описанию мнений и оценок агентов, процессов диалога, аргументации и конфликтных ситуаций в МАС.

2.1. Типы высказываний, используемых в теории агентов.

2.2.0 логическом подходе в теории агентов.

2.3. Многозначные логики и их описание с помощью логических матриц.

2.4. Основные трехзначные логики и их применения в описании НЕ-факторов.

2 41 Логика Лукасевича Ц

2 42 Логика Рейтинга Н}

2 4 3 Логика Бочвара В

2 4 4 Логики Клини К}

2.5. Четырехзначные ло! ики и их применения в описании НЕ-факторов.

2 51 Логика аргументации Финна Г

2 5 2 Логика Белнапа Д4 65 2 6 Связь модальности и многозначности. Модальная трехзначная логика Лукасевича.

2.7. Модализация истинностных значений.

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

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

3.1. Моделирование интенциональных характеристик в МАС.

3.2. Интегральная модель мнения агента.

3.3. Варианты построения интегральной модели мнения агента.

3 31 Произведение чогических матриц 80 3 3 2 Модели достоверных мнений 81 333 Модель мнения, допускающая частичную (неполную) информацию 84 3 3 4 Модель мнения допускающая непочноту информации и неуверенность 85 3 3 5 Модель мнений, допускающая неуверенность, непочноту и противоречивость

3.4.Логика Бел папа #4 как аппарат для работы с истинностной составляющей мнения агента в рамках интегральной модели мнения.

3 41 Интерпретация истинностных значений и логические законы В4 в контексте МАС

3 4 2 Биупорядоченные множества и бирешетки

3 4 3 Вывод в югике В4 на базе метода ана.читических табчиц и бирешеточной семантики

3.5. Разработка четырехзначной логики МЦ для работы с оценочной составляющей мнения.

3 51 Понятие модачьности, сила и знак модальности

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

Решетка модачьностей

Логические операции над модальностями

3 52 Логическая матрица логики М,

3 5 3 Вывод в югике МЦ на базе метода аналитических таблиц

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

3 61 Логика ML\b как декартово произведение чогик Белнапа и МЦ

3 62 Интерпретация истинностных значений и логические операции ML\f,

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

4. Методы и алгоритмы работы с мнениями в MAC, представленными согласно интегральной модели.

4.1. Модель рассуждений агента по Белнапу.

4.2. Модель представления модальных оценок.

4.3. Метод пополнения базы истинностных составляющих мнений.

4.4. Метод пополнения базы модальных составляющих мнений.

4.5. Алгоритм выявления мнения агента на поставленный вопрос с использованием свойств логик i?4 и ML\.

4.6. Алгоритм вьивления ответа группой агентов. Разрешение конфликтов с использованием логики ML\(,.

4.7. Алгоритм принятия агентом решения о доступе в СКД и ОБ.

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

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

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

Актуальность темы. Вопрос защиты имущества частных лиц или организаций от несанкционированного доступа посторонних лиц, к сожалению, не теряет своей актуальности. В настоящий момент развитие современных технических средств позволяет существенно повысить защищенность объекта [1,3,8]. Практика применения автоматизированных систем контроля доступа (СКД) [3]* в последние пятнадцать лет получила широкое распространение. Такие системы применяются как на объектах особой важности: государственных учреждениях, электростанциях, аэропортах, хранилищах, так и в жилых домах, автомобильных стоянках, магазинах и т.д. Система контроля доступа представляет собой программно-аппаратный комплекс, основной задачей которого является предотвращение доступа нежелательных лиц в контролируемую зону, а в случае если это произошло - незамедлительное оповещение о данном факте. При этом СКД позволяет посредством электронных ключей (магнитных карт, радиокарт и др.) ограничить доступ посторонних лиц на территорию. Программное обеспечение, входящее в состав системы, обеспечивает функции обеспечения безопасности (ОБ) при возникновении чрезвычайной ситуации.

Развитие индустрии безопасности в сочетании с быстрым ростом технических средств ее обеспечения привело к появлению большого количества средств, повышающих степень защищенности объекта. К таким средствам относятся: системы охранно-пожарной сигнализации [71,72]; системы видеонаблюдения; системы контроля доступа; системы ограничения доступа и учета автотранспорта [18].

Эти средства в отдельности решают свои конкретнуе задачи, а в совокупности обеспечивают комплексную безопасность объекта. Зачастую данные подсистемы разрабатываются различными производителями и не являются в полной мере совместимыми друг с другом. Тогда, например,

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

Описанная выше проблема привела к осознанию актуальности создания интегрированных систем, которые позволяют решать вышеописанную и более сложные задачи, обеспечивая более высокий уровень безопасности. Разработка подобных интегрированных систем контроля доступа и обеспечения безопасности (СКД и ОБ) предполагает решение ряда фундаментальных теоретических и прикладных проблем, которые рассматриваются в диссертации.

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

В диссертации СКД и ОБ моделируется как многоуровневая распределенная система, состоящая из автономных модулей. В связи с этим предлагается агентно-ориентированный подход [41,92,109,156,162,176,183] к ее построению. Среди наиболее известных работ в области теории агентов и многоагентных систем следует отметить публикации К.Хьюитта [156], М.Вулдриджа [182, 183], Н.Дженнингса [183], Д.Кини [183], П.Маэс [162], В.И.Городецкого [41,42], Д.А.Поспелова [90, 92], П.О.Скобелева и др. [4], А.В.Смирнова, В.Б.Тарасова [106, 108, 109], Ж.Фербе, В.Ф.Хорошевского [87, 127], И.Шоэма [176] и пр.

Основное содержание диссертационной работы связано с разработкой моделей, методов и программного обеспечения для поддержки принятия решений в СКД и ОБ. Общие проблемы построения систем поддержки принятия решений рассмотрены в монографиях О.М.Ларичева, А.И.Тихонова и В.Я.Цветкова [116], Э.А.Трахтенгерца [118], а конкретные примеры разработки таких систем даны в работах А.Н.Аверкина, О.П.Кузнецова и др. [2],

A.А.Башлыкова [9, 29], В.Н.Вагина, П.Еремеева [9,48,49] и др.

В диссертации в качестве важнейшего компонента проблемы поддержки принятия решений выступает задача информационной подготовки решений, связанная с формированием индивидуальных и коллективных мнений агентов, организацией их нормативного поведения, аргументацией в конфликтных ситуациях. При рассмотрении задач формализации норм и мнений автор опирался на работы Д.А.Поспелова и В.А.Шустер [93], М.Н.Бежанишвили [11],

B.Н.Вагина [27, 28], Е.Е.Ледникова [68], М.А.Михеенковой и В.К.Финна [75], Р.Фейгина и Дж. Халперна [146], М.Джорджеффа и А.Рао [153], У.Селларса [175], П.Сноу [178], Я.Хинтикки [126, 157]. Вопросы аргументации в конфликтных ситуациях исследовались В.Н.Вагиным и др.[28], В.К.Финном [122,-125], А.А.Ивиным [54], Т.А.Таран [105] и др.

В ходе решения задачи построения распределенной интегрированной системы контроля доступа и обеспечения безопасности возникла задача работы с неполной, противоречивой, неточной, неоднозначной информацией, т.е. с "НЕ-факторами" [77,78]. Термин НЕ-факторы, предложенный А.С.Нариньяни, лексически и содержательно отрицает основные свойства формальных систем: определенность, замкнутость, полноту, корректность и пр. Его английский эквивалент (¡т-т-ип'з) впервые появился в работе Ж.П.Дельгранде и Дж.Милопулоса [141]. Помимо рассмотрения свойств и ограничений формальных систем, другими естественными путями систематизации и группировки НЕ-факторов могут быть модификация законов классической логики (исключенного третьего, непротиворечивости, инволютивности); анализ типов экспертных свидетельств и оценок на оппозиционных шкалах и пр.

В работах А.С.Нариньяни проведены главным образом «доформальные исследования», включающие систематизацию НЕ-факторов в естественном языке и анализ взаимодействия между ними. Среди других специалистов, активно занимающихся исследованиями по данной проблематике, можно указать В.Н.Вагина [26-28], Ю.Р.Валькмана [31], Г.В.Рыбину [96], В.Б.Тарасова [107] и др.

В основу разрабатываемой архитектуры СКД и ОБ автор положил принцип построения распределенной вопросно-ответной системы, адаптированной для работы с НЕ-факторами на основе нетрадиционных, многозначных логик. В чем заключается причина обращения к аппарату многозначных логик?

Формализуя достоверные суждения и строгие, монотонные, корректные рассуждения, классическая логика, к сожалению, не принимает во внимание некоторые аспекты «естественных» рассуждений, такие как противоречивость, модифицируемость, неточность, нечеткость [91]. Вопросы построения рассуждений, учитывающих эти аспекты (НЕ-факторы), исследуются в логике достаточно давно [26,27], но остаются по-прежнему актуальными. Неклассические, а, в первую очередь, многозначные логики являются удобным и эффективным аппаратом для описания суждений, оценок и рассуждений, «пронизанных» НЕ-факторами, характерных для агентов, взаимодействующих в многоагентных системах. Большой вклад в развитие многозначных и бесконечнозначных логик внесли Я. Лукасевич, Ч.Пирс, Э. Пост, Д.А. Бочвар, А. Гейтинг, С.К. Клини, Н. Решер, X. фон Вригт, Р.Мак-Нотон, Н. Белнап,

A.В.Кузнецов, С.В.Яблонский, В.К. Финн, О.М.Аншаков, А.С.Карпенко,

B.И.Левин и др. Логическим подходам в ИИ посвящены монографии В.Н.Вагина и др. [28], Дж.Минкера [163], А.Тейза и др. [114, 115], Э.Тернера [179], а логическим подходам к разработке автономных агентов и многоагентных систем - работы Дж.Аллена, М.К.Валиева и др. [30], П.Коэна, А.Левека, Дж.Халперна, М.Дженесерета, М.Джорджефа, А.Рао, К.Конолиге, Дж.Мозеса, Г.С.Плесневича и др.[85, 86], Р.Фагина и др.

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

Объектом диссертационного исследования являются распределенные системы контроля доступа и обеспечения безопасности (СКД и ОБ), моделируемые как многоагентные системы (MAC). Основной предмет исследования составляют формальные модели мнений и оценок автономных агентов, а также методы и модели представления взаимодействий (диалога) между агентами на основе многозначных логик, разрабатываемые в интересах построения распределенной вопросно-ответной системы, адаптированной для работы с НЕ-факторами.

Отличительной особенностью предлагаемого подхода является реализация требования распределенности системы (см. работы по распределенным вычислительным системам и распределенному программированию Ю.П. Кораблина [63], В.П. Кутепова [67], В.В. Топоркова [117]) и применение логических методов искусственного интеллекта [28,114] при описании встречаемых в процессе работы системы неопределенностей и разрешении возникающих конфликтов [105,106,139].

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

1) обоснование целесообразности разработки интегрированной системы контроля доступа и обеспечения безопасности и ее построение как системы с распределенной архитектурой;

2) разработка агентно-ориентированного подхода к построению систем СКД и ОБ, включая разработку конкретной многоагентной системы для СКД и ОБ, построение архитектуры и реализация отдельных агентов;

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

4) анализ факторов неопределенности, неполноты, противоречивости информации, циркулирующей в СКД и ОБ; обзор логических методов формализации подобной информации;

5) построение логико-алгебраических моделей представления мнений и взаимодействий агентов на основе теории решеток и многозначных логик;

6) разработка программной архитектуры СКД и ОБ и средств порождения новых агентов и объектов системы с помощью методов шаблонно-ориентированного и синтезирующего программирования.

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

Новыми в диссертации являются:

1) распределенная модель СКД и ОБ на основе агентно-ориентированного подхода;

2) конкретная многоагентная архитектура СКД и ОБ, а также гибридная архитектура искусственного агента, сочетающая различные функционально-структурные компоненты индивидуальных и коллективных агентов;

3) интегральная модель мнения автономного агента как единства описаний и предписаний, истинностных суждений и модальных оценок;

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

5) логико-математический аппарат (четырехзначная логика ML 4, шестнадцатизначная логика ML^) для описания мнений, формализации модальностей, моделирования диалога, разрешения конфликтов в MAC на базе произведений логик;

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

Реализация результатов. Разработанный программный комплекс sPARK, представляющий собой интегрированную систему контроля платного доступа и учета автотранспорта, зарегистрирован в Федеральной службе по интеллектуальной собственности, патентам и товарным знакам РОСПАТЕНТ (свидетельство № 2003610400 от 14.02.2003 г., по заявке № 2002612281, дата поступления 19.12.2002).

За срок с 2002 по 2006 г. система sPARK была внедрена на 41-м объекте в России и СНГ. Так в результате применения системы sPARK на территории ВВЦ удалось увеличить пропускную способность контрольно - пропускных пунктов на 25-30%. Кроме того, практическая ценность предложенной модели анализа неточной и противоречивой информации, алгоритмов разрешения конфликтов в MAC заключается в том, что их применение возможно не только в СКД и ОБ, но и в других распределенных системах при формализации диалога узлов сети и разрешения возникающих конфликтов.

Основные результаты диссертации были получены при выполнении работ по гранту Российского фонда фундаментальных исследований № 04-01-00-36. Они также были использованы в учебном процессе кафедры прикладной математики МЭИ(ТУ) и кафедры "Компьютерные системы автоматизации производства" МГТУ им. Н.Э.Баумана. Акты о внедрении и использовании результатов работы прилагаются.

На защиту выносятся:

1) децентрализованная модель СКД и ОУ на основе агентно-ориентированного подхода;

2) гибридная архитектура искусственного агента в многоагентной системе, сочетающая структурно-функциональные элементы коллективных и индивидуальных агентов;

3) интегральная модель мнения автономного агента, объединяющая его дескриптивные суждения и прескриптивные оценки;

4) метод двухкоординатного представления систем модальностей и их формального описания с помощью биупорядоченных множеств;

5) четырехзначная логика М,4 для работы с модальными суждениями и оценками;

6) шестнадцатизначная логика МЬ^ для работы с мнениями. Структура работы такова:

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Борисов, Алексей Вадимович

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

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

1. Показаны варианты приложений логики Белнапа и построенных в главе 3 четырехзначной логики МЬ4 и шестнадцатизначной логики МЪ\ь к представлению суждений и мнений агентов.

2. В частности, логика МЬц используется для моделирования связи мнений (суждений с истинностными значениями), описываемыми с помощью логики Белнапа, с состояниями мира. Логика М,16 применяется при разрешении спорных ситуаций группой агентов.

3. Представлен метод пополнения базы мнений агента на основе логики Белнапа.

4. Предложен метод изменения оценок агента на основе логики МЬ4.

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

6. Предложен алгоритм принятия агентом решения о доступе в СКД и ОБ на основе разработанного логического аппарата и МЬ

Заключение

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

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

1. Разработана интегрированная система контроля доступа и обеспечения безопасности (СКД и ОБ) как система с распределенной архитектурой.

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

3. Обоснована необходимость учета факторов неполноты и противоречивости информации в СКД и ОБ, неопределенности и пересмотра мнений агентов на основе многозначных логик и решеточных семантик.

4. Проведен критический анализ ряда известных трехзначных и четырехзначных логик с целью определения возможности их использования для моделирования неполной, противоречивой и плохо определенной информации в СКД и ОБ.

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

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

7. Построены специальные многозначные логики МЦ, МЬ^.Разработана комбинированная процедура логического вывода для логики Белнапа ВА и логики Ж4.

8. Разработана программная архитектура СКД и ОБ и средств порождения новых агентов и объектов системы с помощью методов шаблонно-ориентированного и синтезирующегопрограммирования.

Разработанные автором модели и методы применены для решения задачи построения распределенных систем контроля доступа и обеспечения безопасности. Разработан программный комплекс бРАЯК, решающий задачу построения распределенной системы контроля доступа и учета автотранспорта. Применение предложенной в работе распределенной архитектуры СКД и ОБ и алгоритмов принятия решения о доступе на территорию в составе системы бРАЯК позволили повысить эффективность управления транспортными потоками и ограничить доступ транспорта на территорию различных объектов. В результате применения системы эРАЯК удалось увеличить пропускную способность контрольно-пропускных пунктов на 25-30%. Акты о внедрении прилагаются.

Разработанный программный комплекс внедрен более чем на 40 объектах в России и СНГ.

Список литературы диссертационного исследования кандидат технических наук Борисов, Алексей Вадимович, 2006 год

1. Абрамов А., Никулин О., Петрушин А. Системы управления доступом. -М.: Оберег-РБ, 1998.

2. Аверкин А.Н., Кузнецов О.П., Кулинич A.A., Титова Н.В. Поддержка принятия решений в слабо структурированных предметных областях. Анализ ситуаций и оценка альтернатив// Известия РАН: Теория и системы управления. 2006. - №3. - С.139-149.

3. Алексеенко В. Современная концепция комплексной защиты. Технические средства защиты. М.: АО "Ноулидж Экспресс" и МИФИ, 1994.

4. Андреев В.В., Батищев C.B., Виттих В.А. и др. Методы и средства создания открытых мультиагентных систем для поддержки процессов принятия решений// Известия РАН: Теория и системы управления. 2003. - №1. -С.126-137.

5. Аншаков С.М., Рычков C.B. О многозначных логических исчислениях// Семиотика и информатика. Вып. 19. М.: ВИНИТИ, 1982. - С.90-117.

6. Аристотель. Собрание сочинений. М.: Мысль, 1976.

7. Аршинский A.B. О семантиках классической логики// Электронный журнал Logical Studies. -М:ИЛКиРЛ, 2000.- http://www.Iogic.ru/Russian/LogStud/05/ LS5.html.

8. Барсуков B.C. Безопасность: технологии, средства, услуги. М.: КУДИЦ-ОБРАЗ, 2001.

9. Башлыков A.A., Еремеев А.П. Экспертные системы поддержки принятия решений в энергетике. М.: Изд-во МЭИ, 1994.

10. Башмаков А.И., Башмаков И.А. Интеллектуальные информационные технологии. М.: Изд-во МГТУ им. Н.Э.Баумана, 2005.

11. Бежанишвили М.Н. Логика модальностей знания и мнения М.: КомКнига, 2006.

12. Белнап Н., Стал Т. Логика вопросов и ответов: Пер. с англ./ Под ред. В.А. Смирнова, В.К. Филина. М.: Прогресс 1981.

13. Биркгоф Г. Теория решеток: Пер. с англ. М: Наука, 1984.

14. Борисов A.B. Модель построения распределенной системы платного доступа автотранспорта// Труды международной научно-технической конференции «Информационные средства и технологии». Т.2. М.: Янус-IC, 2005.-С. 16-20.

15. Борисов A.B. Многоагентная система для учета автотранспорта. Архитектура агента// Научная сессия МИФИ-2006. Т.З. Интеллектуальные системы и технологии. М.: МИФИ, 2006. - С. 97-99.

16. Борисов A.B. Организация диалога агентов МАС с использованием модальной логики// Материалы 13-й Всероссийской межвузовской научно-технической конференции студентов и аспирантов «Микроэлектроника и информатика 2006». - М.: МИЭТ, 2006.

17. Борисов A.B., Казарицкий A.C., Куриленко И.Е. О современных подходах к построению систем учета автотранспорта. Программно-аппаратные средства// Информационные технологии в моделировании и управлении. -2005. Вып. 5 (23). - С. 636-642.

18. Борисов A.B., Кин Е.С. Современные подходы к построению систем платного доступа учета автотранспорта// Алгоритмы безопасности. 2005. - №6. - С. 63-70.

19. Борисов A.B., Куриленко И.Е. Модель временных рассуждений в распределенной системе учета автотранспорта// Информационные технологии в моделировании и управлении. 2005. -№5(23). - С. 786-794.

20. Борисов A.B., Куриленко И.Е., Хотимчук К.Ю. Модель временных рассуждений в распределенной системе платного доступа автотранспорта//

21. Труды международной научно-технической конференции «Информационные средства и технологии».-М.:Янус-К,2005.-Т.2.-С.20-24

22. Борисов A.B., Тарасов В.Б. Моделирование мнений агентов в многоагентных системах на основе четырехзначных семантик// Программные продукты и системы. Приложение к международному журналу «Проблемы теории и практики управления».-2006.-№2.-С.47-50.

23. Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Математический сборник. -1938. -Т. 4. С.287-308.

24. Бочвар Д.А., Финн В.К. О многозначных логиках, допускающих формализацию анализа антиномий// Исследования по математической лингвистике, математической логике и информационным языкам. М. Наука, 1972.-С.238-295.

25. Бочвар Д.А., Финн В.К. Некоторые дополнения к статьям о многозначных логиках// Исследования по теории множеств и неклассическим логикам. -М.: Наука, 1976.-С.265-325.

26. Вагин В.Н. Знание в интеллектуальных системах// Новости искусственного интеллекта. 2002. - № 6. - С. 8-18.

27. Вагин В.Н., Головина Е.Ю., Загорянская A.A., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. М.: Физматлит, 2004.

28. Вагин В.Н., Еремеев А.П. Конструирование интеллектуальных систем поддержки принятия решений реального времени// Интеллектуальное управление: новые интеллектуальные технологии в задачах управления

29. Труды международной конференции (1С1Т'99, Переславль-Залесский, 6-9 декабря 1999 г.).-М.: Физматлит, 1999.-С.27-32

30. Валькман Ю.Р. Моделирование НЕ-факторов: основа интеллектуализации компьютерных технологий// Новости искусственного интеллекта.- 2004-№2.-С. 64-81.

31. Варшавский В.А., Поспелов Д.А. Оркестр играет без дирижера. Размышления об эволюции некоторых технических систем и управлении ими. М.: Наука, 1984.

32. Виноградов Д.В. Корректные логические программы для правдоподобных рассуждений//Научно-техническая информация.Сер.2.-2001.-№5-С.25-28.

33. Виньков М.М. Аргументационная семантика для шаговых теорий активной логики// Труды 10-й национальной конференции по искусственному интеллекту КИИ-2006 (Обнинск, 25-28 сентября 2006 г.). М.: Физматлит, 2006.-Т. 1.-С.ЗЗ 1-338.

34. Вригт фон Г.Х. Логико-философские исследования. Избранные труды: Пер. с англ. М.: Прогресс, 1986.

35. Гаазе-Раппопорт М.Г., Поспелов Д.А. От амебы до робота: модели поведения. 2-е изд. М.: Едиториал УРСС, 2004.

36. Гетманова А.Д. Логика: Учебник для педагогических учебных заведений. -6-е изд. М.: Высшая школа, 2002.

37. Гинце A.A. Архитектура различных систем управления доступом // Бизнес и Безопасность в России. 1999, февраль, №2, с.8-9.

38. Гинце A.A. Назначение систем управления доступом // Мир Безопасности. -Ноябрь 1999. -С.46-50.

39. Гладков С.А. Фролов Г.В. Программирование в Microsoft Windows: В 2-х ч. -М.: ДИАЛОГ-МИФИ, 1992.

40. Городецкий В.И., Грушинский М.С., Хабалов A.B. Многоагентные системы(обзор)//Новости искусственного интеллекта.-1998.-№2.-С.64-116.

41. Гретцер Г. Общая теория решеток: Пер. с англ. / Под ред. Д.М. Смирнова. -М.: Мир, 1981.

42. Григолия Р.Ш., Финн В.К. Вп-алгебры и соответствующие им пропозиционные исчисления// Семиотика и информатика. Вып. 12. М.: ВИНИТИ, 1979.-С.46-52.

43. Гусакова С.М., Михеенкова М.А., Финн В.К. О логических средствах анализа мнений// Научно-техническая информация. Сер.2 2001- №5-С.4-22.

44. Дейтел Х.М., Дейтел П. Дж. Как программировать на С++ / 3-е изд. Пер. с англ. М.: "Издательство БИНОМ", 2001.

45. Дзегеленок И.И. Логика поиска проектных решений.-М.: Изд-во МЭИ, 1984

46. Еремеев А.П. Об интеграции моделей в интеллектуальных системах поддержки принятия решений// Труды 9-й национальной конференции по искусственному интеллекту КИИ-2004 (Тверь, 28 сентября-2 октября 2004 г.). М.: Физматлит, 2004. -Т.2. - С.815-823.

47. Еремеев А.П. Экспертные модели и методы принятия решений. М.: Изд-во МЭИ, 1995.

48. Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений: Пер. с англ. М.: Мир, 1976.

49. Зиновьев A.A. Очерки комплексной логики-М.: Эдиториал УРСС, 2000.

50. Ивин A.A. Логика норм. -М.:МГУ, 1973.

51. Ивин A.A. Модальные теории Яна Лукасевича. М.: ИФ РАН. - 2001.

52. Ивин A.A. Основы теории аргументации. М.: ВЛАДОС, 1997.

53. Ивин А. А., Никифоров А. Л. Словарь по логике. М.: ВЛАДОС, 1997.

54. Ивлев Ю.В. Квазиматричная логика основа теории фактических (физических) модальностей// Логические исследования. Вып.8- М.: Наука, 2001.-С.50-64.

55. Кандрашина Е.Ю., Литвинцева Л.В., Поспелов Д.А. Представление знаний о пространстве и времени в системах искусственного интеллекта. М.: Наука, 1988

56. Карпенко A.C. Логики Лукасевича и простые числа. М.: Наука, 2000.

57. Карпенко A.C. Многозначные логики. М.: Наука, 1997.

58. Карпенко A.C. Некоторые логические идеи В.А.Смирнова// Логические исследования. Вып. 10. М.: Наука, 2003. - С.61-93.

59. Карпенко A.C. Современные исследования в философской логике// Логические исследования. Вып. 5. М.: Наука, 1998. -С.7-18.

60. Клини С. К. Введение в метаматематику: Пер. с англ. М.: Изд. ИЛ. 1957.

61. Кораблин Ю.П. Семантика языков распределенного программирования/ Под ред. В.П.Кутепова. М.: Изд-во МЭИ, 1996.

62. Круглински Д., Уингоу С., Шеферд Дж. Программирование на Microsoft Visual С++ 6.0 для профессионалов: Пер. с англ. СПб.: Питер. - 2001.

63. Кузнецов О.П. Дискретная математика для инженеров. 3-е изд. СПб: Лань, 2004.

64. Кузнецов С.О. Методы теории решеток и анализа формальных понятий в машинном обучении // Новости искусственного интеллекта. 2004. - № 3. -С. 19-31.

65. Кутепов В.П. Об интеллектуальных компьютерах и болыцих копьютерных системах ноаого поколения // Изв. РАН. Теория и системы управления. -1996.- №5.-С. 97-114.

66. Ледников Е.Е. О семантике знания и мнения// Логико-философские штудии-3. СПб: Изд-во СПбГУ, 2005. - С.460-463.

67. Лещев В.А., Семенов, А.Ф, Кеменов H.A. Конюхов И.А. Агентно-ориентированная технология проектирования // Программные продукты и системы. 2006. - № 1. - С.29-23.

68. Лукасевич Я. О детерминизме // Логические исследования. Вып.2. М.: Наука, 1993.-С. 190-205

69. Любимов М.М., Собурь C.B. Пожарная и охранно-пожарная сигнализация. Проектирование, монтаж и обслуживание М.: ПожКнига, 2005.

70. Магауенов Р.Г. Системы охранной сигнализации: основы теории и принципы построения. М.: Горячая линия-Телеком, 2004.

71. Маккарти Дж., Хайес Р. Некоторые философские проблемы в задаче построения искусственного интеллекта // Кибернетические проблемы бионики. М.: Мир, 1973. - С. 40-87.

72. Максимова Л.Л., Рыбаков В.В. Решетки модальных логик// Алгебра и логиика. 1974. -№.13. - С.105-122.

73. Михеенкова М.А., Финн В.К. Анализ мнений и многоагентные системы// Труды 10-й национальной конференции по искусственному интеллекту КИИ-2006 (Обнинск, 25-28 сентября 2006 г.). Т.З. М.: Физматлит, 2006-С.902-907.

74. Нариньяни A.C. Недоопределенность в системе представления и обработки знаний//Известия АН СССР: Техническая кибернетика.-1986.-№5-С.3-28.

75. Нариньяни A.C. НЕ-факторы и инженерия знаний: от наивной формализации к естественной прагматике// Сборник трудов IY-й Национальной конференции по ИИ (КИИ-94, Рыбинск, сентябрь 1994 г.). Т.1. Тверь: АИИ, 1994.-С.9-18.

76. Нариньяни A.C. НЕ-факторы: краткое введение// Новости искусственного интеллекта. 2004. - №2. - С.52-64.

77. Непейвода H.H. Прикладная логика. Новосибирск: Изд-во НГУ, 2000.

78. Осипов Г.С. Специальные знания и синтез механизма рассуждений в задачах концептуального анализа// Известия РАН: Техническая кибернетика. 1992. - №5 - С.

79. Павлов С.А. Классификация трех- и четырехзначных логик в рамках логики ложности РЬ4// Логические исследования. Вып.З. М.: Наука, 1995. -С.98-122.

80. Павлов С.А. Логика ложности как обобщение трехзначной логики Лукасевича//Логические исследования. Вып. 5.-М.: Наука, 1998.-С.206-220.

81. Платон. Сочинения. В 3-х томах/ Под ред. В.Ф.Асмуса и А.Ф.Лосева. Т.1. -М.: Мысль, 1971.

82. Плесневич Г.С. Понятийно-ориентированные языки в инженерии знаний// Новости искусственного интеллекта. 2003. - №6. - С.3-9.

83. Плесневич Г.С., Авдошин С.М., Тарасов В.Б. Концептуальная спецификация многоагентных систем (часть 1)// Информационные технологии. 2002. - №12. - С.25-35.

84. Попов Э.В. Общение с ЭВМ на естественном языке. 2-е изд. М.: Едиториал УРСС, 2004.

85. Поппер К.Р. Объективное знание. М.: Эдиториал УРСС. - 2002.

86. Поспелов Д.А. Многоагентные системы настоящее и будущее// Информационные технологии и вычислительные системы. - 1998. - №1. -С.14-21.

87. Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов.-М.: Радио и связь, 1989.

88. Поспелов Д.А. От коллектива автоматов к мультиагентным системам// Труды Международного семинара «Распределенный искусственный интеллект и многоагентные системы» (DAIMAS'97, Санкт-Петербург, Россия, 15-18 июня 1997).-С.319-325.

89. Поспелов Д.А., Шустер В.А. Нормативное поведение в мире людей и машин,-Кишинев: Штиинца, 1990.

90. Рассел С., Норвиг П. Искусственный интеллект: современный подход: Пер. с англ. М: Вильяме, 2006.

91. Рейсдорф К. Borland С++ Builder 3. Освой самостоятельно: Пер. с англ. -М.: БИНОМ, 1999.

92. Рыбина Г.В. Приобретение знаний, содержащих НЕ-факторы// Новости искусственного интеллекта. 2004. - №2. - С.82-94.

93. Рыбина Г.В., Петухов Д.М. Модель взаимодействия интеллектуальных агентов// Труды Международной научно-практической конференции «Знание-диалог решение». Т.2 (KDS-2001, Санкт-Петербург, 19-22 июня 2001 г.).- СПб: Лань, 2001.- С.548-553.

94. Смагин C.B. Исследование и моделирование взаимодействия и самоорганизации агентов на виртуальном предприятии. Магистерская диссертация. -М.: МЭИ, 2005.

95. Смирнова Е.Д. О загадке контекстов мнения. Подход к семантике интенсиональных систем// Логические исследования. Вып.8. М.: Наука, 2001.-С. 199-209.

96. Смирнова Е.Д. Основы логической семантики. М.: Высшая школа, 1990.

97. Собоцинский В.В. Практический курс Turbo С++. Основы объектно-ориентированного программирования. -М.: Изд. Свет. 1992.

98. Специальная техника и информационная безопасность. Учебник/ Под ред. В.И. Кирина.-М., 2000.

99. Стефанюк B.JI. Локальная организация интеллектуальных систем. М.: Физматлит, 2004.

100. Страуструп Б. Язык программирования С++: Пер. с англ. Киев: ДиаСофт, 1993.

101. Таран Т.А. О разрешении конфликтов в многоагентных системах на основе аргументации// Искусственный интеллект (Доценк, Украина). 1997 - №1-2.-С.36-50.

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

103. Тарасов В.Б. Нетрадиционные и гибридные логики в моделировании интеллектуальных агентов. I. Искусственные деятели, интенциональные характеристики и пути их моделирования// Известия РАН: Теория и системы управления. 2000. - №5. - С.5-17.

104. Тарасов В.Б. От многоагентных систем к интеллектуальным организациям: философия, психология, информатика. М. Эдиториал УРСС, 2002.

105. Тарасов В.Б. От алгебраической модели Тарского к логико-семиотической матрице// Труды 9-й национальной конференции по искусственному интеллекту КИИ-2004 (Тверь, 28 сентября-2 октября 2004 г.). М.: Физматлит, 2004. - Т. 1. - С.311-322.

106. Тарский А. Введение в логику и методологию дедуктивных наук: Пер. с англ. Биробиджан: ИП Тривиум, 2000.

107. Тарский А. Понятие истины в языках дедуктивных наук. Философия и логика Львовско-Варшавской школы.-М.: РОССПЭН, 1999.- С. 19-155.

108. Тейз А., Грибомон П., Луи Ж. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с франц. М.: Мир, 1990.

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

110. Тихонов А.И., Цветков В.Я. Методы и системы поддержки принятия решений. М.: МАКС Пресс, 2001.

111. Топорков В.В. Модели распределенных вычислений.-М.: Физматлит, 2004.

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

113. Трахтенгерц Э.А. Многоагентные системы поддержки принятия решений// Теория и системы управления. 1998. -№5. -С.106-122.

114. Фейс Р. Модальная логика: Пер. с англ. М.: Наука, 1974.

115. Финн В.К. Аксиоматизация некоторых трехзначных исчислений и их алгебр// Философия в современном мире. Философия и логика. М.: Наука, 1974.-С.398-438.

116. Финн В.К. Интеллектуальные системы и общество. -М.: КомКнига, 2006

117. Финн В.К. Об интеллектуальном анализе данных // Новости искусственного интеллекта. 2004. - №3. - С. 3-18.

118. Финн В.К. Об одном варианте логики аргументации// Научно-техническая информация. Серия 2. Информационные процессы и системы. 1996. -№5-6.-С.З-19.

119. Финн В.К. Об одном классе логик аргументации // Труды 10-й национальной конференции по искусственному интеллекту КИИ-2006 (Обнинск, 25-28 сентября 2006 г.). Т.З. М.: Физматлит, 2006. - С.894-901.

120. Хинтикка Я. Семантика пропозициональных установок // Логико-эпистемологические исследования.-М.: Наука, 1980.-С.68-101.

121. Хорошевский В.Ф. Поведение интеллектуальных агентов: модели и методы реализации// Труды 4-го Международного семинара по прикладной семиотике, семиотическому и интеллектуальному управлению (ASC/IC'99). Переславль-Залесский: РАИИ, 1999. - С.5-20.

122. Шрамко Я.В. Американский план для интуиционистской логики. 1// Logical Studies (Online Journal). 2002. - №8.

123. Шрамко Я.В. Обобщенные истинностные значения: решетки и мультирешетки// Логические исследования. Вып.9. М.: Наука, 2002. -С.264-291.

124. Шуман А.Н. Философская логика: Истоки и эволюция. Мн: Экономпресс, 2001.

125. Agha G. Actors: a Model of Concurrent Computation for Distributed Systems. -Cambridge MA: MIT Press, 1986.

126. Allen J.F., Perrault C.R. Analyzing Intentions as Utterances// Artificial Intelligence. 1980.-Vol.15.

127. Avron A. A Note on the Structure of Bilattices// Journal of Mathematical Structures in Computer Science. 1995.-Vol.5.-P.431-458.

128. Belnap N. A Useful Four-Valued Logic// Modern Uses of Multiple-Valued Logic/ Ed. by J.M.Dunn and G.Epstein. Dordrecht: D.Reidel, 1977. - P.8-37.

129. Belnap N.D. How a Computer Should Think. Contemporaiy Aspects of Philosophy// Proceedings of the Oxford International Symposium, 1976.

130. Bishop M. Theft of Information in the Take-Grant Protection System // Journal of Computer Security. 1994/1995. - Vol.3(4).

131. Borkowski L., Slupecki Т., The Logical Works of J. Lukasiewicz// Studia Logica.- 1958. -Vol. 8.

132. Cohen P.R., Levesque H.J. Intention is Choice with Commitment// Artificial Intelligence. 1990. - Vol.42. - P.213-262.

133. Conflicting Agents: Conflict Management in Multi-Agent Systems/ Ed. by C.Tessier, L.Chaudron, H.-J.Müller. Dordrecht: Kluwer Academic Publishers, 2000.

134. David L. Drake, Morse K.L. The Security-Specific Eight-Stage Risk Assessments Methodology// Proceedings of the 17th National Computer Security Conference, 1994.

135. Delgrande J.P., Mylopoulos J. Knowledge Representation: Features of Knowledge// Fundamentals of Artificial Intelligence/ Ed. by W. Bibel and Ph. Jorrand. Berlin: Springer-Verlag, Berlin, 1986. - P.3-36.

136. Dunn J.M. An Intuitive Semantics for First Degree Entailment and Coupled Trees// Philosophical Studies. -1976. Vol.29. - P.149-168.

137. Dunn J.M. Partiality and its Dual// Studia Lógica 2000.- Vol.66. - P.225-256.

138. Dunn J.M., Hardegree G. Algebraic Methods in Philosophical Logic. Oxford: Oxford University Press, 2001.

139. Fagin R., Halpern J.I. Belief, Awareness and Limited Reasoning// Artificial Intelligence. 1988. - Vol.34. - P.39-76.

140. Fitting M. Bilattices and the Theory of Truth // Journal of Philosophical Logic 1989.-Vol.18.-P.225-256.

141. Fitting M. Kleene's Logic, Generalized// Journal of Logic Computation. 1991. - Vol.1.-P.797-810.

142. Fitting M. Kleene's Three-Valued Logics and Their Children // Fundamenta Informaticae. 1994. - № 20. - P. 113-131.

143. Font J. M. Belnap's Four-Valued Logic and De Morgan lattices// Logic Journal of the I.G.P.L. 1997. - Vol.5. - P.413-440.

144. Fraassen Van B. Presuppositions and Free Logic// The Logical Way of Doing Things/ Ed. by K.Lambert K. Yalle: Yalle University Press, 1969.

145. Genesereth M., Nilsson N. Logical Foundations of Artificial Intelligence. New York: Morgan Kaufmann, 1987.

146. Georgeff M.P., Rao A.S. BDI Agents: From Theory to Practice// Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95)/ Ed. by V.Lesser. AAAI Press/The MIT Press, 1995. - P.312-319.

147. Ginsberg M. Multivalued Logics: a Uniform Approach to Reasoning in Artificial Intelligence//Computational Intelligence. 1988. -Vol.4.- P. 265-316.

148. Haddadi A. Communication and Cooperation in Agent Systems: A Pragmatic Theory. Berlin: Springer Verlag, 1996.

149. Hewitt C. Viewing Control Structures as Patterns of Passing Messages// Artificial Intelligence. 1977. - Vol.8, №3. - P.323-364.

150. Hintikka J. Knowledge and Belief. London: Cornell Press, 1962.

151. Hughes G.E., Cresswell M.J. A New Introduction to Modal Logic. London: Routledge, 1996.

152. Konolige K., Pollack M. A Representationalist Theory of Intention//Proceedings of the 13th International Joint Conference on Artificial Intelligence (Chambery, France, 1993). Vol.1-P.390-395.

153. Kracht M. Tools and Techniques in Modal Logics. Amsterdam: Elsevier Science Publishers, 1999.

154. Lukasiewicz J. On Three-Valued Logic// Selected Works/ Ed. by I.Barkowsky.- Oxford: Oxford University Press, 1970. P. 87-88.

155. Maes P. Agent That Reduces Work and Information Overload//Communications of the ACM. 1994. -Vol.37. - №7.

156. Minker J. Introduction to Logic-Based Artificial Intelligence// Logic-Based Artificial Intelligence/ Ed. by J.Minker. Dordrecht: Kluwer Academic Publishers, 2000.

157. Nwana H. Software Agents: an Overview//The Knowledge Engineering Review.- 1996. -Vol.11, №3. P.205-244.

158. Prior A.N. Many-Valued and Modal Systems: An Intuitive Approach// The Philosophical Review. 1955. - Vol 64. - P.626-630.

159. Pynko A.P. Characterizing Belnap's Logic via De Morgan's Laws // Mathematical Logic Quarterly. 1995. - Vol.41. - P.442-454.

160. Quine W.V. Philosophy of Logic. New York: Englewood Clifs, 1986.

161. Rescher N. An Intuitive Interpretation of Systems of Four-Valued Logic// Notre Dame Journal of Formal Logic. 1965. - Vol IV, №2. - P. 154-156.

162. Rescher N. Many-Valued Logic. New York: McGraw-Hill Book Company, 1969.

163. Restall G. Four-Valued Semantics for Relevant Logics (and Some Their Rivals)//Journal of Philosophical Logic. 1995. - Vol.24, №2. - P. 139-160.

164. Russo A. A Translation Method for Belnap Logic. Imperial College Research Report DoC 98/7

165. Scott D. Continuous Lattices, Toposes, Algebraic Geometry and Logic// Lecture Notes in Mathematics// Ed. by Lawvere. Berlin: Springer-Verlag, 1972. - P. 97-136.

166. Scott D. Scott, D.S. Lattice Theoretic Models for Various Type-Free Calculi// Proceedings of the 4th International Congress in Logic, Methodology and the Philosophy of Science. Bucharest, 1972.

167. Sellars W. Some Problems about Belief// Synthese. 1968. - Vol.19. -№1-2. -C.158-177.

168. Shoham Y. Agent Oriented Programming//Artificial Intelligence—1993.-Vol.60, №l.-P.51-92.

169. Slupecki J., Bryll G., Prucnal T. Some Remarks on Three-Valued Logic of J. Lukasiewicz // Studia Logica. 1967. - Vol. 21. - P.51-54.

170. Snow P. Belief, Logic and Partial Truth// Computational Intelligence. -2003. -Vol. 19/ №2k> - C.204-221.

171. Turner E. Logics for Artificial Intelligence. Chichester: Ellis Norwood, 1984.

172. Weber S. Investigations in Belnaps Logic of Inconsistent and Unknown Information. 1999.

173. Wojcicki R. On Matrix Representation of Consequence Operations of Lukasiewicz's Sentential Calculi // Selected Papers on Lukasiewicz Sentential Calculi/ Ed. by R. Wojcicki. Warshawa.: Wydawnictwo Polskiej Akademii Nauk, 1977.-P. 101-112.

174. Wooldridge M. Reasoning About Rational Agents. Cambridge MA: The MIT Press, 2000.

175. Wooldridge M., Jennings N.R., Kinny D. The Gaia Methodology for Agent-Oriented Analysis and Design// Autonomous Agents and Multi-Agent Systems. Dordrecht: Kluwer Academic Publishers, 2000. - Vol. 3. - P. 285-312.

176. Wright von G.H. An Essay in Modal Logic. Amsterdam: North-Holland Publishing Company, 1951.

177. Zambonelli F., Jennings N.R., Wooldridge M. Developing Multiagent Systems: The Gaia Methodology // ACM Transactions on Software Engineering Methodologies. 2003. - Vol. 12. - P. 317-370.