The Frame Problem in the Situation Calculus

Reiter, R. (1991). The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. Artificial Intelligence and Mathematical Theory of Computation.

Type

Book chapter

Intellectual base

Review or monograph

Year

1991

DOI

10.1016/b978-0-12-450010-5.50026-8

ISBN

9780124500105

Link

https://doi.org/10.1016/B978-0-12-450010-5.50026-8

Cited from

computer_science

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Frame Problem
  • Frame axioms, the closed-world assumption, successor-state axioms, and non-monotonic default logics are the answers.

    This sourceDevelops successor-state axioms as a compact closure rule for the frame problem.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:27f9e06b70e7 · see in the full table