Введение

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

Событийный анализ отличается от большинства других подходов к рассуждению об изменениях реификацией времени, связыванием событий с моментом их наступления и связыванием флюентов с моментами, когда они истинны. Первоначальная версия событийного анализа, представленная Робертом Ковальски и Мареком Серго в 1986 году, была сформулирована как логическая программа и разработана для представления нарративов и обновления баз данных. Каве Эшги показал, как использовать событийный анализ для планирования, применяя абдукцию для генерации гипотетических действий с целью достижения желаемого состояния дел. Он был расширен Мюрреем Шанаханом и Робом Миллером в 1990-х годах и переформулирован в логике первого порядка с использованием ограничений. Эти и последующие расширения использовались для формализации недетерминированных действий, одновременных действий, действий с отложенными эффектами, постепенных изменений, действий с длительностью, непрерывных изменений и неинерциальных флюентов. Ван Ламбалген и Хамм показали, как формулировка событийного анализа в виде программы логических ограничений может быть использована для придания алгоритмической семантики временам и аспектам в естественном языке.

Расширения

Примечательные расширения исчисления событий включают варианты, основанные на логических сетях Маркова, вероятностные, эпистемические и их сочетания.