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

Введение

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

§1.1. Документальный поиск

§1.2. Фактографический поиск I,.

§ 1.3. Входные языки информационных систем

§ 1.4. Организация диалога в современных информационных системах

§1.5. Требования к информационному обеспечению принятия решений в ВПО Союзатомэнерго .32 Выводы по I главе

Глава 2. Исследование моделей представления знаний и методов решения информационных задач в ИСЭО

§ 2.1. Информационные задачи в ИСЭО

§ 2.2. Раскрытие информационных потребностей пользователя

§ 2.3. Связность диалога

§2.4. Построение синтаксической модели диалога .56 Выводы по главе

Глава 3. Разработка логической структуры ИСЭО. и построение системы знаний о задаче

§ 3.1. Логическая структура предметного информационного фонда

§3.2. Информационный фонд задачи

§ 3.3. Информационные процессы

§ 3.4. Выполнение нескольких стандартных запросов

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

Глава 4. Программная реализация ИСЭО

§4.1. ФРЛ-технология при постановке и решении информационных задач

§ 4.2. Промышленная реализация ИСЭО на ЕС ЭВМ

§ 4.3. Реализация постановки и решения информационных задач наШМ Реалите-

§ 4.4. Описание внедрения и экспериментальной проверки полученных результатов

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

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

Ядерная энергетика занимает всё более важное место в энергетическом балансе СССР. В 1984 году число действующих энергоблоков составило 35, суммарной мощностью 21 млн квт. В 1983 г. на АЭС было выработано 110 млрд квтч. электроэнергии. Динамика роста мощностей атомнойс энергетики представлена следующими данными: годы 1973 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 мощн. млн квт 4,0 4,7 6,1 7,1 7,6 10,0 12,6 15,4 17,3 19,2 21,0

Программа опережающего роста атомной энергетики обсуждена на заседании Политбюро ЦК КПСС от 14 сентября 1984 г. В принятом постановлении определены конкретные объёмы й' сроки ввода в действие новых мощностей атомной энергетики.

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

Опыт эксплуатации информационных систем, решающих информационные задачи в промышленных условиях, показывает, что не всегда информационные потребности могут быть сформулированы в рамках монологического -текста, поскольку зачастую пользователь не в состоятии точно ориентироваться в логической структуре данных в связи с большими объёмами и сложностью логической схемы данных. Кроме того, по мере формирования запроса, в ходе прояснения, с одной стороны, потребностей пользователя, а с другой стороны - возможностей информационной системы, первоначальные цели запроса могут измениться или отпасть совсем. Например, в подсистеме управления монтажом и пуеконаладкой в ВПО "Союзатомэнерго" общее количество переменных составляет 76 единиц. Логическая схема данных содержит две ведомости и четыре классификатора. Области значений насчитывают несколько тысяч значений таких переменных, как, например, технологическая позиция. При этом пользователю предоставляются различные возможности работы: режим команд, выполнение запросов разного вида, стандартные запросы, модификация базы данных, массовый ввод и пр. Значения многих переменных представляют собой наименования оборудования, приборов, технологических производственных участков и пр., которые трудно помнить с синтаксической точностью. Пользователь, например, может интересоваться тем, в какой технологической позиции стоит некоторое оборудование некоторого завода, в то время, как данный завод это оборудование не производит. При этом пустой ответ не проясняет существа некорректности задаваемого вопроса. Диалоговая процедура формирования запроса может вскрыть эту некорректность на раннем этапе и позволить пользователю уточнить, какие заводы выпускают данное оборудование .

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

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

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

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

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

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

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

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

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

1. Построение математической модели информационной задачи.

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

3. Построение модели согласования информационных потребностей пользователя с информационными возможностями системы

4. Структуризация информационных фондов системы

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

6. Программная реализация предложенных методик на лабораторных инструментальных средствах ЛИСП-ФРЛ

7. Программная реализация на промышленных средствах ЕС ЭВМ и СУБД СПЕКТР

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

В данной работе моделируются интеллектуальные акты упорядочения и конкретизации на теоретической базе исчисления предикатов первого порядка и прикладного аспекта этой базы, сформулированного в виде фрейм-концепции в операциональной ФРЛ-среде. Реализован фрейм-управляемый диалог как побочный эффект создания экземпляра фрейма задачи по обобщённому описанию в системе знаний.

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

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

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

