Das Situationskalkül [36] ist eine Sprache auf Basis der Logik 2. Ordnung zur Darstellung von Wissen und um Schlußfolgerungen auf den Vorbedingungen und Auswirkungen von Aktionen zu ermitteln. An dieser Stelle sei kurz die Struktur dieses Ansatzes erläutert. Dabei werden Grundkenntnisse über Logik erster Ordnung vorausgesetzt.