Разработка методик формализации и обработки знаний о воздушном противнике с учетом неопределенности информации для информационно-расчетной подсистемы штаба Сил ПВО тема диссертации и автореферата по ВАК РФ 20.02.12, кандидат технических наук Гурко, Андрей Владимирович

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

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

СОДЕРЖАНИЕ

ВВЕДЕНИЕ

I. АНАЛИЗ СОСТОЯНИЯ РАБОТ В ОБЛАСТИ АВТОМАТИЗАЦИ РЕШЕНИЯ ОПЕРАТИВНО-ТАКТИЧЕСКИХ ЗАДАЧ ОЦЕНКИ ВОЗДУШНОГО ПРОТИВНИКА В ШТАБЕ СИЛ ПВО С УЧЕТОМ НЕОПРЕДЕЛЕННОСТИ ИНФОРМАЦИИ.

1.1. Анализ процесса оценки воздушного противника при планировании боевых действий в штабе Сил ПВО.

1.2. Анализ информации, используемой при решении задачи оценки воздушного противника.

1.2.1. Классификация признаковой информации о воздушном противнике.

1.2.2. Виды неопределенности в исходной информации о воздушном противнике.

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

1.3. Определение требований к специальному математическому обеспечению для решения оперативно-тактических задач в штабе Сил ПВО.

1.3.1. Анализ существующего специального математического обеспечения

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

1.3.2. Требования, предъявляемые к СМО для решения оперативно-тактических задач с использованием перспективной ЙРП штаба Сил ПВО.

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

1.4Л. Анализ существующих методов формализации задач принятия решений.

1.4.2. Представление задачи оценки воздушного противника сложной системой.

1.4.3. Система представления знаний в ЙРП штаба сил ПВО и требования, предъявляемые к ней.

1.5. Предмет и границы исследования.

1.6. Постановка задачи исследования.

ВЫВОДЫ

2. РАЗРАБОТКА МОДЕЛИ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ В ЙРП ШТАБА СИЛ ПВО.

2.1. Разработка методики формализации знаний о процессах решения оперативно-тактических задач.

2Л.1. Недостатки существующих подходов и требования к методам формализации оперативно-тактических задач оценки воздушного противника.

2.1.2. Структура концептуальной модели знаний предметной области.

2.1.3. Методика формализации оперативно-тактических задач оценки воздушного противника.

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

2.2.1. Модель задачи принятия решений при оценке воздушного противника.

2.2.2. Структура модели возможностей.

2.2.3. Компоненты модели динамической системы.

2.3. Построение моделей динамических объектов предметной области.

2.3.1. Описание объектов предметной области.

2.3.2. Модели переходов и действий динамического объекта.

2.3.3. Формализация состояний динамического объекта.

2.3.4. Модель связей динамических объектов.

2.3.5. Формирование модели взаимодействия объектов.

2.4. Методика построения модели возможностей противника.

- ь

ВЫВОДЫ.

3. РАЗРАБОТКА МЕТОДИКИ И АЛГОРИТМОВ ОЦЕНКИ ЗНАЧЕНИЙ МОДУСА ПРИСУТСТВИЯ ОБЪЕКТОВ ПРЕДМЕТНОЙ ОБЛАСТИ.

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

3.2. Метод логического вывода оценок присутствия объектов предметной области.

3.2.1. Требования к методу оценок значения модуса присутствия объектов предметной области.

3.2.2. Обзор известных подходов к поиску решений в планирующих системах.

3.3. Оценка значения модуса присутствия объектов предметной области.

3.3.1. Формирование синтаксической оценки формул объектов предметной области.

3.3.2. Формирование внутренности и замыкания топологического описания объектов предметной области.

3.3.3. Интерпретация и оценка значения модуса присутствия правильно построенных формул объектов.

3.4. Количественная оценка неопределенности присутствия объектов в предметной области.