В четвёртой главе описана программная реализация диалоговой информационно-поисковой системы, построенной на основении результатов исследования, полученных в двух предыдущих главах. Изложена двухэтапная технология реализации ИПС с первоначальной проработкой на лабораторном ФРЛ-макете и с дальнейшей промышленной реализацией на разработанных автором технологических средствах на базе штатного математического и системного обеспечения ЕС ЭВМ. Исследована технология применения высокоэффективной промышленной СУБД СПЕКТР для организации семантически связного диалога. Далее также описана реализация на ЭВМ Реалите 2000. Исследованы преимущества и недостатки списочной организации памяти для целей построения и эксплуатации диалоговой системы описанного типа.

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

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

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

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

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

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

Программная реализация выполнена на технических средствах ЕС ЭВМ, на языках ПЛ/1 и Ассемблер.

В качестве лабораторных средств исследования использовались инструментальные средства ЛМСП-ФРЛ на технической базе ЕС ЭВМ.

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

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

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

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

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

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

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

4. Выделено три типа информационных процессов: А-процесс - построения сценариев диалога; Д-процесс - интерпретации сценариев диалога; П-процесс - планирования и выполнения плана сложного запроса.

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

- ш ному информационному фонду.

6. Предложена двухэтапная технология построения промышленных информационных систем с использованием на первом этапе в качестве лабораторных средств исследования инструментальных средств ЛИСП-ФРЛ.

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

8. Разработана методика и средства автоматизации описания знаний пользователя об информационной задаче, с отображением их на модель знаний.

9. Разработанные принципы автоматизированного построения модели знаний пользователя об информационных задачах и автоматизированного согласования информационных потребностей пользователя с информационными возможностями системы реализованы в промышленной информационной системе, внедрённой в ряде подсистем АСУ ВПО Союзатомэнерго в промышленную эксплуатацию. Программная реализация выполнена на технических средствах ЕС ЭШ на языках ПЛ/1 и Ассемблер. Экономический эффект от внедрения методики составляет около 46 тыс.р.

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

Требует решения задача диалогового сбора информации по предметным информационным фондам.

ЗАКЛЮЧЕНИЕ

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

Автоматизация взаимодействия пользователя с ЭВМ первоначально была связана с автоматизацией решения вычислительных задач, и в дальнейшем - с автоматизацией решения информационных задач.

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

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

1. В.Е.Котов, Б.В.Якушин. Языки информационных систем. Москва, Наука, 1979.

2. В.А.Москович. Опыт типологической классификации информационно-поисковых языков: в сб. "Бемантические проблемы автоматизацииинформационного поиска". Киев. Наукова думка. 1971.3. в Raphael.$IR-a semaniic retrieval sYsiem.

3. M. Minsk г (ее/). Semaniic information processing ПП pr?&iS6Q

4. В.А.Москович. Информационные языки. Москва, Наука, 1971.

5. Л.Э.Пшеничная, Э.Ф.Скороходько. Единицы информационного языка в сопоставлении с единицами естественного языка: в кн. Информационно-поисковые системы и автоматизированная обработка. НТИ, т.2, ВИНИТИ АН СССР, Москва, 1969.

6. В.В.Мартынов. Семиологические основы информатики. Минск, Наука и техника, 1974.

7. Т.Виноград. Программа, понимающая естественный явык.Москва, Мир, 1976.

8. Р.К.Крое и др. СИНТОЛ универсальная модель системы информационного поиска. Москва, ВИНИТИ АН СССР, 1968.

9. А.Г.чачко. производство. Язык. Человек. Москва, Советское радио, 1977.

10. В.М.Брябрин и др. под ред. д.А.Поспелова. Диалоговые системы в АСУ. Москва,Энергоатомиздат, 1983.11. Û. воЬгом NahiraP ¿ап^иа^е ¿/?pi/l. и. Шпек у fee/) SemantU information processing MIT Press, №6ô

11. D. BoÀrcw eé ai QUB ' a ¿гатв-driïen Jbbf system. •

12. Ar iff icier £ ¡jiteeeigence Î977 s/2tvô 13. А.А.Крюков. Диалоговая система построения модели предметнойобласти. Автореферат дисс. к.т.н. Москва, МЭИ, 1980.

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

14. Э.Хант. Искусственный интеллект. Москва, Мир, 1980.16. 3 McCarthy. Programs wilh common sense. M. Minznr(ed) Semaníic information processif. MIT press, 196Q

