автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.06, диссертация на тему:Инструментальные средства символьной обработки данных в АСУ

ВВЕДЕНИЕ.

ГЛАВА I. Особенности инструментальных средств символьной обработки данных в АСУ.

1.1. Задачи символьной обработки данных в АСУ и методы их решения.

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

1.3. Требования, предъявляемые к инструментальным средствам символьной обработки данных в АСУ.

Выводы.

ГЛАВА 2. Теоретические основы построения инструментальных средств символьной обработки данных с возвратами

2.1. Исчисление общего вида как формальная модель поиска с возвратами.

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

2.3. Графовое представление процедур поиска вывода.

2.4. Денотационная семантика программ, представленных на языке (Ж.-функций.

Выводы.

ГЛАВА 3. Инженерные основы проектирования инструментальных средств поиска вывода в исчислениях общего вида.

3.1. Язык Рекурсивных Функций над Символьными выражениями (РФС-язык).

3.2. Общая схема трансляции РФС-языка.

3.3. Выбор внутреннего представления данных.

3.4. Абстрактная машина для интерпретации базисного языка.ЮЗ

3.5. Методика программирования типовых процедур поиска вывода средствами РФС-языка.

Выводы.

ГЛАВА 4. Реализация, внедрение, экспериментальная проверка.

4.1. Общая схема программной реализации РФС-системы

4.2. Реализация транслирующих модулей РФС-системы и организация управления памятью

4.3. Внедрение РФС-системы в АСУ МИФИ для реализации выдачи ответов на нерегламентированный запрос.

4.4. Внедрение РФС-системы в Главном научно-методическом центре ЩИИНТЙ для решения задачи анализа и синтеза сквозной программы специальности.

Выводы.

Задача создания и внедрения автоматизированных систем управления на уровне отраслей, объединений, предприятий с постепенным переходом к общегосударственной автоматизированной системе на базе государственной сети вычислительных центров и общегосударственной системы передачи данных была четко сформулирована в Директивах ХХ1У съезда КПСС/1/.

Интенсивному внедрению вычилительной техники во всех областях народного хозяйства уделялось большое внимание в материалах ШТ съезда КПСС /2/.

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

В то же время определенные трудности в области разработки и эксплуатации АСУ отчетливо наблюдаются как у нас в стране, так и за рубежом /4,5,6,7,87/.

Одна из основных причин неудач заключается в том, что создаваемые АСУ предъявляют к пользователю повышенные требования в области знания систем программирования и средств вычислительной техники. Отсутствие интеллектуальности у систем, предлагаемых пользователю, является в настоящее время главным тормозом на пути дальнейшего развития и совершенствования автоматизированных систем управления.

В постановлении ЦК КПСС и Совета Министров СССР от 28 авг. 1983 года указывается на необходимость интенсификации работ в области искусственного интеллекта и, в частности, об использовании этого направления для автоматизации программирования.

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

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

Работы в области символьной обработки данных интенсивно ведутся как в нашей стране (Вельбицкий И.В., Задыхайло И.Б., Ершов А.П., Бычков С.П., Пилыциков В.Н., Лавров С.С., Сшьагад-зе Г.С., Смирнов В.И., Хорошевский В.Ф., Эйсымонт А.К., Юфа В.М., и т.д.), так и за рубежом (ЕЕудс В., Грис Д., МакКарти Д., Беркли Э., Бобров Д., Баррон Д., Бердж В., Кнут Д., Вирт Н., Виноград Т., Хьюитт К., Сассман Г., Макдермотт Д., Фостер Д., и т.д.). Большое внимание инструментальным средствам символьной обработки данных уделяется в японском проекте ЭВМ пятого поколения /8/.

Данная диссертационная работа выполнялась в соответствии с координационным планом научно-исследовательских работ АН СССР по проблеме "Искусственный интеллект" (шифр 1.12.9) на 1981-1985 г.г., раздел "Программно-математическое обеспечение систем искусственного интеллекта" (шифр 1.12.9.6.Б) - разработка языков программирования сверхвысокого уровня и трансляторов с них.

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

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

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

2. Р1С-язык как эффективное средство для решения задач символьной обработки данных в АСУ.

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

4. Методика реализации типовых процедур символьной обработки данных в АСУ средствами РФС-системы.

5. Пакет прикладных программ для анализа и синтеза сквозных программ специальности, система генерации ответов на нерегла-ментированный запрос, реализованные средствами РЗЮ-системы.

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

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

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

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

Результаты работы неоднократно докладывались на ежегодных научных конференциях МИШИ (1973 г., 1977 г.); на научных семинаpax в ЦЦНТП /9, 10/ (1976 г., 1981 г.); публиковались в сборнике "Проектирование интеллектуальных систем" / II/ (1980 г.)» были представлены в работе 4-й школы-семинара "ШТЕРАКТИШЫЕ СИСТЕМЫ" Тбилиси, 1982 г./ 12/.

Результаты работы отражены также в научных отчетах по темам: гос. per. № 75046635 - "Автоматизированные системы управления высшей школой" / 13, 14, 15/; гос.рег. № 79036982 - "Разработка автоматизированной системы проектирования АСУ" / 16/; гос. per. № 80044346 - "Разработка методики построения интеллектуальной системы моделирования" / 17, 18/; гос. per. № 81098866 - "Разработка и применение математических методов для построения интеллектуальных вопросно-ответных систем и систем моделирования / 19, 20/.

Выводы.

I.Реализация текущей версии РФС-системы выполнена для ЕС ЭВМ. В качестве языка, на который ведется трасляция РФС-программ, используется язык Ассемблера. Трансляция РФС-программ может выполняться в двух режимах: режиме компиляции и режиме интерпретации. РФС-программа, транслируемая в режиме компиляции, после ассемблирования и редактирования связей может непосредственно выполняться под управлением ОС ЕС ЭВМ. Программа, транслируемая в режиме интерпретации, после ассемблирования и редактирования связей выполняется под управлением специальной программы - РФС-интерпретатора. Программное обеспечение РФС-системы включает библиотеку транслирующих модулей (ЕРЗ.ТНАЫЗИВ-! СУЬ накопителя ЕС-5061), библиотеку машинных операций (ВРБ.МОРЫВ- 2 СУЬ ), библиотеку процедур (ЕГб.РБЮСЫВ - I СУЬ ), библиотеку исходных текстов и инструкций (ВГб.ТЕХТ - 5 СУЬ ).

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

3. Транслирующие модули РФС-системы выполнены на языке РЕФАЛ. Общий объем исходного текста транслирующего блока составляет: РЕМЛ-предложений - 225, строк - 1100, символов - 55 тыс.

4. Методика проектирования синтаксических анализаторов средствами РФС-системы внедрена в АСУ МШИ для реализации выдачи ответов на нерегламентированный запрос в подсистемах "Учет учебной нагрузки преподавателей" и "Успеваемость".

5. РФС-система внедрена в Главном научно-методическом центре ЦНИИНТИ для решения задачи анализа и синтеза сквозной программы специальности.

6. Сравнение характеристик РЕФАЛ-программы и РФС-программы, выполняющих решение одной и той же задачи, требующей возвратов в процессе своего решения, показало, что использование встроенных средств автоматического возврата увеличивает быстродействие программы ^в 3 раза по сравнению с моделированием этого механизма на языке РЕШАЛ.

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

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

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

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

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

- 163

Разработан и реализован транслятор с РФС-языка для машин ЕС ЭВМ. Объем транслирующего блока составляет: РЕМЛ-предло-жений - 225, строк - 1100, символов - 55 тыс. В целях повышения мобильности программного обеспечения трансляция ведется через промежуточную стадию. В качестве промежуточного языка используется язык функциональных эквивалентов. Для интерпретации функциональных эквивалентов разработана архитектура стековой машины. Определен состав команд стековой машины и их семантика.

5. Методика программирования синтаксических анализаторов средствами РФС-системы внедрена в АСУ МИФИ для реализации выдачи ответов на нерегламентированный запрос в подсистемах "Учет учебной нагрузки преподавателей", "Успеваемость". Разработанные средства позволили обеспечить службы института нерегламентиро-ванной информацией по контингенту профессорско-преподавательского состава, а также сведениями об успеваемости студентов. Средствами РФС-системы реализован пакет прикладных программ, предназначенный для решения задачи анализа и синтеза сквозной программы специальности. Пакет внедрен в Главном научно-методическом центре ЦНИЙНТИ, использовался для анализа сквозной программы специальности 0620 для средних специальных учебных заведений. РФС-система использовалась в процессе разработки макроязыка при создании генератора вывода для задач учетно-статистического характера в ГВЦ РКСО. По результатам внедрения получены соответствующие акты (приложение 4).

1. Директивы ХХ1У съезда КПСС по пятилетнему плану развития народного хозяйства СССР на 1971 - 1975 г.г. - М.: Политиздат, 1971.

2. Материалы ХХУ1 съезда КПСС. М.: Политическая литература, 1981.

3. Постановление ЦК КПСС и СМ СССР от 28 августа 1983 г. "О мерах по ускорению научно-технического прогресса в народном хозяйстве". Коммунист, 1983, №13.

4. Мясников В.А. Задачи и перспективы развития производства и использования вычислительной техники в народном хозяйстве страны. В сб.: Алгоритмы и организация решения экономических задач. - М.: Статистика, вып. 13, 1979, с.6-28.

5. Бунаков В.Ю., Фомина А.Л. Некоторые проблемы математического обеспечения АСУ на современном этапе. В сб.: Алгоритмы и организация решения экономических задач. - М.: Статистика, вып.II, 1978, с.5-19.

6. Вопросы эффективности систем управления, базирующихся на вычислительной технике (зарубежный опыт). М.: Йнформэлек-тро, 1975.

7. Вычислительная техника за рубежом в 1982 г. Под общей редакцией В.С.Бурцева. М.: ИТМ и ВТ АН СССР, 1983.

8. ЭВМ пятого поколения: Концепции, проблемы, перспективы. Предисл. Е.П. Велихова. М.: Финансы и статистика, 1984.

9. Сергиевский Г.М., Петрова Т.В. О построении динамически расширяемого синтаксического анализатора по примерам предложений КС-языка. В сб.: Машинное обучение с помощью диалога. -М.: МДНТП, 1976, с.66-70.- 165

10. Сергиевский Г.М., Петрова Т.В., Розова Е.Б. Об одном подходе к реализации расширяемого множества языков искусственного интеллекта. В сб.: Диалог в автоматизированных системах. - М.: МДНТП, 1981, с.90-96.

11. Сергиевский Г.М., Петрова Т.В. Символьный процессор для анализа предложений на естественном языке. В сб.: Проектирование интеллектуальных систем. - М.: Атомиздат, 1980,с.94-104.

12. Учет учебной нагрузки преподавателей. Технический и рабочий проект. Отчет НИР МИФИ. Гос. per. № 75046635, 1974.

13. Подсистема АСУ МИФИ "Расчет нагрузки кафедр по отрезкам учебных планов". Рабочий проект. Отчет НИР МИФИ. Гос. per. Р 75046635, 1979.

14. Подсистема АСУ МИФИ "Успеваемость". Рабочий проект. -Отчет НИР МИФИ, Гос. per. № 75046635, 1979.

15. Разработка языка высокого уровня для анализа естественных языков. Отчет НИР МИФИ. Гос. per. Р 79036982, 1979.

16. Разработка универсального языка преобразований для программирования интеллектуальной системы моделирования. Отчет НИР МИФИ. Гос. per. № 80044346, 1980.

17. Методику построения интеллектуальной системы моделирования. Отчет НИР МИФИ. Гос. per. Р 80044346, 1980.

18. Разработка математических основ имитационной модели.- 166

19. Отчет НИР МШИ. Гос. per. № 81098899, 1981.^

20. Построение формального описания имитационной модели. -Отчет НИР МИФИ. Гос. per. № 81098866, 1982.

21. Арлазаров B.JI. и др. Информационная система ИНЭС. -Автоматика и телемеханика, № 6, 1979, с.109-121.

22. Брусенков И.В. и др. Программная система управления базами данных СИНБАД. В сб.: Алгоритмы и организация решения экономических задач. - М.: Статистика, вып. 6, 1975.

23. Банк данных универсальной структуры. Калинин: Центр-программсистем, 1975.

24. Савинков В.М., Назаров М.С., Рысевич S3.K. Использование систем управления базами данных в АСУ. В сб.: Алгоритмы и организация решения экономических задач. - М.: Статистика, вып. 13, 1979, с.29-38.

25. Специализированный комплекс телеобработки разнородных баз данных. СУБД СПЕКТР. М.: НПО АСУ "Москва", 1982.

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

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

28. Грох А.В., Хорошевский В.Ф., Преображенский А.Б. Программирование лингвистических процессоров. В сб.: Информационно-программное обеспечение систем искусственного интеллекта. М.: МДНТП, 1978, с.51-56.

29. Бакланов В.М., Родионов Е.В. Система, воспринимающая запросы на естественном языке: семантика и формирование ответа. В сб. Вопросы кибернетики. - М.: изд. АН СССР, вып.55, 1979, с.183-191.- 167

30. Формальное описание структуры естественного языка.

31. Сб.науч.труд, под ред. А.С.Нариньяни.-Новосибирск:Щ СО АН СССР, 1980.

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

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

34. Кузин Л.Т. Основы кибернетики. Том 2. Основы кибернетических моделей.- М.: Энергия, 1979.

35. Кузин Л.Т. Интеллектуальные банки данных (ИБД).-В сб: Вопросы кибернетики.,Вып.55, М.: АН СССР, 1979, с.5-17.

36. Кузин Л.Т.,Храмов A.A. Вопросы использования метаязыков для программного обеспечения системы искусственного интеллекта.- В сб.: Инж.-мат. методы в физ. и кибернет.,М.: Атом-издат, 1977,вып.6, с.39-43.

37. Кузин Л.Т. Интеллектуальные банки данных ИБД-84. Состояние и перспективы.- В сб.: Тезисы докладов 4-го семинара "Интеллектуальные банки данных",Нальчик,1984, с.5-7.

38. Глушков В.М. Основные принципы построения автоматизированных систем управления.- Киев:Унр.НИИНТИ, 1969.

39. Кузин Л.Т.,Щукин Б.А. Общие вопросы проектирования автоматизированных систем управления.- М.: МИФИ, 1975

40. Гусев И.Т.,Мухин Э.В.»Сорокин A.C.»Сумароков Л.Н. Методика разработки учебного плана.- В сб.: Использование ЭВМ в организации и планировании учебного процесса, М.: Высшая школа, I972,c.I76-I95.

41. Гохман О.Г.,Ситникова A.B. Оптимизация учебного плана.-В сб.: Кибернетика и исследование операций в управлении учебным процессом.-Рига: РПИ, 1984, с.40-43.

42. Анисимов Б.В. »Савельев А.Я.,Власов В.П. »Карпов В.П. Применение ЭЦВМ для автоматизации процессов составления учебных- 168 планов и расписаний. В сб.: Использование ЭШ в организации и планировании учебного процесса. М.: Высшая школа, 1972, с.121-142.

43. Методические рекомендации по составлению (совершенствованию) учебных планов средних специальных учебных заведений. -Отчет НИР НИИПВШ. Гос. per. № 79070030, 1979.

44. Дмитренко Т.А., Г*убарь С.П., Стоянова Р.Д. Оптимизация учебного плана специальности вуза. В сб.: Кибернетика и исследование операций в управлении учебным процессом. - Рига; ЕЛИ, 1984, с.24-26.

45. Нильсон Н. Искусственный интеллект. Методы поиска решений. М.: Мир, 1973.

46. Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975.

47. Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. М.: Мир, 1979.

48. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.

49. Маслов С.Ю. Теория поиска вывода и некоторые ее применения. Кибернетика, 1975, Р4, с.134-144.

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

51. Рейнгольд Э., Нивергельт D., Део Н. Комбинаторные алгоритмы. Теория и практика. М.: Мир, 1980.

52. Кнут Д. Искусство программирования для ЭВМ. T.I. Основные алгоритмы. М.: Мир, 1976.

53. Фостер Дк. Обработка списков. М.: Мир, 1974.

54. Лавров С*С., Силагадзе Г.С. Автоматическая обработка Язык ЛИСП и его реализация. М.: Наука, 1978.

55. Маурер У. Введение в программирование на языке ЛИСП. -М.: Мир, 1976.- 169

56. Булкин М.А., Габович Ю.Р., Пантелеев А.Г. Методические рекомендации по программированию и эксплуатации интерпретатора для алгоритмического языка ЛИСП в ОС ЕС. Киев: НИИАС, 1981.

57. Лавров С.С. СНОБОЛ-А, язык для обработки строк. В сб.: Сообщения по вычислительной математике , вып.4, М.: ВЦ АН СССР, 1968.

58. Программирование на языке РЕФАЛ (препринт). М.: ИПМ АН СССР, 1971, №41, 43-44, 48-49.

59. Базисный РЕФАЛ. Описание языка и основные приемы программирования. Труды ЦНИПИАСС , вып. У-33. М.: ЦНИПИАСС, 1974.

60. Базисный РЕФАЛ и его реализация на вычислительных машинах. Труды ЦНИПИАСС , вып.У-40. М.: ЦНИПИАСС, 1977.

61. Пильщиков В.Н. Язык программирования ПЛЭНЕР БЭСМ. -М.: МГУ, 1978.

62. Пильщиков В.Н. Система программирования ПЛЭНЕР-БЭСМ. -М.: МГУ, 1982.

63. Пильщиков В.Н. Язык ПЛЭНЕР. М.: Наука, 1983.

64. Вудс В. Сетевые грамматики для анализа естественного языка. В кн.: Кибернетический сборник. Новая серия , вып. 13, М.: Мир, 1976, с.120-158.

65. Хорошевский В.Ф. АТЫЬ язык представления лингвистических знаний в естественно-языковых системах. - В сб.: Вопросы кибернетики , вып. 55, М.: АН СССР, 1979, с.158-167.

66. Середи П., Футо И. ПРОЛОГ. Будапешт; Институт координации вычислительной техники , 1979.

67. Андерсон Б., Патрик X. Недостатки логики. В кн.: Кибернетический сборник. Новая серия , вып. 13, М.: Мир, 1976,с.168-183.

68. Глушков В.М., Вельбицкий И.В. Технология программирова- 170 ния и проблемы ее автоматизации,- Управляющие системы и машины, 1976, №6, с.59-65.

69. Вельбицкий И.В. »Ходаковский В.Н. ,Шолмов Л.И. Технологический комплекс производства программ на машинах ВС ЭВМ и БЭСМ-6. М.: Статистика, 1980.

70. Майерс Г. Надежность программного обеспечения.- М.:Мир,1980.

71. Гросс М.,Лантен А. Теория формальных грамматик.- М.: Мир, 1971.

72. Маслов С.Ю. О поиске вывода в исчислениях общего типа.-Зап. научн. семинаров ЛОМИ АН СССР, 1972, 32, с.59-65.

73. Маслов С.Ю. Теория поиска вывода и вопросы психологии творчества.- Семиотика и информатика, 1979, 13, с.17-46.

74. Крайзель Г. Исследования по теории доказательств.- М.: Мир, 1981.

75. Оллонгрен А. Определение языков программирования интерпретирующими автоматами.- М.:Мир, 1977.

76. Хендерсон П. Функциональное программирование. Применение и реализация.- М.: Мир, 1983.

77. Сергиевский Г.М. Семантический подход к построению систем искусственного интеллекта.- В сб.: Тезисы докладов и сообщений 4-го семинара "Интеллектуальные банки данных".-Нальчик, 1984, с.45-48.

78. Ингерман П. Синтаксически ориентированный транслятор М.: Мир, 1969.

79. Болье Л. Методы построения компиляторов.-В сб.: Языки программирования.-М.:Мир,1972,с.87-277.

80. Лебедев В.Н. Введение в системы программирования.- М.: Статистика, 1975.

81. Хорошевский В.Ф. Автоматизация проектирования трансля- 171 торов на базе мета-алгоритмических языков. Дис. на соиск. учен, степени канд. техн. наук. М.: МИФИ, 1975.

82. Холл П. Вычислительные структуры. Введение в нечисловое программирование. М.: Мир, 1978.

83. Баррон Д. Рекурсивные методы в программировании. М.: Мир, 1974.

84. Верди В. Методы рекурсивного программирования. М.: Машиностроение, 1983.

85. Вирт Н. Систематическое программирование. Введение. -М.: Мир, 1977.

86. Разработка методологии и моделей построения интеллектуальных диалоговых систем. Отчет НИР МИФИ. Гос. per. №7936982, 1979.

87. Методические рекомендации по разработке структурно-логических схем предметов и сквозных программ подготовки специалистов со средним специальным образованием. Киев: РНМК по ССО, 1979.

88. Лалйп X á/yp^cdum Denr^fme-nt иглШшк Рчхи^ъошг-тт. í^fwW CUffa (N.3.)'- Pv»dtie,-HiM) 1982 ^ ¡o. 350.

89. НшМ Л., R Jn I ydwcUvction to Iy^imcUCn^ PwUbUrtf -V, CACM, 3) id6D, Л/% p.205~ZH.

