автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.12, диссертация на тему:Сетевые модели оперативного управления процессом принятия решений в САПР

Введение.

Глава 1. Управление в процессах принятия решений.

1.1. Поиск и построение рациональных методик принятия решений.

1.2. Вопросно-ответная структуризация проектной деятельности.

1.3. Прикладные вопросно-ответные модели проектной деятельности.

1.4. Аналитический обзор.

1.5. Методы и средства повышения эффективности вопросно-ответных действий в актах принятия решений.

1.6. Мотивационно-целевая модель исследований.

1.7. Постановка задачи.

1.8. Выводы по первой главе.

Глава 2. Формализация сетевых моделей вопросно-ответного процесса.

2.1. Задача выбора в QA - рассуждениях.

2.2. Графовое представление вопросно-ответного процесса QA(t).

2.3. Свойства и характеристики актов принятия решений, сопровождающих проектную деятельность.

2.4. Вопросно-ответная событийная сеть.

2.5. Вопросно-ответный сетевой график.

2.6. Вопросно-ответная сеть Петри.

2.7. Выбор очередного шага ПНР с использованием QA-сетевых моделей.

2.8. Выводы по второй главе.

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

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

3.2. Проецирование динамики развития проекта на Q A-событийную сеть.

3.3. Анализ динамики ППР и прогнозирование на QA-сетевом графике.

3.4. Имитация процесса проектирования на QA-сети Петри.

3.5. Методики выбора из фронта работ.

3.6. Выводы по третьей главе.

Глава 4. Инструментальная система оперативного управления процессом принятия решений.

4.1. Архитектура вопросно-ответного процессора WIQA.

4.1.1. Обобщенная схема системы WIQA.

4.1.2. Обобщенная схема подсистемы сетевого анализа системы WIQA.

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

4.2.1. Система WIQA.

4.2.2. Подсистема сетевого анализа.

4.3. Методика оперативного управления QA-процессом в системе WIQA.

4.4. Применение системы WIQA в процессе проектирования.

4.5. Выводы по четвертой главе.

Область исследований и их актуальность.

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

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

Исследования и разработки ИИ демонстрируют, что в порождении опыта и взаимодействии с ним (и его моделями) принципиальна роль рассуждений, проводимых в вопросно-ответной форме (интервьюирование экспертов, вопросно-ответные взаимодействия с пользователем ЭВМ). Вопросно-ответные рассуждения обслуживают специальный тип управления "по образцу" и вводят в такое управление вопросно-ответн>то составляющую.

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

Разработки и исследования методов и средств оперативного информационного взаимодействия проектировщика с БДП САПР, осуществляемого в формах понятийной деятельности [113], нацеленного на

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

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

В настоящее время на рынке программного обеспечения нет систем, ориентированных на использование QA-рассуждений в САПР. В то же время, на кафедре «Вычислительная техника» Ульяновского государственного технического университета накоплен большой опыт исследований в области принятия решений, основанных на QA-рассуждениях и, в частности, разработан динамический вопросно-ответный процессор WIQA (Working In Questions and Answers), предназначенный для оперативного протоколирования и ведения баз информационной поддержки проекта в вопросно-ответной форме, который выбран в качестве базового программного средства для реализации методик оперативного управления процессом принятия проектных решений.

Актуальность исследований в данной области обусловлена: • существенной зависимостью работ, проводимых в рамках проектной деятельности (ПД) от логики и динамики ПНР, сопровождающих пд;

• недостаточным количеством знаний о динамике Ш IP и, в первую очередь, оперативном управлении вопросно-ответным процессом Ш IP (QA-процессом);

• расширяющейся «интеллектуализацией» САПР в части автоматизации ПНР.

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

Процесс оперативного документирования хода проектной деятельности в вопросно-ответном стиле (вопросно-ответный процесс) выбран в качестве объекта исследований диссертационной работы.

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

Предмет исследований

