Boken "Knowledge in Action" tar for seg spesifikasjon og implementering av dynamiske systemer med situasjonskalkulus. Modellerings- og implementeringsprosessen er en sentral utfordring innen kunstig intelligens, robotikk, programvareagenter, simulering, beslutnings- og kontrollteori, samt flere andre disipliner. I løpet av de siste årene har det blitt utviklet en ny tilnærming for å representere slike systemer, basert på matematisk logikk, innen AI-fellesskapet for kunnskapsrepresentasjon. Denne boken gir en grundig omtale av disse ideene og bygger sine teoretiske og praktiske fundamenter på situasjonskalkulus, en dialekt av førstegangslogikk. Innenfor dette rammeverket utvikles mange aspekter ved modellering av dynamiske systemer, inkludert tid, prosesser, samtidighet, eksterne hendelser, reaktivitet, sanser og kunnskap, probabilistisk usikkerhet, samt beslutningsteori. Den presenterer også en ny familie av høynivå programmeringsspråk som er tilpasset skriving av styringsprogrammer for dynamiske systemer.
