Editing Frame problem (section)

===Action description languages===
[[Action description language]]s elude the frame problem rather than solving it. An action description language is a formal language with a syntax that is specific for describing situations and actions. For example, that the action <math>\mathrm{opendoor}</math> makes the door open if not locked is expressed by:

: <math>\mathrm{opendoor}</math> causes <math>\mathrm{open}</math> if <math>\neg \mathrm{locked}</math>

The semantics of an action description language depends on what the language can express (concurrent actions, delayed effects, etc.) and is usually based on [[transition system]]s.

Since domains are expressed in these languages rather than directly in logic, the frame problem only arises when a specification given in an action description logic is to be translated into logic. Typically, however, a translation is given from these languages to [[answer set programming]] rather than first-order logic.