Построения сетевых моделей QA-рассуждений и их применения в оперативном управлении процессами ПНР определили предмет исследований диссертационной работы.

Основные иели

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

1. Исследование событийной сущности ППР и интерпретация вопросно-ответных протоколов (специфического типа протоколов проектной деятельности) в виде сети событий.

2. Исследование динамики ППР и интерпретация вопросно-ответных протоколов в виде комплекса взаимосвязанных работ.

3. Исследование логики и характера вопросно-ответных действий ППР и интерпретация вопросно-ответных протоколов в виде сети Петри.

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

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

6. Разработка инструментальных средств, реализующих методику оперативного управления ППР.

Задача исследований

Целостность исследований связана с решением следующей задачи:

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

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

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

Метод исследований

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

Научная новизна

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

Практическая иенность

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

Достоверность

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

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

Апробация работы

Основные результаты работы докладывались и обсуждались на 2-й международной конференции «Интерактивные системы: Проблемы человеко-компьютерного взаимодействия» (Ульяновск, 1997), всероссийской межвузовской конференции «Микроэлектроника и информатика» (Москва, 1998), 3-й международной конференции «Интерактивные системы: Проблемы человеко-компьютерного взаимодействия» (Ульяновск, 1999), на ежегодных НТК Ульяновского государственного технического университета, а также нашли отражение в 14 публикациях (тезисы и статьи).

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

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

В третьей главе вырабатывается подход к построению системы правил выбора очередного шага рА-процесса ПНР как системы продукций, выявляются предпосылки и критерии сравнения актов принятия решений, значимых с точки зрения предпочтений ЛИР. Предлагается и обосновывается методика оперативного управления РА-рассуждениями в процессе ППР, приводится описание системы правил выбора, а также методики использования продукционных правил при различных подходах к проектированию. Реализация методики исходит из построения и оперативного применения прикладных моделей вопросно-ответного процесса 0А(1) (QA-coбытийнoй сети, QA-ceтeвoгo графика и рА-сети Петри) в контексте процесса ППР.

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

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

В приложениях

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

4.5. Выводы по четвертой главе.

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

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

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

• процедуры и функции преобразования QA-структур, полученных в ходе работы с регистратором процессора WIQA, в их сетевые представления;

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

• систему команд, обеспечивающую исполнение специфичных для каждой сетевой модели действий;

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

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

5. Комплексирование системы WIQA с программными компонентами процесса проектирования - задействованными в этом процессе САПР -следует связать с внедрением (связыванием) документов САПР в информационное содержание отдельных единиц вопросно-ответных рассуждений. В рамках данной работы осуществлена адаптация системы WIQA к процессу проектирования с участием САПР AutoCAD и КОМПАС.

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

ЗАКЛЮЧЕНИЕ.

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

На научную новизну претендуют:

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

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

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

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

• возможность персонализации подхода к процессу 111 IP посредством составления различных вариантов наборов продукционных правил выбора очередного шага проектирования, соответствующих различным сценариям 111 IP (траекториям проектирования);

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

• автоматизация вопросно-ответного процесса, сопровождающего процесс проектирования, и возможность проведения экспериментов над вопросно-ответными методиками (сценариями) с целью оптимизации процесса 111 IP (эффект достигается применением QA-сетей Петри);

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

Вопросно-ответные процессы, позволяющие учитывать и синтетическую, и аналитическую составляющиеА деятельности, имеют хорошие перспективы применения в различных сферах (не только САПР и ЭС) для реализации типов взаимодействия как «человек-компьютер», так и «человек-человек». Расширение сфер применения влечет за собой и необходимость увеличения количества методик и вспомогательного инструментария (ПО) для осуществления такого рода взаимодействий. В настоящее время на рынке ПО не существует систем, ориентированных на использование вопросно-ответных методик протоколирования деятельности, поэтому в качестве основных объектов для сравнения четвертой версии вопросно-ответного процессора WIQA выбраны управляющие программные системы. Главным качественным отличием от них системы WIQA является именно подход к оперативному документированию проектной деятельности.

