Before revision: Representing the state of a robot with traditional FOL requires the use of many axioms (symbolic language) to imply that things about an environment that do not change arbitrarily.
After revision: Representing the state of a robot with traditional FOL requires the use of many axioms (symbolic language) to imply things about an environment that do not change arbitrarily.