Проблема фреймов

В искусственном интеллекте, изначально формулировалась как проблема выражение динамической области в логике, без явного определения какие условия не влияют деятельностью. Позднее в философии этот термин приобрел широкое значение, где он был сформулирован как проблема ограниченности предположения (beliefs) которые могут быть изменены в результате деятельности (актов).

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

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

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

В конце 80-х годов проблема фреймов, как она была сформулирована МакКарти и Хайесом [3] была решена.

Методы решение ПФ

Решение методом текущих препяствий

Решение методом текущих препяствий (fluent occlusion) заключается в определении формального языка динамической предметной области, и последующей трасляция этого языка в логику. В языке описывались не только обстоятельства (conditions) в течении времени, но также как они могут взаимодействовать с последним выполненным дейстием. Условие может быть воспрепяствовано (occluded) в заданный момент если текущее действие может его, условно говоря "включить" или "выключить". Препятвие можно интепретировать как "разрешение на изменение". Если изменение произведено, то измененные условия предметной области (сцены) по инерционному принципу сохраняются. Т.о. прегражденные предикаты (occlusion predicates) становятся истинным после из включения. Действия (action) влияющие на текущие препяствия в свою очередь имеют свои структурные соотношения, говоря нестрого алгебры: повтор действия, проивоположное действие, добавочное действи и т.п.

Решение методом завершенных предикатов

Решение методом завершенных предикатов (predicate completion). Метод аналогичный текущим препяствиям, но дополнительные предикаты определяют не разрешенные действия. Действие имеет результат, только если изменяет обстоятельство(а). Этот метод фокусируется, скорее на обстоятельствах, а не на действиях.

Метод текущих вычислений

Метод текущих вычислений (fluent calculus) использует логику первого порядка, а не предикаты состояний. Преобразование предикатов в термы логики первого порядка называется конкретизацией (reification - латинский корень re - философская категория ре-ализм, и пр.). Текущую логику можно предствить как логику в которой предикаты представляющие состояние конкретизированы. различие между предикатами и термами в логике первого порядка заключается в том, что терм представляет объект (возможно сложный), в то время как предикат представляет только условия, которые могут быть истинными или неверными в результате вычисления набора термов. В текущем вычислении каждое возможное состояние представлено как терм полученный композицией других термов. Решение проблема фреймов заключается в определении резуд=льтата действия, установклнием как терм представляющи состояние изменяется при выполнении действия. В философии ПФ имеет общее значение, по сравнению с логикой, где она лишь частная задача. ПФ в философии заключается в том как рациональный агент имеющий систему предположений изменяется при выполнении действия.

Эпистемология ПФ у М.К.Петрова

М.К.Петров радикально разрабытывал проблему развития общества, центральным вопросом его исследований была проблема творчества (траснмутации знаний в его терминологии). В ходе этих исследований он проработал проблему фреймов на высшем когнитивном уровне [4].

В акте публикации результат не только рвет связи с автором, становится наличным элементом знания, связанным со всеми другими элементами, но и надстраивает сеть цитирования и, выделяя из множества наличных элементов лишь объясняющую группу, меняет характеристики сети цитирования, вносит коррективы в дисциплинарное значение и ценность наличных элементов знания, т. е. совершает акт оценки: наличного знания от нового.[4,66]

Вавилонские башни смысла никогда не строят с нулевой отметки, их всегда надстраивают. [4, 74]

"Новый смысл" входящих в массив результатов есть с точки зрения дисциплины лишь зафиксированный в данном результате сдвиг значения в некоторой группе предшествующих ему результатов. [4, 69]

Закон Ципфа иллюстрирует преемственность процесса общения: новое нельзя понять без объясняющих опор на наличное, а сама эта операция ведет к сдвигу значения в опорных смысловых элементах, который и фиксируется как смысл нового, переходящего в наличное. [4, 69]

Предметная область дисциплинарного трансмутирующего общения локализована в будущем дисциплины и представляет из себя неиссякаемый источник нового, канонически и априорно заданный действующей дисциплинарной парадигмой. [69]

Литература

• Frame problem. Wiki
• Frame Problem. Murray Shanahan
• [3] [Some philosophical problems from the standpoint of artificial intelligence. J. McCarthy, P. J. Hayes]

Словарь М.К.Петрова. Публикации акт Афоризм М.К.Петрова №53, №54, №55, №56.

• [4] М.К. Петров. Язык, знак, культура // УРСС М2004