В процессе разработки практической части диссертационной работы автор ознакомился с программными средствами, предназначенными для решения задач управления сложно-структурированными процессами. Сравнительный анализ показал, в частности, что большинство профессиональных систем управления проектами осуществляют составление сценариев (календарных планов) проектирования, с учетом как временных ресурсов на каждую работу, так и ресурсов (материальных и трудовых), выделенных на весь проект в целом и требующихся для выполнения каждой работы в отдельности. Все имеющиеся системы управления проектами предназначены для составления и утверждения плана, основанного на типовых методиках проектирования (производства, принятия управленческого решения и т. п.), что делает невозможным их применение на стадии концептуального проектирования. Система WIQA осуществляет оперативную оценку состояния проекта, позволяющую производить выбор очередного действия в рамках некоторого определенного подхода к процессу ППР, закодированного в виде решающего набора продукционных правил. Эксперименты с вопросно-ответной структурой диссертационной работой показали, что в среднем размерность фронта работ составляет 5-15% от всех работ проекта. Если учесть, что такие системы управления проектами, как Spider Project Professional и Pimavera Project Planner, предназначены для управления проектами, содержащими свыше 10,000 операций, то размерность фронта работ может превышать 1,500 операций. Выбор на системе продукционных правил позволяет значительно сократить фронт работ, включив в множество предложения для выбора только те работы, которые удовлетворяют правилам из решающего набора. Таким образом, множество предложения содержит работы, адекватные наиболее рациональному выбору очередного шага процесса ППР, а его размерность может составлять всего одну работу (как минимум, поскольку размерность множества предложения для выбора зависит от состава решающего набора правил).

Разработка новых версий системы WIQA в настоящее время идет по нескольким направлениям. В частности, находится на стадии завершения

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

1. Аверьянов Л.Я. Почему люди задают вопросы. М.: Социолог, 1993. -152с.

2. Адельсон-Вельский Г.М., Диниц Е.А., Карзанов A.B. Потоковые алгоритмы., М.: Наука, 1975. 120 с.

3. Алексеев A.B., Борисов А.Н. и др. Интеллектуальные системы принятия проектных решений. Рига: Изд-во «Зинатне», 1997 - 320 с.

4. Алексеевская A. A., Недоступ A. B. Диагностические игры в медицинских задачах. Вопросы кибернетики. // Задачи медицинской диагностики и прогнозирования с точки зрения врача. №112, 1988. с 128-139.

5. Александров Е.А. Основы теории эвристических решений. Подход к изучению естественного и построению искусственного интеллекта. М.: Сов.Радио, 1975. - 256с.

6. Ален И. Голуб. С и С++. Правила программирования. М.: БИНОМ, 1996.-272 с.

7. Басакер Р., Саати Т. Конечные графы и сети. М.: Наука, 1974. -368с.

8. Белнап П., Стил Т. Логика вопросов и ответов. М.: Прогресс, 1981. -287с.

9. Берков В.Ф., Яскевич Я.С., Павлюкевич В.И. Логика./Учебное пособие для высших учебных заведений. Минск: 1997. - 415 с.

10. Богданов Г.М. Проектирование изделий: Организация и методика постановки задачи. М.: Издательство стандартов, 1995. - 144 с.

11. Борисова Н.В., Соловьева A.A. и др. Деловая игра "Методика конструирования деловой игры". М.:ИПКИР, 1988.

12. Бурков В.И. и др. Деловые игры в принятии управленческих решений. М.: МИСИС, 1980.

13. Буш Г. Диалогика и творчество. Рига: Авотс, 1985. - 318 с.

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

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

16. Васильев В.В., Кузьмук В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем. Киев: Наук, дума, 1990.

17. Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии. М.:Наука, 1994. - 311 с.