90. SQ.ÑwMA. ЪтжепМмугь of IPL-V. САСМ,6} ±963, A/°3; p.86.

91. W.Gdvmtw Л/. Я FORTRfíN c>wnpUw(, iid рысшнму ¿ctMfMbffe, ЖМ, 7, 4960, Л/% pJf-iOi.

92. JicCotMy J. famctivn of áfndoüo Mbjowótwmoml ttitib wnfwtcdüm Sf machine. CACM,3} d960) р. Úk-i95.еЛ d. LISP iS Pwjwwwmí

93. GpíWt**^, Лт.\ M.I.T. Ptju, d963.fifflwrM. Ш pvHfruvmmínf Ьшумф,

94. S P.- (Mmiiid^e, Лещ.: InfonmctUm Intewwtiù&ncU ¡ ¿96 к.94. wMw B.M. msP Щшш* Tech, fi/oteHühl Mmlo PktÂ, ÙpuUf; №6*

95. Ynyw Ш OOMITj СйС-М, 6, me, M, /X 83.

96. GiioucM A. et td> SN ОВОЩ ¡НоутттСну to^^puf^-Nwr УочА ; h&nbùu -ИиМ, ¿968.

97. ИшШ> t. P town vi : со Kwnywoocp, pi PwiUn-y, TUuiMvui Ro4o¿6} Pwc- Id Intwь fonf. tm IydeU.- Budfcwlj

