Планирование решения задач. Перспективы развития эс.
Планирование в пространстве состояний (SS- проблема) планирование в пространстве задач (PR- проблема).
SS: Задано некоторое пространство ситуаций (состояние внешнего мира и состояние ЭС) – какие-то параметры. Ситуации образуют обобщенные состояния. Действия ЭС или изменения во внешней среде приводят к изменению состояний. Начальные состояния → конечные (целевые) состояния. Поиск пути, ведущего из начального состояния в конечное.
PR: Пространство образуется за счет введения на множестве задач отношений часть/целое, род/вид, Декомпозиция задач на цели/подцели, решение которых известно.
Пример:
1.Планирование по состояниям: каждое описание задается строками, векторами, двухмерными массивами, деревьями, списками и т. д. Операторы одно состояние →в другое. Поиск на графе пути изAвB(обычно графы генерируются). Слепые и направленные методы поиска (поиск вглубь и поиск вширь).
Реализация фреймовых систем.
Фреймовые системы могут быть реализованы различными способами. Структура фрейма может быть представлена конструкцией: f= [<S1,V1>,<S2,V2>,…<Sn,Vn>], гдеf– имя фрейма;Si– имяi–го слота;Vi– значение слота.
С каждым слотом может быть сцеплена (по активизации) процедура (одна или любая комбинация) из следующих классов: 1) IF–ADDED– (ЕСЛИ – ДОБАВЛЕНО) - вызывается, при занесении нового значения в слот.
2) IF–DELETED– (ЕСЛИ – УДАЛЕНО) - вызывается при удалении значения из слота («очистка» слота).
3) IF–NEEDED: - (ЕСЛИ – НУЖНО) – вызывается при обращении к пустому слоту, т. е. при необходимости определения значения слота по уже имеющимся значениям других слотов или независимо от этого, например, путем запроса значения у пользователя.
Часть значений слотов фрейма может приниматься по умолчанию, если нет явных указаний о присваивании слоту конкретного значения.
Фрейм с пустыми значениями слотов или со значениями по умолчанию называется фреймом-прототипом. Фрейм с заполненными значениями – фреймом-экземпляром.
В качестве фреймов-прототипов могут быть фреймы-описания объектов, ????, ситуаций, а также процедур. В последнем случае вызов фрейма по имени соответствует обычному вызову процедуры (с параметрами или без них).
Поддержку работы с фреймами пользователь может писать на любом языке высокого уровня (C,Modula-2,Pascal), а также на специальных языках: работы со спискамиLISP, логического программированияPROLOG, объектно-ориентированного программированияSmalltalk-80,C++, и других.
Имеются также специальные языки работы с фреймами: RLL,KRL,FRLи другие. Часто фреймовые представления объединяются с сетевыми и продукционными языкиARTи другие.
Если структура фреймов будет изменяться в процессе функционирования, то лучше всего использовать динамические структуры в виде списков.
Для фреймов фиксированной структуры возможна реализация записями или наборами массивов.
Процесс инициализации работы фреймовой системы начинается с занесении информации в какой-либо слот одного из фреймов прототипов, либо непосредственным вызовом процедурного фрейма.
При этом выполняются процедуры, либо сцепленные с соответствующими значениями слотов, либо непосредственно описанные во фрейме в качестве значений слотов- условий и слотов- действий.