18. Вощинин A.n., Сотиров Г.Р. Оптимизация в условиях неопределенности. Изд-во МЭИ (СССР); Техника (НРБ), 1989. - 224 с.

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

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

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

22. Гибкие производственные системы, промышленные роботы, робототехнические комплексы: Практ.пособие. В 14 кн. Кн.9. САПР в ГНС/ Д.Я.Ильинский; под ред.Б.И.Черпакова. -М.:Высш.шк., 1990. 96 с.

23. Горелов И.Н. Разговор с компьютером: Психолингвистический аспект проблемы. М.:Наука, 1987. - 256 с.

24. Грис Д. Наука программирования. М.: Мир, 1984 .-4 1 6 с.

25. Давыдов Э.Г. Исследование операций. М.: Высшая школа, 1990. -380с.

26. Джонс Дж.К. Методы проектирования. М.: Мир, 1986 - 326 с.

27. Деньдобренко Б.Н., Малика A.C. Автоматизация конструирования РЭА: Учебник для вузов. М.:Высш.шк., 1980. - 384 с.

28. Диалог с системой искусственного интеллекта. М.:МГУ, 1985. - 214 с.

29. Дитрих Я. Проектирование и конструирование: Системный подход. / пер. с польск.- М.: Мир, 1981. 456 с.

30. Ефимов Е.И. Решатели интеллектуальных задач. М.:Наука, 1982. 316с.

31. Зуховицкий СИ., Радчик И.А. Математические методы сетевого планирования. М.: Наука, 1965. - 295 с.

32. Ивин A.A. Неклассическая логика. М.:Наука, 1970. - с. 124-190.

33. Ивин A.A. Основания логики оценок. М.: МГУ, 1970.

34. Ивин A.A. Элементарная логика. М.: Дидакт, 1994.

35. Ивлев Ю.В. Логика. М.: МГУ, 1992.

36. Имитационное моделирование./.Черненький В.М, кн.9 Разработка САПР. М.: Высшая школа, 1990. - 110 с.

37. Инмон.У., Фридман Л. Методология экспертной оценки проектных решений для систем с базами данных / пер. с англ. М.: Финансы и статистика, 1986. - 280 с.

38. Интеллектуальные интегрированные САПР РЭА и БИС. М.: Наука, 1990.- 125 с.

39. Искусственный интеллект: 1 кн.: Системы обш;ения и экспертные системы. Справочник/ под ред. Попова Э.В. М.: Радио и связь, 1990.

40. Искусственный интеллект: 2 кн.: Модели и методы. Справочник/ под ред. Попова Э.В. М.: Радио и связь, 1990.

41. Искусственный интеллект: 3 кн.: Программные и аппаратные средства. Справочник/ под ред. Попова Э.В. М.: Радио и связь, 1990.

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

43. Ишмуратов А.Т. Логические теории временных контекстов (временная логика). Киев: Наукова Думка, 1981. - 150 с.

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

45. Кандрашина Е.Ю. Средства представления темпоральной информации в ' базах знаний // Известия АН СССР. Техническая кибернетика, 1984. N 5.с. 15-22.

46. Кандрашина Е.Ю. Средства представления информации о времени в базах знаний. Последовательности событий. // Известия АН СССР. Техническая кибернетика, 1986. N5.-c211- 232.

47. Кастеллани К, Автоматизация решения задач управления. / пер. с англ. -М.:Мир, 1982.-472 с.

48. Караваев Э.Ф. Основания временной логики. Л.: ЛГУ, 1983. - 175с.

49. Карпов А.В. Психологический анализ процессов принятия решения в деятельности. Ярославль, 1985. 156 с.

50. Клейменов С.А., Павленко А.И., Рябов СП. Основы проектирования автоматизированных технологических комплексов производства элементов РЭА: Учебное пособие для приборостроительных спец.вузов. М.: Высш.шк., 1984. - 120с.

51. Клейнрок Л. Теория массового обслуживания. М.: Машиностроение, 1979.-432 с.

