The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression

By Raymond Reiter. 1991

Subfields: Knowledge Graphs & Representation

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Knowledge Graphs & Representation

Citations in the corpus

STAR: A Benchmark for Situated Reasoning in Real-World Videos (2024, background): “They formulate situations as a set of formulae and perform calculus based on the designed logic rules [27, 32].”
ConGolog, a concurrent programming language based on the situation calculus (2000, methodology): “To deal with the frame problem, we use an approach due to Reiter [28].”
Software Abstractions - Logic, Language, and Analysis (2006, methodology): “Who invented this style of frame condition? The basic idea is due to Ray Reiter [57], and was elaborated in the context of software modeling in collaboration with Alex Borgida and John Mylopoulos [7].”
Understanding script-based stories using commonsense reasoning (2004, background): “Axioms DEC5 through DEC8 are frame axioms that resemble explanation closure frame axioms (Haas, 1987; Schubert, 1990; Davis, 1990; Reiter, 1991; Reiter, 2001), extended to allow fluents to be released from the commonsense law of inertia.”
The Situation Calculus: A Case for Modal Logic (2010, background): “But it had a major impact only after Reiter proposed his solution to the frame problem [43], which was the start of a whole research agenda culminating in the publication of his book [44].”
BI as an assertion language for mutable data structures (2011, unknown): “There are many vaguely related ideas in dozens of papers in the AI, modal and temporal logic of processes, and program specification literatures; we cannot do justice to these literatures in this short space (we mention only one from each strand: [33, 20, 1]).”
Symbolic Dynamic Programming for First-Order MDPs (2001, background): “where F (~x; a; s) is a formula with free variables among a; s; ~x:These characterize the truth values of the fluentF in the next situation do(a; s) in terms of the current situation s, and they embody a solution to the frame problem for deterministic actions [Reiter, 1991].”
Reasoning about Noisy Sensors and Effectors in the Situation Calculus (1995, methodology): “e axioms (because in their simplest form, there are too many of them). 4 2.3 A Simple Solution to the Frame Problem By appealing to earlier ideas of Haas [7], Schubert [29], and Pednault [24], Reiter [26] proposed a simple solution to the frame problem, which we employ in this work. It is best illus”
How to Progress a Database (1997, background): “We appeal to the situation calculus and an axiomatization of actions which addresses the frame problem (Reiter ( 1991) ).”