The problem of finding adequate collections of axioms for a viable description of a robot environment. Related Articles: Glossary: Qualification Problem