52. Клишин В.В., Климов В.Е., Беспалов В.Е. Современные проблемы разработки САПР за рубежом и возможности внедрения новых технологий в России. Информатика. Сер. Автоматизация проектирования/ВИМИ, 1993, вып. 1-2, 64 с.

53. Ковальски Р. Логика в решении проблем. / пер. с англ. М.:Наука, 1990. - 280 с.

54. Комаров В.Ф. Управленческие имитационные игры. Новосибирск: Наука, 1989.

55. Компьютер Пресс. // САПР., 1- 12'1996, N 1- 4' 1997 г.

56. Компьютер и задачи выбора / Гордеев Э.Н. Задачи выбора и их решение. / М.:Наука, 1989 208 с, ил.

57. Корнилова Т.В., Тихомиров O.K. Принятие интеллектуальных решений в диалоге с компьютером. М.:Изд-во МГУ, 1990. - 192 с.

58. Котов В.Е. Сети Петри. М.: Наука, 1984. - 160 с.,ил.

59. Коутс Р., Влеймник И., Интерфейс «человек-компьютер». М.гМир, 1990.-501 с.

60. Кривцов A.M., Шеховцов В.В. Сетевое планирование и управление. -М.: Экономика, 1978. 190 с.

61. Курбатов В.И. Логика. Ростов-на-Дону: Феникс, 1996. - 320 с.

62. Ларичев О.И. Наука и искусство принятия решений. М.,:Наука, 1979. -200 с.

63. Лекции по теории графов/ Емеличев В. А., Мельников О.И. и др. М.: Наука, 1990. - 384 с.

64. Лескин A.A., Мальцев П.А., Спиридонов A.M. Сети Петри в моделировании и управлении. Л.:Наука, 1995. - 133 с.

65. Логика и компьютер. Моделирование рассуждений и проверка правильности программ./ Алешина H.A., Анисов A.M. и др. М.: Наука, 1990.-240 с.

66. Любарский Ю.Я. Интеллектуальные информационные системы. М.: Наука, 1990.

67. Макалистер Дж. Искусственный интеллект и Пролог на микроЭВМ. -М.:Машиностроение, 1990. 240 с.

68. Моделирование языковой деятельности в интеллектуальных системах / Под ред. Кибрика А.Е. и Нариньяни A.C. М.: Наука, 1987. - 280 с.

69. Методы и средства моделирования вычислительных устройств и сетей / Афанасьев А.Н., Шишкин В.В., Учебное пособие. Ульяновск: УлГТУ, 1996 -87 с

70. Нейлор К. Как построить свою экспертную систему. / пер. с англ. М.: Энергоатомиздат, 1991. - 286 с.

71. Нечепуренко М.И. Алгоритмы и программы решения задач на графах и сетях. М.: Мир, 1990.

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

73. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры: Учебное пособие для вузов. М.:Высш. Школа, 1983. - 272 с.

74. Ноэль Э. Массовые опросы /Пер. с нем. М.: Прогресс, 1978.

75. Осуга С. Обработка знаний./ пер.с яп. М.: Мир, 1989. - 292 с.

76. Осуга С, Саэка Ю. Приобретение знаний./ пер.с яп. М.: Мир, 1990.

77. Питерсон Дж. Теория сетей Петри и моделирование систем. Пер. с англ. -М.: Мир, 1984 263 с, ил.

78. Погосян Г.А. Метод интервью и достоверность социологической информации. Ереван, АН Арм. ССР, 1985.

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

80. Попов Э.В., Фридман Г.Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. М.: Наука, 1976. - 456 с.

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

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

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

84. Прохоров А.Ф. Конструктор и ЭВМ. М.:Машиностроение, 1987.-72с.

85. Робототехника и гибкие автоматизированные производства. В 9 кн. Кн.6. Техническая имитация интеллекта: Учебное пособие для втузов/ В.М.назаретов, Д.П.Ким; под ред. И.М.Макарова. М.:Высш.шк 1986. - 144 с.

