Default reasoning, nonmonotonic logics, and the frame problem
A Logic for Default Reasoning