15. П.Уинстон. Искусственный интеллект. Москва, Мир, 1980.

16. Р.Шенк. Обработка концептуальной информации. Москва, Энергия 1980.

17. А/, Я. Quifâcrn. Semantic memoryt, M.Minskrfee/), bemcmfrc Informcrttan processing. MIT press J368

18. В.М.Брябрин, Г.В.Сенин. Руководство к системе ДИЛОС БЭСМ-6, сер. Математическое обеспечение БЭСМ-6. Москва, ВЦ АН СССР, 1977.

19. М.Минский. Психология машинного зрения. Москва, Мир, 1978.

20. Л.В.Литвинцева. Методы построения проблемно-ориентированных диалоговых систем на языке близком к естественному. Дисс. к.ф.-м.н. Москва, МФТИ, 1977.

21. Q-Grcrffarerj рч Minker(e</s). Lo^to ctncí c/aú¿>crses. Асас/емгс press * Y, 137Ô

22. Ю.И.Клыков, Л.Н.Горьков. Банки данных для принятия решений. Москва, Советское радио, 1979.

23. Е.Т.Семёнова и др. Программная реализация фреймов, отчёт № Б846913, Москва, МЭИ, 1980.

24. И.П.Кузнецов. Кибернетические диалоговые системы. Москва, Наука, 1976.

25. В.Н.Брановицкий. Некоторые вопросы распределения функции между человеком и вычислительной машиной, в сб."Кибернетика и вычислительная техника", вып. 4, Киев, Наукова думка, 1970.

26. В.С.Степанов. Экспериментальная база данных с запросами наестественном языке, в сб. Взаимодействие с ЭВМ на естественномязыке, ред. А.В.Нариньяни. Новосибирск, ВЦ СОАН СССР, 1980.

27. В.Э.Вольфенгаген и др. Фреймы в системе представления знаний. Материалы семинаров МДНТП им. Ф.Э.Дзержинского: "Информационно-программное обеспечение систем искусственного интеллекта. Москва, мдап им. Ф.Э.Дзержинского, 1978.

28. Л.Г.Жуков. Человеко-машинные алгоритмы обобщения и классификации. Дисс. к.т.н. Москва, МЭИ, 1979.

29. М.И.Кахро и др. Система программирования "ПРИЗ". Программирование, № I, 1976.

30. Э.Хант, Дж.Марин, Ф.Стоун. Моделирование процесса формирования понятий на вычислительной машине. Москва, Мир, 1970.

31. В.И.Брановицкий. Вопросы исследования диалоговых систем, ориентированных на массового пользователя. Киев, Наукова думка, 1976.

32. Б.А.Загацкий, А.В.Рудкевич, А.С.Чупахин. Резон система для решения задач проектирования и управления. Препринт НИИАР-17(425), НИИАР;- Димитровград, 1980.

33. В.Ф.Хорошевский. язык представления лингвистических знаний в естественно-языковых системах. Вопросы кибернетики № 55. Научный совет по комплексной проблеме "Кибернетика" АН СССР, 1980.

34. А.С.Чупахин. Диалог в системе Резон. Труды МЭИ, вып. 614, Москва, МЭИ, 1983.

35. Л.Т.Кузин. Основы кибернетики. Москва, Высшая школа, 1979.

36. В.0.Гречко. Генерация диалога в инструментальном комплексе ПОИСК. "Интерактивные системы": доклады и тезисы третьей школы-семинара. Боржоми. 15-21 марта 1981 г.

37. В.В.Васильков, И.Г.Гордиенко. Система интерактивной поддержки программирования /QE&OP . "Интерактивные системы". Доклады и тезисы третьей школы-семинара. Боржоми, 15-21 марта 1981 г.

38. Ф.И.Андон и др. Система ИНФОР: назначение, входные языки, архитектура, программный и организационный аппарат: в кн. "Системное программирование", ч.1. Новосибирск, ВЦ СОАН СССР, 1973.

39. Ф.И.Рыбаков, Е.А.Руднев, В.А.Детухов. Автоматическое индексирование на естественном языке. M.I980. Энергия.

40. Н.А.Пащенко, В.С.Иванов и др. Автоматический словарь в экспериментальной системе автоматического индексирования текста. "Вопросы информационной теории и практики", № 3(30), 1977.

