Программирование на языке высокого уровня в системе с сетевым представлением информации

• Автор: Округин, Михаил Борисович
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Ленинград
• Количество страниц: 67 c. : ил

Глава I. Описание языка жешь

1.1. Особенности языка

1.2. Классы и атомы

1.3. Операции и вычисление выражений

1.4. Основы и процедуры

Глава 2. Транслятор с языка hetl

2.1. Общая характеристика транслятора и организация анализа

2.2. Сйнтез объектной программы

2.3. Модули поддержки

Глава 3. Модуль работы с ассоциативной сетью во .

внешней памяти

3.1. Функции, выполняемые модулем
3.2. Отображение внешних имен во внутренние
3.3. Представление сети в виде В-дерева
Заключение
Приложение I. Синтаксические диаграммы языка HETL . 55 Ейблиография

Широкое внедрение вычислительной техники обуславливает стремление к повышению интеллектуального уровня ЭВМ и к про -стоте их применения. Решение задач, связанных с попытками автоматизации процедуры выработки решения человеком, автоматизации процесса создания программ, улучшения взаимодействия с ЭВМ привело к разработке новых методов программирования^бъеди-няемых в рамках направления, получившего название ’’искусственный интеллект" (далее ИИ) С ьи5,^,2-0.21.2€>3.
Характерно, что ранее применявшийся критерий принадлежности поколению ЭВМ теперь включает программную оснащенность машины. Предполагается, что очередное поколение ЭВМ наряду с применением новейшей технологии СШС будет обладать развитыми функциями решения задач "весьма высокого интеллектуального уровня" С2ЛЗ . При реализации этих функций должны найти свое применение методы и программные средства ИИ.
Одной из основных проблем, стоящей перед исследователями в области ИИ,является проблема представления знаний Работы в данном направлении ведутся как по пути поиска универсальных механизмов, так и.по пути разработки специализированных методов представления.
Любой традиционный язык программирования обладает средствами, позволяющими представлять данные об объектах, входящих в предметную область решаемой задачи. Однако, разрыв между концептуальным уровнем формулировки задачи и уровнем структур данных языков программирования столь велик, что их применение к программированию задач ИИ затруднительно. Использование идеи абстрактных типов данных [г^.У.ЬЪ.ЭДпри проектировании языков

программирования позволило значительно сократить этот разрыв, но не затронуло одну из важнейших сторон знаний - их алгорит-мичность с 2*0 '♦
Языки программирования ИИ включают в себя формализацию выбранной концепции представления знаний, если в начале своего развития в языках разделялись средства описания фактов внешнего мира и средства их использования, то теперь наблюдается тенденция к разработке языковых конструкций, совмещающих декларативный и процедуральный аспекты представления знаний (языки УТОПИСТ С 33 , ДЕКАРТ £ЪЗ ,РЕЬ С^чз , кнь С23 .ъоц).
Языки подобного рода являются входными языками сложных систем программирования универсального или проблемно-ориентированного характера. Видимо это является необходимым условием,позво-ляющим говорить о возможностях представления знаний на этих языках, т.к. стоящая между входным и машинным языком система программирования и заполняет собой упомянутый выше разрыв.
Один из способов решения задачи представления знаний предложен Г.С.Цейтиным С 2.33 . Им разработана и реализована
экспериментальная система программирования, основанная на понятии ассоциативной сети. Его подход значительно отличается от вариантов ассоциативных сетей, обсуждаемых в работе [Ь23 т'ем, что в вершине сети может находиться процедура или ее имя, вершины и дуги сети не типизируются и сеть рассматривается как основа модульной системы программирования.
Реализация системы, выполненная Г.С.Цейтиным, включает набор основных механизмов работы с сетью, доступный пользователю через набор макрокоманд ассемблера ОС ЕС. В связи с тем, что разработка программ ИИ носит, как правило, экспериментальный характер, большое значение приобретает скорость их разра-

Po к<р, Кг Рг ... Km Pm
Рис. 7
А а в
КЛЮЧ V.., -J