24 Frame Problem (McCarthy & Hayes, 1969) Example Wikipedia Predicates which can depend on time t are called fluents A situation where a door is close
{"Image DocumentName": "Frame ProblemThe following situation is logically consistent with the known situation: \u2510open(0) open(1)", "Image ImageDescription": "\u2510on(0) \u2510on(1) The following too: \u2510on(0) on(1) This makes no sense causally, but perfect sense logically. A superficial solution requires frame axioma\u2019s: on(0) \u2261 on(1)", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}