Teknikker for å resonere om handlinger og endringer i den fysiske verden er et av de klassiske forskningsområdene innen kunstig intelligens. Dette emnet drives av behovene til autonome roboter som må være i stand til å forutsi sin umiddelbare fremtid, planlegge sine fremtidige handlinger og forstå hva som har gått galt i tilfelle problemer oppstår. I tillegg er dette relevant for folkelig fornuft, for eksempel i forståelsen av naturlige språktekster, hvor prosesser og endringer over tid alltid er til stede. De samme problemene dukker også opp i flere andre datavitenskapelige områder, som begrepsmodeller for databaser og i det raskt voksende feltet intelligent kontroll. Den nåværende forskningsmonografien presenterer og anvender en ny metodologi for resonnering om handlinger og endringer. Tradisjonell forskning har foreslått nye logiske varianter som bare var støttet av episodiske eksempler. Dette arbeidet beskriver en systematisk metodologi for å identifisere den eksakte.
