The problem of finding adequate collections of axioms for a viable description of a robot environment.