86. Рузавин Г.И. Логика и аргументация. М.:ЮНИТИ, 1997. - 349 с.

87. Рубашкин В.Ш. Представление и анализ смысла в интеллектуальных информационных системах. М.:Наука, 1989. - 192 с.

88. Седегов Р.С., Строцев Ю.В., Усенко К.И. Экономическая эффективность и научно-технический уровень САПР с машиностроении и приборостроении. М.: ЦНИИТЭИ приборостроения, 1985. - 53 с.

89. Семенов В.Г. Сетевое планирование в САПР и научных исследованиях. Тезисы докладов XXXII научно-технической конференции. Ульяновск: УлГТУ, 1998 (часть 1., стр. 44).

90. Семенов В.Г., Вербиченко Д.С. Вопросно-ответный процессор WIQA (Working In Questions and Answers). Микроэлектроника и информатика 98.

91. Всероссийская межвузовская научно-техническая конференция студентов и аспирантов: В 2 ч. Тезисы докладов. М.: МИЭТ, 1998 (часть 2, стр. 14).

92. Семенов В.Г. Сетевые модели вопросно-ответных структур. Первая Всероссийская научная конференция молодых ученых и аспирантов «Новые информационные технологии. Разработка и аспекты применения». Тезисы докладов. Таганрог: ТГРТУ, 1998 (стр. 82).

93. Семенов В.Г. К вопросу о сетевых моделях в процессах принятия решения. Информационные технологии, системы и приборы: сборник научных трудов. Ульяновск: УлГТУ, 1998. - 98 стр.

94. Семенов В.Г. Система оперативного управления научным исследованием, I Всероссийская научно-техническая конференция «Компьютерные технологии в науке, проектировании и производстве». Тезисы докладов. -Нижний Новгород: НГТУ, 1999 (часть V, стр. 40).

95. Семенов В.Г. Моделирование процесса принятия решения. Interactive Systems: The Problems of Human-Computer Interaction. Proceedings of the International Conference, Ulyanovsk, UlSTU, 1999.

96. Семенов В.Г. Библиотека поддержки графической информации. Interactive Systems: The Problems of Human-Computer Interaction. Proceedings of the International Conference, Ulyanovsk, UlSTU, 1999.

97. Семенов В.Г. Инструментальная среда для имитационного моделирования вопросно-ответного процесса. Interactive Systems: The Problems of Human-Computer Interaction. Proceedings of the International Conference, Ulyanovsk, UlSTU, 1999.

98. Семенов В.Г. Применение сетевых моделей в моделировании научного эксперимента. Управляющие и вычислительные системы. Новые технологии: Материалы межвузовской научно-технической конференции, Вологда: ВоГТУ, 2000 (стр. 134),

99. Системы автоматизированного проектирования в радиоэлектронике: Справочник/ Е,В,Авдеев, А,Т,Еремин, И,П,Норенков, М.И.Песков; под ред.И.П.Норенкова. М.:Радио и связь, 1986. - 368 с.ч

100. Системотехнические задачи создания САПР. / Данчул А.Н., Полу ян Л.Я. КН.2 Разработка САПР. - М.: Высшая школа, 1990. - 110 с.

101. Системы сетевого планирования и управления производством: Учебное пособие./ И.А.Харитонова Л.: ЛЭТИ, 1982. - 70 с.

102. Системы автоматизированного проектирования. / под ред. Алана Дж. Пер. с англ. М.:Наука, 1985. - 376 с.

103. Сокольницев Р.И., Кононюк А.Е., Кулаков Ф.М. Автоматизация проектирования ГПС. Л.:Машиностроение, 1990. - 415 с.

104. Содержательно-эволюционный подход к искусственному интеллекту: Учебное пособие/ Соснин П.И. - Ульяновск, УлГТУ, 1995 - 76с., ил.

