Исследование и разработка программного обеспечения задач планирования действий

• Автор: Арчвадзе, Натела Нодариевна
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Тбилиси
• Количество страниц: 161 c. : ил

ГЛАВА I.ОБЗОР РАБОТ, ПОСВЯЩЕННЫХ СИСТЕМАМ ПЛАНИРОВАНИЯ
ДЕЙСТВИЙ
1.1.Логический подход
1.2.Теоретико-графовый подход
1.3.Процедурный подход
1.4.Логико-лингвистические модели
1.5.Вывод ы
ГЛАВА 2.ИСПОЛЬЗОВАНИЕ СИСТЕМЫ ТЕИЛОС ДЛЯ РЕШЕНИЯ ЗАДАЧ
ПЛАНИРОВАНИЯ ДЕЙСТВИЙ
2.1.Система ТБИЛОС
2.1.1.Структура системы
2.1.2.Модельная база данных
2.1.3.Логический процессор
2.1.4.Модификато р
2.2.Представление семиотического языка
2.3.Представление стратегии логического подхода
2.4.Вывод ы
ГЛАВА 3.СИСТЕМА ПЛАНИРОВАНИЯ ДЕЙСТВИЙ СПДОТ
3.1.Общая стратегия смешанного подхода
3.2.Уровень стратегического планирования
3.2.1.Представление знаний. Формулировка задачи планирования действий
3.2.2.Структура модели мира и предметной области
3.2.3.Стратегия уровня стратегического планирования
3.3.Уровень оперативного планирования
3.3.1.Стратегия уровня оперативного планирования

3.3.2.Процедуры обобщения и расширения
3.4.Уровень выполнения плана
3.4.1.Представление плана
3.4.2.Стратегия уровня выполнения плана
3.5. Выводы
ГЛАВА 4.РЕШЕНИЕ ЗАДАЧ С ПОМОЩЬЮ СЦЦОТ
4.1.Решение задач радиационной химии
4.2.Автоматический синтез лисповских программ
4.3. Выводы
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЯ

Одним из основных направлений прогресса является автомати-зания с помощью средств вычислительной техники процессов решения задач в сфере научно-технической деятельности человека:планирование поведения в сложных средах, проектирование и конструирование, синтез программ, доказательство теорем, игры и другие задачи, которые принято считать интеллектуальными.
В нашей стране таким задачам придается важное, государственное значение. Об этом свидетельствует постановление ЦК КПСС и Совета Министров СССР "О мерах по ускорению научно-технического прогресса в народном хозяйстве", принятое в августе 1983 года, в котором "ЦК КПСС и Совет Министров СССР определили в качестве одного из главных направлений работы по ускорению научно-технического прогресса широкую автоматизацию технологических процессов на основе применения автоматизированных станков, машин и механизмов, унифицированных модулей оборудования, робо-тотехнйчееких комплексов и вычислительной техники" /34/.
Основные направления развития вычислительной техники в автоматизации современных систем управления отразились в "Основных направлениях экономического и социального развития СССР на 1981-195 годы и на период до 1990 года": "На основе использования достижений науки и техники: развивать производство и обеспечить широкое применение автоматических манипуляторов (промышленных роботов), встроенных систем автоматического управления с использованием микропроцессоров и микро-ЭВМ, создавать автоматизированные пехи и заводы..."
Из класса интеллектуальных задач можно выделить множество задач, называющихся задачами планирования действий. Решение их

СПИООК-ВЫЧаРКИВАНИЙ ((СНЕсц( =ОТКУДА : КОМНАТА
+ ЧТО))
(СНЕСЯ (=КР : КОМНАТА РОБОТ))
(ЗЕЬЯ (+ ОТКУДА : КОМНАТА + ЧТО))
(£>£/,&( + КР : КОМНАТА РОБОТ)))
СПИСОК-ДОБАВЛЕНИИ ((ЛШЯ( + КУДА : КОМНАТА + ЧТО))
{№5)П ( + КУДА : КОМНАТА РОБОТ >
В СПИСКЕ-ВЫЧЕРКИВАНИИ стоит два обращения к функции СНЕСЯ. Первое из них ищет местонахождение передвигаемого объекта и запоминает 8го под значением + ОТКУДА, а второе определяет местонахождение робота (значение + КР). Затем с помощью двух обращений к функции £>ЕкЯ из найденных комнат удаляются передвигаемый объект и робот. В СПИСКЕ-ДОБАВЛЕНИИ указывается, что объект и робот находятся в новой комнате.
Рассмотрим процедуру "РАЗЛИЧИЕ", представляющую совокупность закономерностей, которая используется в процессе решения задач.
Назначение процедуры "РАЗЛИЧИЕ" - вычислить существующие различия между отдельными состояниями модели задач. Одним из ее компонентов является закономерность ТНРАЗЛИЧИЙ, текст которой приводится в параграфе 2.1.2 и отношение:
(РАЗЛИЧИЕ ( IS U Лк JUL ЛL (ТНРАЗЛИЧИЕ)))
При наличии предыдущего отношения обращение
Я (РАЗЛИЧИЕ МОД-1 МОД-2))
влечет за собой инициирование закономерности ТНРАЗЛИЧИЕ. Переменными МОД-1 и МОД-2 обозначаются любые два состояния модели задачи.