Wiki Unsort

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

Джон Маккарти и Патрик Дж. Хэйес определили эту проблему в своей статье 1969, некоторые философские проблемы с точки зрения искусственного интеллекта. В этой статье, и многие, которые пришли после, формальная математическая задача представляет собой отправную точку для более общих дискуссий о сложности представления знаний в искусственном интеллекте. Такие вопросы, как обеспечить рациональные предположения по умолчанию, и то, что люди считают, здравый смысл в виртуальной среде. Позже этот термин приобрел более широкий смысл в философии, где она формулируется как проблема ограничивающие убеждения, которые должны быть обновлены в ответ на действия. В логическом контексте, действия, как правило, указано на то, что они меняются, предполагая, что все остальное (каркас) остается неизменным.

Описание

Проблема кадров возникает даже в очень простых доменов. Сценарий с дверью, которая может быть открыта или закрыта, и свет, который может быть включен или выключен, статически представлены двумя предложениями и . Если эти условия могут меняться, они лучше представляли две предикатов и которые зависят от времени; такие предикаты называются fluents. Домене, в котором дверь закрыта и свет выключен в момент времени 0, и дверь открылась в момент времени 1, может быть непосредственно представлены в логике по следующим формулам:

Поделиться
arrow