105. Соснин П.И., Семенов В.Г. Сетевые вопросно-ответные модели в принятии решений. Тезисы докладов международной научно-технической конференции. Пенза, 1998.

106. Соснин П.И., Семенов В.Г. Событийные вопросно-ответные модели в автоматизированном обучении. Международная научно-техническая конференция "Теория и практика имитационного моделирования и создания тренажеров". Пенза: Приволжский Дом Знаний, 1998.

107. Соснин П.И., Н.Г.Ярушкина, О.Н.Евсеева, А.Ю.Левицкий. Проблемно-ориентированные диалоговые среды.- Саратов: Изд-во Сарат.ун-та, 1995 -100с.

108. Соснин П.И. Содержательно-эволюционный подход к искусственному интеллекту /Диссертация на соискание ученой степени д. т. п./ Ульяновск, 1994.

109. Соснина Е.П. Управление динамикой мониторинга процессов в САПР. // Модели и технологии принятия решений: Сб. научи, трудов (вып.1) -Ульяновск: УлГТУ, 1996. с.23-25.

110. Соснина Е.П. Интерпретация и использование «событий» и их систем в автоматизированном обучении. //Обучение в САПР: Сб. научн. трудов -Ульяновск, 1997.

111. Соснина Е.П., Соснин П.И. Логика вопросно-ответных структур в актах принятия решений. // Информационные системы и технологии: Сб. научн. трудов. Ульяновск, 1997.

112. Соснина Е.П. Разработка динамического процессора мониторинга проектной деятельности в САПР /Диссертация на соискание ученой степени к. т. п./ Ульяновск, 1997.

113. Сотсков Ю.Н. и др. Математические модели и методы календарного планирования: Учебное пособие/ Сотсков Ю.Н., Струсевич В.А., Танаев B.C.- Мн.: Университетское, 1994. 232 с.

114. Стобо Дж. Язык программирования Пролог. М.:Радио и связь, 1993. -368 с.

115. Страуструп Б. Язык программирования Си ++. М.: Радио и связь, 1991. -348 с.

116. Ступаченко A.A. САПР технологических операций. Л.:Машиностроение, 1988. 234 с.

117. Танаев B.C. Теория расписаний. М.:3нание, 1988. - 40 с.

118. Таунсенд К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ. / пер. с англ. М.: Финансы и статистика, 1990. - 320с.

119. Тей А. Грибом он П. и др. Логический подход к Искусственному интеллекту. М.:Мир, 1990. - 430 с.

120. Уинстон П. Искусственный интеллект. М.: Мир, 1980.- 519 с.

121. Управление ГПС: Модели и алгоритмы / Под общ. ред. С.В.Емельянова.- М.: Машиностроение, 1987. 386 с.

122. Фейс Р. Модальная логика. М.:Наука, 1974. - 520 с.

123. Хаит Э. Искусственный интеллект. М.: Мир, 1978. - 558 с.

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

125. Хелд М., Карп P.M. Применение динамического программирования к задачам упорядочения. // Киб. сб. Ст. сер. 1964. Вып. 9. С. 202-212.181

126. Чудаков А.Д., Фалевич Б.Я. Автоматизированное оперативно-календарное планирование, М,Машиностроение, 1986, 224 с.

127. Шумилина Т.В, Интервью в журналистике, М,:МГУ, 1973,

128. Экспертные системы: состояния и перспективы, М,: Наука, 1989, -150с.

129. Энкарначчо Ж., Шлехтендаль Э. Автоматизированное проектирование. Основные понятия и архитектура систем. / пер. с англ, М,: Радио и связь, 1986, - 288 с.

130. Эндрю А. Искусственный интеллект. / пер. с англ. М.: Мир, 1985. -264с.

131. Шапиро Д.И. Принятие решений в системах организационного управления: использование расплывчатых категорий. М.: Энергоатомиздат, 1983,-184 сил.