3.4.1. Методика проведения экспертизы для формирования количественной информации об объектах предметной области.

3.4.2. Количественная оценка объектов предметной области.

3.5. Методика оценки значения модуса присутствия объектов предметной области на основе логико-категорного подхода.III

ВЫВОДЫ

4. ПРИМЕР ФОРМАЛИЗАЦИИ И ОЦЕНКА ЭФФЕКТИВНОСТИ ПРИМЕНЕНИЯ РАЗРАБОТАННОГО НАУЧНО-МЕТОДИЧЕСКОГО АППАРАТА.

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

4 Л Л. Построение модели объекта предметной области.

4Л.2. Построение модели переходов и действий объекта предметной области.

4Л.З. Построение модели состояний объекта предметной области

4 Л .4. Построение моделей связи и взаимодействия объектов предметной области.

4Л.5. Оценка значения модуса присутствия объектов предметной области.

4Л.6. Количественная оценка неопределенности значения модуса присутствия объекта предметной области.

4.2. Оценка эффективности разработанных методик формализации? обработки знаний о воздушном противнике.

4.2Л. Оценка потребных вычислительных ресурсов.

4.2.2. Оценка функциональных свойств разработанных методик.

4.2.3. Оценка технологических свойств разработанных методик.

4.3. Оценка вычислительной сложности алгоритма оценки значения модуса присутствия объектов предметной области.

4.4. Перспективы применения интеллектуальной системы планирования боевых действий для ЙРП штаба Сил ПВО.

ВЫВОДЫ. Л

Введение диссертации (часть автореферата) на тему «Разработка методик формализации и обработки знаний о воздушном противнике с учетом неопределенности информации для информационно-расчетной подсистемы штаба Сил ПВО»

В настоящее время совершенствование ПВО является одной из важных задач военного строительства вооруженных сил. Одним из решающих условий успешных действий сил и средств ПВО является тщательная и своевременная оценка воздушного противника, выполняемая с использованием СМО ИРП штаба Сил ПВО в ходе планирования противовоздушной операции (боевых действий) /45/.

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

Использование при решении ОТ-задач ОВП количественных методов, численных математических моделей ограничивает возможности по созданию алгоритмов, адекватно отражающих процессы протекающие в физической реальности, порождает информационную разобщенность ЭВМ и человека-оператора, является причиной недоверия со стороны ЛИР к результатам, полученным на ЭВМ.

Большая часть этапов логико-аналитической деятельности ЛПР в ходе планирования и управления не обеспечивается средствами автоматизации, что приводит в условиях дефицита времени на принятие решений к уменьшению глубины анализа ситуаций, снижению качества принимаемых решений. Характерным примером данного положения является современный уровень автоматизации этапа ОВП, при котором непроизводительные потери времени офицером штаба, связанные со сбором анализом и обобщением данных о сложившейся обстановке, составляет до 65-70 ъ от общих временных затрат при выработке рекомендаций /39/.

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

Таким образом, имеется существенное противоречие между требованиями к качеству принимаемых решений при ОБП и возможностями существующего СМО ИРП штаба Сил ПВО по удовлетворению этих требований.

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

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

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

Работа состоит из введения, четырех разделов, заключения и 3-х ггг^тт П $ АНИЙ .

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

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

В втретьем разделе представлены: описание логики функционирования ЙСПВД и методика оценки значений МП объектов ПО.

В четвертом разделе описывается пример формализации частной 0Т-задачи , оцениваются показатели эффективности СМО, приводится оценка сложности алгоритма оценки значения МП объектов ПО, рассматриваются перспективы применения ИСПВД для ЖРП штаба Сил ПВО.

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

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

Результаты исследований, проведенные в работе, использованы в научно-исследовательских экспериментальной работе "Удар", опытно-конструкторских работах "Узел", "Венец" при создании СМО изделий 85Н6-У и 85Н6-В для интеллектуальной системы обработки и анализа разведывательной информации разведывательно-информационного центра КП Сил ПВО Украины, докладывались на межведомственном семинаре по проблемам повышения боевых и эксплуатационных характеристик систем и вооружений (1993 г.), опубликованы в четырех статьях, семи тезисах докладов, шести НИР.

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

