En este trabajo de investigación se evalúa una de las soluciones al problema del marco más ampliamente aceptadas ---la solución general de Reiter --- con respecto a una semántica subyacente basada en aquélla dada por Sandewall. Las principales contribuciones del trabajo son la extensión de la semántica de la solución de Reiter para considerar acciones no posibles, la extensión de la semántica de Sandewall para considerarar acciones con precondiciones, y la evaluación en sí.