gelfond-lifschitz-action-languages-1993-1998

IN premise — summaries/2026/08/24/wiki-Frame_problem-chunk-3.md

Created 2026-08-25T02:58:49+00:00

Gelfond and Lifschitz proposed Action Languages (B, C, E) in 1993 and 1998 as a logic-programming approach to the frame problem.

Summary

Gelfond and Lifschitz gave AI a practical, rule-based way to reason about what happens when actions occur, specifically tackling the notorious "frame problem" of having to explicitly state everything that stays the same after an action. This provides a logical foundation the system can build on when modeling dynamic, real-world scenarios where actions change some facts but leave most others unchanged.