98. Sw>iwwm <r.} Wimcjivotd t} Скои,*и,оЖ E. MIORO PLANNER.

99. JfavM 203, AI Lui. МГ.Т C,wynêûcUfi) Лс*41.} i9H.102. 0. popler is нф^им moment ttriswi-uty o^ ftdmêwiy } ScMoWsd) ¿993.

100. ЪУАмк X M-ifi J\ ZomyuMcp IntUfofenU-Uomfond Rmcvwi Institute} »Mmb РоиА} C,uM4>, ^993.

101. VimiM* PtnM>wb. PROLOG-* Яц, fe^y ошЖ ùh Imphn&rdcdifiH towpotswd -wtU LISP,- SI&PLAN NoUm} V.¿2)N°8J1. W4, p- m-us.

102. PiAHpMnmùviy, m PROLOG-. Spitnyw-Vebtny, i92¿} p.279.106.

103. Pulo у ИосцЖ Рыумтптьпу ^см^оос^ o<{ nfr&t уе-пе. -wbfopt,.- Computet, itfuàfy} ¿982 } и 33; ijvfi ) //815} p. ¿5.107. 5-th lUvw, &KЫ Omf. w¡ ¿iniíf. 1нШ. г Рчосшкиу* of.

104. ЬЫ и^епшеб) V. i}2.} MJ.T.} tovMinidojt, Jfom.^ 4944.