1. Разработана методика формализации знаний о процессах решения ОТ-задач с учетом неопределенности информации.

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

2. Разработана методика построения модели возможностей воздушного противника.

Научная новизна данной методики заключается в возможности, в отличии от известных методик, описывать модели возможностей противоборствующих сторон как совокупность взаимодействующих между собой объектов; формализовать объекты на основе их существенных свойств (признаков) в трех аспектах: пространственном, временном, функциональном; представлять динамические свойства ПО и объектов через модели состояний, переходов и действий.

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

3. Разработана методика оценки значений МП объектов ПО, пред

- 11 ставленных формулами аксиоматических теорий.

Научная новизна данной методики заключается в возможности, в отличии от известных методик, использовать четырехзначную оценку (присутствует, отсутствует, неопределено, противоречиво), дополненную количественной оценкой, которая характеризует состояния объектов в условиях неопределенности.

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

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

4. Проведена формализация задачи ОВП на примере задачи оперативного построения СВН в первом МАУ. Проведена оценка эффективности предложенных алгоритмов. Осуществлена оценка сложности разработанных алгоритмов оценки МП объектов ПО. Предложены рекомендации по использованию разработанных методик.

По результатам проведенных исследований на защиту выносятся следующие положения:

1. Методика формализации оперативно-тактических задач оценки воздушного противника.

2. Методика построения модели возможностей воздушного противника.

3. Методика оценки значений модуса присутствия объектов предметной области.

I. АНАЛИЗ СОСТОЯНИЯ РАБОТ В ОБЛАСТИ АВТОМАТИЗАЦИИ РЕШЕНИЯ

ОПЕРАТИВНО-ТАКТИЧЕСКИХ ЗАДАЧ ОЦЕНКИ ВОЗДУШНОГО ПРОТИВНИКА В ШТАБЕ СИЛ ПВО С УЧЕТОМ НЕОПРЕДЕЛЕННОСТИ ИНФОРМАЦИИ

Заключение диссертации по теме «Военная кибернетика, системный анализ, исследование операций, моделирование боевых действий и систем военного назначения (в том числе по видам Вооруженных Сил, родам войск и специальным войскам)», Гурко, Андрей Владимирович

ВЫВОДЫ

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

2. Рассмотренный пример формализации знаний и логического вывода оценок присутствия формул в процессе построения программы решения частной ОТ-задачи оценки противника показал возможность и целесообразность использования разработанных методик формализации знаний и оценки значения МП объектов ПО, а также двухуровневого планирования при автоматизации процесса решения ОТ-задач в целом.

2. Разработку программного обеспечения, реализующего предлагаемые методики и алгоритмы, целесообразно производить методом объектно - ориентированного проектирования. Использование данного метода позволяет: справиться со сложностью, присущей математическому обеспечению информационной подсистемы АСУ ПВО; получить выигрыш в технологических свойствах, присущих предлагаемым методикам формализации и обработки знаний с учетом неопределенности информации ПО.