41. Г.Г.Белоногов, А.П.Новосёлов. Автоматизация процессов накопления, поиска и обобщения информации. Москва, Наука, 1979.

42. А.А.Прихожий. Об одном подходе к разработке диалоговых систем логического проектирования. Автоматика и вычислительная техника. Л 6, 1982.

43. Э.В.Попов. Система взаимодействия с ЭВМ на ограниченном русском языке. Программирование, № 4, 1978.

44. А.В.Соколов. Информационно^поисковые системы. Москва, 1981, Радио и связь.

45. В.Л.Стефанюк, Е.Ф.Юдина. Комментирующая система для языка Лисп. Тезисы докладов Всесоюзной конференции "Автоматизация производства пакетов прикладных программ". Таллин, Т1Ш, 1980.

46. Э.Э.Кывасюк, Ю.П.Соан, М.Г.Щедрова. Запросные средства, ориентированные на базы данных САПР, там же.

47. А.Б.Преображенский, Г.В.Рыбина, В.Ф.Хорошевский. МИВОС многоцелевая естественноязыковая система, изв. АН СССР. Техническая кибернетика, 1979, В 6, с.142-151.

48. В.Д.Алексеев. Принцип построения диалоговой информационной системы. Первая всесоюзная конференция по банкам данных. Тезисы докладов. Тбилиси, 1980.

49. В.Д.Алексеев, Гогичайшвили Ш.С. Некоторые вопросы проектирования интерфейсов человек-ЭВМ для АИПС. "Интерактивные системы". Доклады и тезисы третьей школы-семинара. Боржоми 15-21 марта 1981 г.

50. В.Д.Алексеев. К вопросу о диалоге с базой данных на естественном языке. "Приаладная математика и математическое обеспечение ЭВМ", с. 84-86, МГУ, 1980.

51. Г.В.Сенин. Анализ естественного языка по управлениям семантической сети. Научный совет по комплексной проблеме "Кибернетика" АН СССР, Москва 1980.

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

53. Р.Монтегю. Прагматика и интенсиональная логика, в кн. Семантика модальных и интенсиональных логик, ред. В.А.Смирнов, М.Прогресс,1981,

54. С.К.Клини. Математическая логика, Москва, Мир, 1973.

55. Д.Гильберт, П.Бернайс. Математическая логика и основания математики. Москва, Наука, 1979.

56. Н.А.Криницкий, Г.А.Миронов, Г.Д.Фролов. Автоматизированные информационные системы. Москва, Наука, 1982.

57. И.Д.Коровякова, В.И.Тарасов. Исследование возможности автоматизированного контроля и регулирования параметров автоматизированной системы информационного обеспечения. Труды ГПНТБ, вып.4, Москва, 1971.

58. Н.Белнап, Т.Стил. Логика вопросов и ответов. Москва, Прогресс,1981.

59. Г.Вагнер. Основы исследования операций, т.1. Москва, Мир, 1971.

60. А.С.Чупахин. Критический путь в периодическом производстве при последовательно-параллельном маршруте выполнения каждого заказа. Труды МЭИ, вып. 556, Москва, МЭИ; 1981.

61. В.Р.Хисамутдинов, В.С.Авраменко, В.И.Легоньков. Автоматизированная система информационного обеспечения разработок. Москва, Наука, 1980.

62. Дж.Солтон. Динамические библиотечно-информационные системы. Москва, Мир, 1979.

63. В.Н.Пильщиков. Язык Плэнер. Москва, Наука, 1983.

64. Э.В.Попов. Общение с ЭВМ на естественном языке. Москва, Наука,1982.

65. В.М.Брябрин. Ф-язык формализм для представления знаний в интеллектуальных диалоговых системах, в сб. Прикладная информатика, вып.1, Москва, Финансы и статистика, 1981.

66. СОЕДИНЕННЫХ ШТАТОВ АМЕРИКИ И КАНАДЫискан)121814 ГСП-2, Москва Г-69, Хлебный пер., 2/3

67. ТЫ.: 291-13-43.20>94-12 (канц.)1. На №

68. СПРАВКА 0 ВНЕДРЕНИИ результатов диссертационной работы

69. Р.Г.Богданов ^З.М.Плеханов

70. Заместитель директора ИСКАН

71. Заведующий отдел< вну триполитическ: проблем США