Проблема с фреймом
-
Проблема фрейма в программировании
- Проблема фрейма возникает при попытке описать действия, которые могут иметь разные результаты в зависимости от контекста.
- Фрейм — это набор условий, которые определяют, когда действие должно быть выполнено.
- Фреймы могут быть связаны с логикой первого порядка, но не всегда соответствуют ей.
-
Примеры фреймов
- Пример с открытием двери: если дверь не заперта, то она открывается.
- Пример с запуском ракеты: если ракета не запущена, то она не может быть запущена.
-
Решение проблемы фрейма
- В event calculus используются термины для представления беглости, но также есть аксиомы, ограничивающие значение беглости.
- Существует множество вариантов расчета событий, но один из самых простых использует аксиому для представления закона инерции.
-
Логическое решение проблемы фрейма
- Проблема фрейма может быть решена как проблема формализации принципа, согласно которому все остается в том состоянии, в котором оно есть.
- Логика разделения — это формализм для рассуждений о компьютерных программах с использованием предварительных/последующих спецификаций.
-
Языки описания действий
- Языки описания действий обходят проблему фрейма, описывая ситуации и действия.
- Семантика языков описания действий зависит от того, что они могут выражать.
-
Ссылки
- Статья представлена на праздновании достижений Джона Маккарти в Стэнфордском университете.
- Ссылки на философские проблемы с точки зрения искусственного интеллекта и оригинальную статью Маккарти и Хейса.