3. Анализ эффективности применения ЙСПБД для решения ОТ-задач, по сравнению с существующими подходами (использование календарного

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

4. Интеллектуальная система ЙСПБД может быть использована при создании модернизированной или перспективной №11 Сил ПВО в рамках концепции единой АСУ Сил ПВО. Это позволит реализовать единое планирование операций и боевых действий, более эффективно использовать силы и средства Сил ПВО. Возможным прототипом ЙСПБД может являться комплекс программ для разработки и сопровождения штабных математических моделей и расчетных задач, реализующий основные принципы формализации и обработки знаний в ЙСПБД для перспективной ЙРП штаба Сил ПВО.

ЗАКЛЮЧЕНИЕ

В диссертационной работе выполнены исследования по разработке научно-методического аппарата для представления и обработки знаний в ЭВМ на основе совершенствования аксиоматического подхода к формализации и решению ОТ-задач оценки воздушного противника, имеющих рас-четно-логический характер и не поддающихся формализации на базе количественных математических методов, при планировании операций в штабе Сил ПВО.

В рамках поставленной задачи решались вопросы создания методик формализации и обработки знаний в ЙСПБД с учетом неопределенности информации о воздушном противнике; методики формализации знаний о процессах решения ОТ-задач ОВП; методики построения МВ воздушного противника; методики и алгоритмов оценки значения МП объектов ПО; анализа эффективности разработанных методик для выработки офицерами штаба предложений при решении ОТ-задач в сравнении с известными подходами .

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

1. Проведенный анализ особенностей ОТ-задач ОВП и ЛАД офицеров штаба Сил ПВО показал, что повышение качества и оперативности вырабатываемых офицерами штаба предложений при планировании операции возможно путем совершенствования существующего и разработки нового СМО ЙРП на основе использования, наряду с математическими, логико-лингвистических моделей знаний. Выявленные особенности знаний и данных, используемых при решении ОТ-задач, позволили определить подход к формализации этих знаний.

2. Получен вывод, что в качестве формальной основы для построения ЙСПБД следует выбрать аксиоматический пода од при условии его расширения формальным аппаратом, позволяющим учитывать неопределен

- ! -1 ность и противоречивость в знаниях и данных. Использование аксиоматического подхода к представлению знаний предполагает построение формальных теорий ПО в рамках конструктивной формальной системы.

3. Проведенный анализ формальных систем показал малопригодноеть для представления знаний о широком круге ОТ-задач ОВП известных логических исчислений в силу их неконструктивности и экстенсиональной теоретико-множественной основы.

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

4. В качестве основы логического исчисления используется новый формально-логический аппарат, разработанный под руководством доктора технических наук, профессора Ярушека В.Е. - интенсиональное исчисление присутствия. Исчисление присутствия предоставляет широкие возможности для описания связей по присутствию между объектами, их свойствами и атрибутами в ПОи. Многозначность исчисления позволяет учитывать неопределенность и противоречивость знаний.

5. Разработана методика формализации знаний о процессах решения ОТ-задач ОВП, основанная на использовании концептуальной модели знаний о ПО и логическом исчислении присутствия.

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

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

6. Разработана методика построения модели возможностей воздушного противника.

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

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

7. Разработана методика оценки значений МП объектов ПО, использующая четырехзначную качественную оценку в виде константных значений "присутствует", "отсутствует", "неопределено", "противоречиво" и дополненную методом формирования количественной оценки присутствия объекта в ПО при получении качественной оценки "неопределено".

Научная новизна состоит в усовершенствовании метода качественной оценки способом формирования количественной оценки присутствия объектов ПО.

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

9. Проведена сравнительная оценка полноты и достоверности разработанных методик с использованием ЙСПБД и существующих известных подходов к планированию решения ОТ-задач ОВП в штабе Сил ПВО. Расчеты показали, что применение ЙСПБД позволит улучшить достоверность -в I.4- 2.4 раза.

Проведена оценка сложности разработанных алгоритмов оценки значения МП объектов ПО, сделан вывод о возможности использования данных алгоритмов для проведения логического вывода в ЙСПБД.

10. Результаты диссертационных исследований целесообразно использовать при создании СМО для модернизированной или перспективной ИРП Сил ПВО в рамках концепции единой АСУ Сил ПВО. Показаны преиму т 140 х^О щества такого подхода.

Результаты диссертационных исследований использованы: в Украинском РТИ при разработке эскизного проекта комплекса средств автоматизации системной обработки и анализа информации для разведывательно-информационного центра главного КП Сил ПВО Украины в части построения подсистемы поддержки принятия решений.

Практическая значимость диссертационной работы определяется возможностью использования результатов исследований при создании СМО .для ЙРП штабов Сил ПВО, АСУ войсками различного уровня и разработке интеллектуальных систем военного назначения.

Исследования, проведенные в диссертации, выполнены соискателем в рамках НЙОКР "Венец","Узел", ЕИЭР "Удар", НИР "Витание", "Премьера-!", "Гаспра", которые являлись частью плановых НИР военного университета, проведенных в период 1992 - 1994 годов.

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

1. Виркгоф Г. Теория решеток/Пер. с англ. -М.: Наука Л 984. -568с.

2. Вукур И., Деляну А. Введение в теорию категорий и функторов.-М.: Мир Л 972.

3. Вагин В.Н. Дедукция и обобщение в системах принятия решений.- М.: Наука, 1988.

4. Герасимов В.М. и др. Человеко-машинные системы принятия решений с элементами искусственного интеллекта. Киев, Наукова думка, 1993.-184с.

5. Гладун В.П. Планирование решений.-Киев: Наукова думка, 1987.

6. Голдблатт Р. Топосы. Категорный анализ логики.-М.:Мир/, 1983.

7. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. -М.: Мир/, 1981. 368 с.

8. Дмитриев А.П. Методология и методы военного исследования.-М., 1973.- 176 с.

9. Дюбуа Д., Прад А. Теория возможностей. Приложения к представлению знаний в информатике/ Пер. с фр.- М.: Радио и связь, 1990.

10. Заде Л.А. Основы нового подхода к анализу сложных систем и процессов принятия решений// Математика сегодня: Пер. с англ.- М.: Знание, 1974.- с.5 48.

11. Кандрашина Е.Ю., Литвинцева Л.В., Поспелов Д.А. Представление знаний о времени и пространстве в интеллектуальных системах/Под ред. Д.А. Поспелова.-М.:Наука,I992.-328с.

12. Кахро М.й. и др. Инструментальная система программирования ЕС ЭВМ (ПРИЗ)/ 2-е изд.- М.:Финансы и статистика, 1988.- 181с.

13. Клир Дж. Системология. Автоматизация решения системных задач: Пер. с англ. М.: Радио и связь, 1990.

14. Козелецкий Ю. Психологическая теория решений.- М.: Прогресс, 1979.- 504 с.

15. Кондаков Н.й. Логический словарь- справочник/ Втор. испр. и доп. изд.- М.: Наука, 1975.- 717 с.

16. Кофман А. Введение в теорию нечетких множеств/ Пер. с франц. В.-Э. Кузьмина.- М.: Радио и связь, 1982.- 432 с.

17. Крогиус Н.В. К психологии конфликтной деятельности/ Искусственный интеллект и психология.- М.: Наука, 1976.

18. Липаев В.В. Проектирование программных средств/ Учебн. по-соб. для вузов.- М.: Высш.шк.,I990.- 303с.

19. Липаев В.В. Качество программного обеспечения.- М.: Финансы и статистика, 1983.- 264 с.

20. Логико-лингвистические модели в военных системных исследованиях// -М: Военное издательство, 1988, 232с.

21. Неупокоев Ф.К. Противовоздушный бой.- М.: Воениздат, 1989

22. Нильсон Н. Принципы искусственного интеллекта.- М.: Радио и связь, 1985.

23. Попов Э.В. Экспертные системы: Решение неформализованных задач в диалоге с ЭВМ.- М.: Наука, 1987.- 288 с.

24. Поспелов Д.А. Логико-лингвистические модели в системах управления.- М.: Энергоатомиздат, 1981.

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

26. Саати Т., Керис К. Аналитическое планирование. Организация систем: Пер. с англ.- М.: Радио и связь, 1991.- 224 с.

27. Тыугу З.Х. Концептуальное программирование.-М.:Наука, 1984.

28. Теория прогнозирования и принятия решений//По редакцией С.А.Саркисяна. -М:Высшая шкода,1977.351 с.

29. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем /Пер. с англ.- М„: Наука, 1983.- 360 с.1. TÄT

30. Ярушек B.E. Теоретические основы автоматизации процессов выработки решений в войсках'ПВО.- Харьков:ВЙРТА ПВО, 1987.- 324 с.

31. Ярушек В.Е. и др. Теоретические основы автоматизации процессов выработки решений в системах управления. Харьков: ХВУ, 1993.- 446 с.

32. Выявление экспертных знаний (процедуры и реализации)/ О.И. Ларичев и др.- М.: Наука, 1989.- 128с.

33. Искусственный интеллект: В 3-х кн. Кн.1. Системы общения и экспертные системы: Справочник/Под ред. Э.В.Попова.- М.: Радио и связь, 1990.- 464с.

34. Искусственный интеллект: В 3-х кн. Кн.2. Модели и методы: Справочник/Под ред. Д.А.Поспелова.-М.:Радио и связь, I990.- 304с.

35. Нечеткие множества и теория возможностей. Последние достижения/ Пер. с англ.; Под ред. Р. Р. Яг ера.- М.: Радио и связь, 1986.

36. Обработка нечеткой информации в системах принятия решений/ А.Н. Борисов, A.A. Алексеев, Г.В. Меркурьева и др.- М.: Радио и связь, 1989.

37. Основы теории управления войсками/ Под ред. П.К. Алтухова.-Воениздат, 1984.

38. Представление знаний в человеко-машинных и робототехничес-ких системах. Том. А. Фундаментальные исследования в области представления знаний /Под ред. Д.А.Поспелова.- М.: ВЦ АН СССР, ВИНИТИ, 1984.- 262 с.

39. Проблемы программно-целевого планирования и управления/ Под- T pf> ред. Г.С. Поспелова.- М.: Наука, 1981.

40. Программное обеспечение для систем военного назначения США (состояние, перспективы, проблемы производства>.-М.:НМИЗР,I983,.ДСП.

41. Экспертные системы: состояние и перспективы/ Сб. научн. трудов; Под ред. Д.А.Поспелова.- М.: Наука, I989.

42. Бакаев A.A. и др. Оболочка экспертной системы со смешанной стратегией вывода// Препринт АН УССР, инт-т кибернетики,1990

43. Бакаев A.A. и др. Интервальный вероятностный пода од к работе с неопределенностями в ВЗ//УС и М №4, Киев,1990 г.

44. Ж. Сухаревский И.В. Элементы топологии // Конспект лекций. Харьков: ВЙРТА ПВО, 1991.

45. Ярушек В.Е. Метод представления знаний в системах искусственного интеллекта //Искусственный интеллект в системах управления: Науч.-метод. материалы. Часть I.- Харьков: ВЙРТА ПВО, 1988, ДСП.

46. Ярушек В.Е. Представление и обработка знаний в ИИУС на основе категорией логики/ Военно-техн. труда академии. Выл Л. 4.2. -Харьков: ВИРТА ПВО, 1990, с. 129-138,секретно.

47. Ярушек В.Е., Прохоров В.П. Применение логики присутствия в интеллектуальных шформаыионно-управляющих системах//! Всес. конф. "Искусственный интеллект- 90".- Минск:I990., с.I98-202.

48. S- Shlaer. S.J.Mellor. Object-Oriented System Analysis:

49. MoDELLLING world in data„ prentece hall. Englewood cliffs. 1988.

50. G.Booch. On the Concepts of Object-Oriented Desifn-' TutirialSa for oopsla'88: Sptcification and Disign Methodologies in Support of Object-Oriented Programming, Ntw York. 1988.

51. G.Booch. Object-Jriented Design with Applications-' Behjamin/Cummings Publishing Compfny6 Redwood City. Califf. 1990.